diff --git a/circom_circuits/Blend/generate_inputs_for_poq.py b/circom_circuits/Blend/generate_inputs_for_poq.py index 5581f5d..9cb52c5 100644 --- a/circom_circuits/Blend/generate_inputs_for_poq.py +++ b/circom_circuits/Blend/generate_inputs_for_poq.py @@ -239,7 +239,7 @@ total_stake = F(5000) # compute t0,t1 via Taylor approx as before R = RealField(500) 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(2) * R(total_stake)**2 ))) value = F(50) diff --git a/circom_circuits/Mantle/generate_inputs_for_pol.py b/circom_circuits/Mantle/generate_inputs_for_pol.py index f57de29..c8e9e85 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(1/2) * R(total_stake)**2 )) +t1 = F(int((((- ln(R(0.95))**2) * R(p))) / (R(2) * R(total_stake)**2 ))) value = F(50)