tiny-ram-halo2

This repo is in the early stages of development. It will contain an implementation of a TinyRAM Harvard architecture execution verifier using halo2.

Building or Testing

You do not need rustc, cargo, or rust-analyzer installed on your system. They are provided by this repository's nix flake.

# Enter a nix shell
nix develop

# Edit

# Run tests
cargo test

To run test's exactly as our CI does:

nix build ./#ci

References

The TinyRAM execution constraints are based on Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.