| .. |
|
circuit
|
92a4410e31
Miscellaneous fixes and 'make fix'.
|
4 years ago |
|
arith_chip.rs
|
5f0c0b05d8
zk: Clean up unused code from arith_chip.
|
4 years ago |
|
even_bits.rs
|
8ca8406aec
zk: Implement EvenBits chip for bit decomposition.
|
4 years ago |
|
greater_than.rs
|
2de7656f8c
zk: Implement GreaterThan chip used for scalar comparison.
|
4 years ago |
|
mod.rs
|
2de7656f8c
zk: Implement GreaterThan chip used for scalar comparison.
|
4 years ago |
|
vm.rs
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
4 years ago |
|
vm_stack.rs
|
87b1cb49ad
zk/vm: Implement function for making empty witnesses from ZkBinary.
|
4 years ago |
parazyd
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.