parazyd f4932072c6 zkvm: Implement cond_select opcode. 3 anni fa
..
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