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

improve halo2.sage doc

Browse Source
This commit is contained in:
narodnik
2022-02-26 20:57:56 +01:00
parent 59261f0d43
commit 1a901f50de
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -40,6 +40,14 @@ n = 2^k
omega = omega^(2^32 / n)
assert omega^n == 1
# def foo(s, x, y):
# if s:
# return x * y
# else:
# return x + y
# z = foo(s, x, y)
# Arithmetization for:
# sxy + (s - 1)(x + y) - z = 0
# s(s - 1) = 0