Awesome
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.