 zero
|
4532b8d229
for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).
|
2 rokov pred |
|
parazyd
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 rokov pred |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 rokov pred |
|
parazyd
|
be9013ed31
zkas: Rename "contract" to "witness".
|
3 rokov pred |
|
parazyd
|
1c2613f3f4
zk/vm: Allow strict and loose checks for less_than.
|
3 rokov pred |
|
parazyd
|
6215fc7bd6
zk: Port code to latest Halo2 API.
|
4 rokov pred |
|
parazyd
|
3447c87dd8
zkas, vm: Implement greater_than opcode for scalar comparison.
|
4 rokov pred |
|
parazyd
|
230ff6fcc6
zk: Add base_sub opcode to VM and arithmetic chip.
|
4 rokov pred |
|
parazyd
|
b07bb4e2b0
proof: Add example for arithmetic operations.
|
4 rokov pred |
