From 1a4658b51b4ec9f949fa97786e65d776b0796708 Mon Sep 17 00:00:00 2001 From: thomaslavaur Date: Mon, 4 Aug 2025 14:07:01 +0200 Subject: [PATCH] fix one time key input of pol --- circom_circuits/Mantle/generate_inputs_for_pol.py | 3 ++- circom_circuits/Mantle/pol.circom | 9 ++++++--- circom_circuits/Mantle/signature.circom | 2 +- 3 files changed, 9 insertions(+), 5 deletions(-) diff --git a/circom_circuits/Mantle/generate_inputs_for_pol.py b/circom_circuits/Mantle/generate_inputs_for_pol.py index c8e9e85..50d9c7a 100755 --- a/circom_circuits/Mantle/generate_inputs_for_pol.py +++ b/circom_circuits/Mantle/generate_inputs_for_pol.py @@ -278,7 +278,8 @@ 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"one_time_key_part_one" :\t\t\t\t\t\t"'+str(F(123456))+'",') + file.write('\n\t"one_time_key_part_two" :\t\t\t\t\t\t"'+str(F(654321))+'",') file.write('\n\t"slot_secret_path" :\t\t\t\t\t[') for i in range(25): file.write('"') diff --git a/circom_circuits/Mantle/pol.circom b/circom_circuits/Mantle/pol.circom index 93c6563..4859cb5 100644 --- a/circom_circuits/Mantle/pol.circom +++ b/circom_circuits/Mantle/pol.circom @@ -223,11 +223,14 @@ template proof_of_leadership(secret_depth){ // One time signing key used to sign the block proposal and the block - signal input one_time_key; + signal input one_time_key_part_one; + signal input one_time_key_part_two; //Avoid the circom optimisation that removes unused public input - signal dummy; - dummy <== one_time_key * one_time_key; + signal dummy_one; + signal dummy_two; + dummy_one <== one_time_key_part_one * one_time_key_part_one; + dummy_two <== one_time_key_part_two * one_time_key_part_two; signal output entropy_contrib; diff --git a/circom_circuits/Mantle/signature.circom b/circom_circuits/Mantle/signature.circom index a497f74..35009ab 100644 --- a/circom_circuits/Mantle/signature.circom +++ b/circom_circuits/Mantle/signature.circom @@ -23,4 +23,4 @@ template zkSignature(maxInput){ dummy <== attached_data * attached_data; } -component main {public [attached_data]}= zkSignature(5); \ No newline at end of file +component main {public [attached_data]}= zkSignature(32); \ No newline at end of file