status-im/research
2
0
Fork 0
mirror of https://github.com/status-im/research.git synced 2025-02-09 21:54:06 +00:00
Code Issues Projects Releases Wiki Activity

Converted a skip into an assert

Browse Source
This commit is contained in:
Vitalik Buterin 2017-11-12 01:54:40 -05:00
parent 0bce596370
commit 5c84d06a59
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
zkstark/quadratic_provers.py
View File

@ -156,9 +156,7 @@ def check_column_proof(data, proof, deg_lt, checks, modulus):
# There are `subdeg` of these. # There are `subdeg` of these.
xs = [x for x in range(modulus) if pow(x, subdeg, modulus) == check_row] xs = [x for x in range(modulus) if pow(x, subdeg, modulus) == check_row]
print('Taking columns from data:', [(x, data[x]) for x in xs]) print('Taking columns from data:', [(x, data[x]) for x in xs])
if len(xs) != subdeg: assert len(xs) == subdeg
print('Row inadmissible; does not have %d roots' % subdeg)
continue
# Interpolate a degree subdeg-1 polynomial from the above # Interpolate a degree subdeg-1 polynomial from the above
row_poly = lagrange_interp(xs, [data[x] for x in xs], modulus) row_poly = lagrange_interp(xs, [data[x] for x in xs], modulus)
print('Eval', eval_poly_at(row_poly, check_col, modulus)) print('Eval', eval_poly_at(row_poly, check_col, modulus))