Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
wjblanke committed Sep 19, 2024
1 parent 0b910d9 commit 91417e1
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
4 changes: 2 additions & 2 deletions tests/test_n_weso_verifier.py
Original file line number Diff line number Diff line change
Expand Up @@ -15,13 +15,13 @@ def prove_n_weso(discriminant_challenge, x, discriminant_size, form_size, iters,
partials = []
discriminant = create_discriminant(discriminant_challenge, discriminant_size)
for _ in range(witness):
result = prove(discriminant_challenge, x, discriminant_size, iters_chunk)
result = prove(discriminant_challenge, x, discriminant_size, iters_chunk, "")
y = result[:form_size]
proof = result[form_size : 2 * form_size]
partials.append((x, y, proof))
x = y
iters -= iters_chunk * witness
result = prove(discriminant_challenge, x, discriminant_size, iters)
result = prove(discriminant_challenge, x, discriminant_size, iters, "")
y_result = result[:form_size]
y_proof = result[form_size : 2 * form_size]
assert verify_wesolowski(discriminant, x, y_result, y_proof, iters)
Expand Down
3 changes: 2 additions & 1 deletion tests/test_verifier.py
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ def test_prove_and_verify():

iters = 1000000
t1 = time.time()
result = prove(discriminant_challenge, initial_el, discriminant_size, iters)
result = prove(discriminant_challenge, initial_el, discriminant_size, iters, "")
t2 = time.time()
print(f"IPS: {iters / (t2 - t1)}")
result_y = result[:form_size]
Expand All @@ -36,6 +36,7 @@ def test_prove_and_verify():
result_y,
discriminant_size,
iters_2,
""
)
t2 = time.time()
print(f"IPS: {iters_2 / (t2 - t1)}")
Expand Down

0 comments on commit 91417e1

Please sign in to comment.