| .. |
|
circuit
|
e00c8e0147
zkas: Separate constants into specific types.
|
%!s(int64=4) %!d(string=hai) anos |
|
arith_chip.rs
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
%!s(int64=4) %!d(string=hai) anos |
|
mod.rs
|
9a58c7b8b3
Fix and enable arithmetic halo2 chip.
|
%!s(int64=4) %!d(string=hai) anos |
|
vm.rs
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
%!s(int64=4) %!d(string=hai) anos |
|
vm_stack.rs
|
e00c8e0147
zkas: Separate constants into specific types.
|
%!s(int64=4) %!d(string=hai) anos |
parazyd
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.