| .. |
|
witness
|
e1b259c019
zkrunner: regenerate all proof witness json files
|
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 |
|
nested.zk
|
d275d78ce0
zkas: Support >1 nested calls
|
7 mesi 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
|
9188a62bb3
smt: simplify ZK gadget. Use `root = sparse_merkle_root(pos, path, leaf)` instead of the more complicated `is_member = sparse_tree_is_member(root, path, pos, leaf)`
|
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 |
x
d275d78ce0
zkas: Support >1 nested calls