 narodnik
|
cd11aecbd8
sonic: add protocol steps
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
8663911041
remove hardcoded fp
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
937ce246a0
sonic: filter out X^0 terms from t(X, Y) poly
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
0b865a69c8
calculate sonic arithmetization equations
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
c63b1fca9a
add sonic linear constraints
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
a4ad1d44a0
working sonic arithmetization
|
%!s(int64=5) %!d(string=hai) anos |
|
narodnik
|
f62fcf0342
sonic arithmetization
|
%!s(int64=5) %!d(string=hai) anos |
