| .. |
|
gadget
|
f001cb05d1
zk/gadget: Implement `f(a,b) = if a==0 {a} else {b}` as zero_cond chip.
|
3 years ago |
|
mod.rs
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 years ago |
|
proof.rs
|
4efb0ecf8c
lib: Apply linter suggestions.
|
3 years ago |
|
vm.rs
|
281aa87faf
zk/vm: Implement zero_cond opcode.
|
3 years ago |
|
vm_heap.rs
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 years ago |