github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-09 14:48:08 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix bug in halo2 sage script

Browse Source
This commit is contained in:
narodnik
2021-09-24 13:11:35 +02:00
parent 02487b8db2
commit 587a99a257
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
script/research/halo/halo2.sage
View File

@@ -274,7 +274,7 @@ for a in range(5):
current = last_y_value
# i iterates over the columns in our partition
for i in range(a * m, (a + 1)):
for i in range(a * m, (a + 1) * m):
current *= v[i][j] + beta * delta^i * omega^j + gamma
current /= v[i][j] + beta * s[i][j] + gamma
@@ -308,7 +308,7 @@ gate_3 = f_4_X * (a_1_X * a_2_X * a_3_X - a_4_X)
c = gate_0 + y * gate_1 + y^2 * gate_2 + y^3 * gate_3
t = X^n - 1
for i in range(n):
assert h(omega^i) == 0
assert c(omega^i) == 0
# Normally we do:
#h = c / t
# But for some reason sage is producing fractional coefficients