| .. |
|
gadget
|
d0f87894fa
zk/gadget: Generalize Arithmetic chip over fields.
|
3 anni fa |
|
mod.rs
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 anni fa |
|
proof.rs
|
4efb0ecf8c
lib: Apply linter suggestions.
|
3 anni fa |
|
vm.rs
|
f4932072c6
zkvm: Implement cond_select opcode.
|
3 anni fa |
|
vm_heap.rs
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 anni fa |