| .. |
|
circuit
|
587f0b4b93
make fix and minor manual cleanups.
|
4 years ago |
|
arith_chip.rs
|
a54f835c00
[zk/arith_chip] removed pow gate
|
4 years ago |
|
even_bits.rs
|
1aa3e0245c
[zk/lead_contract] used y_commit in place it's coordinates
|
4 years ago |
|
greater_than.rs
|
fac25736a1
dnetview: remove unused data structures and cleanup
|
4 years ago |
|
mod.rs
|
2de7656f8c
zk: Implement GreaterThan chip used for scalar comparison.
|
4 years ago |
|
vm.rs
|
f8c2ee5617
Port codebase to latest halo2 API.
|
4 years ago |
|
vm_stack.rs
|
87b1cb49ad
zk/vm: Implement function for making empty witnesses from ZkBinary.
|
4 years ago |
parazyd
587f0b4b93
make fix and minor manual cleanups.