 parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 years ago |
|
parazyd
|
4e774c9710
zk/vm: Add BaseAdd and BaseMul from the arithmetic chip.
|
4 years ago |
|
parazyd
|
e00c8e0147
zkas: Separate constants into specific types.
|
4 years ago |
|
parazyd
|
3238530003
Port codebase to latest halo2 revision.
|
4 years ago |
|
parazyd
|
fedd378510
zk/vm: Use a macro to generate a match statement for PoseidonHash length.
|
4 years ago |
|
parazyd
|
7e76a669cc
zk/vm: Simplify some enums and properly witness some remaining types.
|
4 years ago |
|
parazyd
|
86d9aa81b2
zk/vm: Proper separation for prover and verifier.
|
4 years ago |
|
parazyd
|
6cab96a28c
zk/vm: Remove old VM code and move newest to "vm" module.
|
4 years ago |
|
ghassmo
|
2c46091faa
create zk module
|
4 years ago |
