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