zero 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)

2024-04-02 09:39:38 +02:00

..

witness

for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).

2024-03-27 11:30:04 +01:00

arithmetic.zk

for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).

2024-03-27 11:30:04 +01:00

burn.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

encrypt.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

inclusion_proof.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

lead.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

mint.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

opcodes.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

set_v1.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

smt.zk

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)

2024-04-02 09:39:38 +02:00

tx.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00

voting.zk

zkas: Add a field definition on top of the circuit file.

2023-08-14 17:09:18 +02:00