x 3aa0e3b722 zkas: Implement debug symbols in the compiled binary 7 months ago
..
dao f7db85c0a9 script/research/zkvm-metering: generate and verify Native contracts' proofs 7 months ago
money f7db85c0a9 script/research/zkvm-metering: generate and verify Native contracts' proofs 7 months ago
opcodes 8d7d33b812 script/research/zkvm-metering: organize 7 months ago
main.rs 3aa0e3b722 zkas: Implement debug symbols in the compiled binary 7 months ago