├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── NOTICE ├── README.md ├── flake.lock ├── flake.nix ├── proptest-regressions ├── circuits │ ├── and.txt │ ├── cmpa.txt │ ├── logic.txt │ ├── shift.txt │ ├── signed_sum.txt │ ├── sum.txt │ ├── tables │ │ ├── even_bits.txt │ │ └── exe.txt │ └── xor.txt ├── gadgets │ ├── and.txt │ ├── cmpa.txt │ ├── greater_than.txt │ └── tables │ │ └── even_bits.txt └── trace.txt ├── rust-toolchain.toml ├── rustfmt.toml └── src ├── assign.rs ├── circuits ├── changed.rs ├── flag1.rs ├── flag2.rs ├── flag3.rs ├── flag4.rs ├── logic.rs ├── mod.rs ├── modulo.rs ├── prod.rs ├── shift.rs ├── sprod.rs ├── ssum.rs ├── sum.rs └── tables │ ├── aux.rs │ ├── aux │ ├── out.rs │ └── out_table.rs │ ├── even_bits.rs │ ├── exe.rs │ ├── exe │ └── temp_vars.rs │ ├── mem.rs │ ├── mod.rs │ ├── pow.rs │ ├── prog.rs │ └── signed.rs ├── instructions.rs ├── instructions └── opcode.rs ├── lib.rs ├── main.rs ├── test_utils.rs └── trace.rs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/README.md -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/flake.nix -------------------------------------------------------------------------------- /proptest-regressions/circuits/and.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/and.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/cmpa.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/cmpa.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/logic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/logic.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/shift.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/shift.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/signed_sum.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/signed_sum.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/sum.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/sum.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/tables/even_bits.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/tables/even_bits.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/tables/exe.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/tables/exe.txt -------------------------------------------------------------------------------- /proptest-regressions/circuits/xor.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/circuits/xor.txt -------------------------------------------------------------------------------- /proptest-regressions/gadgets/and.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/gadgets/and.txt -------------------------------------------------------------------------------- /proptest-regressions/gadgets/cmpa.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/gadgets/cmpa.txt -------------------------------------------------------------------------------- /proptest-regressions/gadgets/greater_than.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/gadgets/greater_than.txt -------------------------------------------------------------------------------- /proptest-regressions/gadgets/tables/even_bits.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/gadgets/tables/even_bits.txt -------------------------------------------------------------------------------- /proptest-regressions/trace.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/proptest-regressions/trace.txt -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | max_width = 85 2 | -------------------------------------------------------------------------------- /src/assign.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/assign.rs -------------------------------------------------------------------------------- /src/circuits/changed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/changed.rs -------------------------------------------------------------------------------- /src/circuits/flag1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/flag1.rs -------------------------------------------------------------------------------- /src/circuits/flag2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/flag2.rs -------------------------------------------------------------------------------- /src/circuits/flag3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/flag3.rs -------------------------------------------------------------------------------- /src/circuits/flag4.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/flag4.rs -------------------------------------------------------------------------------- /src/circuits/logic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/logic.rs -------------------------------------------------------------------------------- /src/circuits/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/mod.rs -------------------------------------------------------------------------------- /src/circuits/modulo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/modulo.rs -------------------------------------------------------------------------------- /src/circuits/prod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/prod.rs -------------------------------------------------------------------------------- /src/circuits/shift.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/shift.rs -------------------------------------------------------------------------------- /src/circuits/sprod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/sprod.rs -------------------------------------------------------------------------------- /src/circuits/ssum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/ssum.rs -------------------------------------------------------------------------------- /src/circuits/sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/sum.rs -------------------------------------------------------------------------------- /src/circuits/tables/aux.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/aux.rs -------------------------------------------------------------------------------- /src/circuits/tables/aux/out.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/aux/out.rs -------------------------------------------------------------------------------- /src/circuits/tables/aux/out_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/aux/out_table.rs -------------------------------------------------------------------------------- /src/circuits/tables/even_bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/even_bits.rs -------------------------------------------------------------------------------- /src/circuits/tables/exe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/exe.rs -------------------------------------------------------------------------------- /src/circuits/tables/exe/temp_vars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/exe/temp_vars.rs -------------------------------------------------------------------------------- /src/circuits/tables/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/mem.rs -------------------------------------------------------------------------------- /src/circuits/tables/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/mod.rs -------------------------------------------------------------------------------- /src/circuits/tables/pow.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/pow.rs -------------------------------------------------------------------------------- /src/circuits/tables/prog.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/prog.rs -------------------------------------------------------------------------------- /src/circuits/tables/signed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/circuits/tables/signed.rs -------------------------------------------------------------------------------- /src/instructions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/instructions.rs -------------------------------------------------------------------------------- /src/instructions/opcode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/instructions/opcode.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() {} 2 | -------------------------------------------------------------------------------- /src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/test_utils.rs -------------------------------------------------------------------------------- /src/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Orbis-Tertius/tiny-ram-halo2/HEAD/src/trace.rs --------------------------------------------------------------------------------