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()).

2024-03-27 11:30:04 +01: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

switch zkVM to new SMT gadget

2024-03-18 11:48:36 +01: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