From 5070dbf597b170d931e35f4ea4ad351fa4bc245a Mon Sep 17 00:00:00 2001 From: thomaslavaur Date: Fri, 30 May 2025 08:24:45 +0200 Subject: [PATCH] fix wrong computation of t1 --- circom_circuits/Mantle/generate_inputs_for_pol.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/circom_circuits/Mantle/generate_inputs_for_pol.py b/circom_circuits/Mantle/generate_inputs_for_pol.py index a77e775..f57de29 100755 --- a/circom_circuits/Mantle/generate_inputs_for_pol.py +++ b/circom_circuits/Mantle/generate_inputs_for_pol.py @@ -220,7 +220,7 @@ if total_stake >= p: exit() t0 = F(int((((- ln(R(0.95))) * R(p))) / R(total_stake) )) -t1 = F(int((((- ln(R(0.95))**2) * R(p))) / R(total_stake)**2 )) +t1 = F(int((((- ln(R(0.95))**2) * R(p))) / R(1/2) * R(total_stake)**2 )) value = F(50)