parazyd 281aa87faf zk/vm: Implement zero_cond opcode.

2023-07-08 11:07:07 +02:00

..

gadget

zk/gadget: Implement f(a,b) = if a==0 {a} else {b} as zero_cond chip.

2023-07-07 21:49:49 +02:00

mod.rs

zkas: Rename "stack" to "heap".

2023-05-10 14:35:51 +02:00

proof.rs

lib: Apply linter suggestions.

2023-03-07 12:29:47 +01:00

vm_heap.rs

zkas: Rename "stack" to "heap".

2023-05-10 14:35:51 +02:00

vm.rs

zk/vm: Implement zero_cond opcode.

2023-07-08 11:07:07 +02:00