| .. |
|
witness
|
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 anni fa |
|
arithmetic.zk
|
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 anni fa |
|
burn.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
encrypt.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
inclusion_proof.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
lead.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
mint.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
opcodes.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
set_v1.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
smt.zk
|
ba60fc05f3
switch zkVM to new SMT gadget
|
2 anni fa |
|
tx.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
|
voting.zk
|
6a024ab801
zkas: Add a field definition on top of the circuit file.
|
3 anni fa |
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()).