Skip to content

Commit

Permalink
logs
Browse files Browse the repository at this point in the history
  • Loading branch information
wjblanke committed Oct 9, 2024
1 parent 9b37bf7 commit bcdecee
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion tests/test_n_weso_verifier.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@


def prove_n_weso(discriminant_challenge, x, discriminant_size, form_size, iters, witness, wrong_segm):
wjb = 0
iters_chunk = iters // (witness + 1)
partials = []
discriminant = create_discriminant(discriminant_challenge, discriminant_size)
Expand Down Expand Up @@ -38,7 +39,8 @@ def prove_n_weso(discriminant_challenge, x, discriminant_size, form_size, iters,
for x, y, proof in reversed(partials):
b_hex = get_b_from_n_wesolowski(discriminant, x, y + proof, iters_chunk, 0)
b = int(b_hex, 16)
print(f"verify_wesolowski discriminant {discriminant} x {x} y {y} proof {proof} iters_chunk {iters_chunk}")
wjb = wjb + 1
print(f"{wjb} verify_wesolowski discriminant {discriminant}\n x {x}\n y {y}\n proof {proof}\n iters_chunk {iters_chunk}")
assert verify_wesolowski(discriminant, x, y, proof, iters_chunk)
is_valid, y_from_compression = verify_n_wesolowski_with_b(
discriminant,
Expand Down

0 comments on commit bcdecee

Please sign in to comment.