| .. |
|
gadget
|
6f95bb156f
zk/gadget: Make small_range_check field-agnostic.
|
3 سال پیش |
|
mod.rs
|
1b35330082
zkrunner/pydrk: add --trace argument to zkrunner, and appropriate changes to the py bindings.
|
3 سال پیش |
|
proof.rs
|
8f46f7b777
lib: Clean up library features.
|
2 سال پیش |
|
tracer.rs
|
ebb4cab0ea
chore: Add missing license headers.
|
3 سال پیش |
|
vm.rs
|
37bd0ccdf4
zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps.
|
3 سال پیش |
|
vm_heap.rs
|
60595e3002
zk: Handle invalid witnesses gracefully in empty_witnesses().
|
3 سال پیش |
parazyd
8f46f7b777
lib: Clean up library features.