thomaslavaur 3f12e9c279 use euclidean division to match the rust implementation (the difference is negligible as it would make you lose 1 block every 10^16 blocks that you should have win

2025-09-02 10:33:02 +02:00

..

generate_inputs_for_pol.py

use euclidean division to match the rust implementation (the difference is negligible as it would make you lose 1 block every 10^16 blocks that you should have win

2025-09-02 10:33:02 +02:00

generate_inputs_for_proof_of_claim.py

update constants

2025-08-28 15:45:26 +02:00

generate_inputs_for_signature.py

updated the circuit to reflect the names of the specs

2025-08-25 15:51:48 +02:00

pol.circom

We audited it with Mehmet

2025-08-26 15:12:48 +02:00

proof_of_claim.circom

We audited it with Mehmet

2025-08-26 15:12:48 +02:00

signature.circom

updated the circuit to reflect the names of the specs

2025-08-25 15:51:48 +02:00