diff --git a/circom_circuits/proof_of_leadership/PoL.circom b/circom_circuits/proof_of_leadership/PoL_payment.circom similarity index 95% rename from circom_circuits/proof_of_leadership/PoL.circom rename to circom_circuits/proof_of_leadership/PoL_payment.circom index d311cb7..19f8b68 100644 --- a/circom_circuits/proof_of_leadership/PoL.circom +++ b/circom_circuits/proof_of_leadership/PoL_payment.circom @@ -82,6 +82,12 @@ template payment_proof_of_leadership(){ signal input value; signal input nonce; + signal input one_time_key; + + //Avoid the circom optimisation that removes unused public input + signal dummy; + dummy <== one_time_key * one_time_key; + signal output entropy_contrib; @@ -194,4 +200,4 @@ template payment_proof_of_leadership(){ entropy_contrib <== entropy.out; } -component main = payment_proof_of_leadership(); \ No newline at end of file +component main {public [slot,epoch_nonce,t0,t1,commitments_root,nullifiers_root,one_time_key]}= payment_proof_of_leadership(); \ No newline at end of file diff --git a/circom_circuits/proof_of_leadership/generate_inputs.py b/circom_circuits/proof_of_leadership/generate_inputs_for_payment.py similarity index 99% rename from circom_circuits/proof_of_leadership/generate_inputs.py rename to circom_circuits/proof_of_leadership/generate_inputs_for_payment.py index e93552c..3352602 100755 --- a/circom_circuits/proof_of_leadership/generate_inputs.py +++ b/circom_circuits/proof_of_leadership/generate_inputs_for_payment.py @@ -280,6 +280,7 @@ with open("input.json", "w") as file: file.write('\n\t"t0" :\t\t\t\t\t\t"'+str(t0)+'",') file.write('\n\t"t1" :\t\t\t\t\t\t"'+str(t1)+'",') file.write('\n\t"slot_secret" :\t\t\t\t\t\t"'+str(slot_secret)+'",') + file.write('\n\t"one_time_key" :\t\t\t\t\t\t"'+str(F(516548))+'",') file.write('\n\t"slot_secret_path" :\t\t\t\t\t[') for i in range(25): file.write('"')