parazyd 281aa87faf zk/vm: Implement zero_cond opcode. 3 years ago
..
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