zero 61661052ce sdk/util: rename Fp.to_str() to Fp.to_string(), and encode/deocde hex strings with 0x prefix. 2 years ago
..
gadget ce35921cab zk::vm: Refactor range checks to reuse table 2 years ago
debug.rs 61661052ce sdk/util: rename Fp.to_str() to Fp.to_string(), and encode/deocde hex strings with 0x prefix. 2 years ago
mod.rs a1c48a39c7 zk/debug: add import_witness_json() 2 years ago
proof.rs 0e6f51e895 chore: Update copyright year in license headers 2 years ago
tracer.rs 0e6f51e895 chore: Update copyright year in license headers 2 years ago
vm.rs b0df9d5f38 chore: Clippy lints 2 years ago
vm_heap.rs 11e39f07cf mv smt2 smt 2 years ago