Ad/Sumcheck-tests-ver2 (#108)

* rebasing after PR 179
parent 71bdb62
author arijitdutta67 <[email protected]> 1675079130 +0000
committer arijitdutta67 <[email protected]> 1676621191 +0000

parent 71bdb62
author arijitdutta67 <[email protected]> 1675079130 +0000
committer arijitdutta67 <[email protected]> 1676621123 +0000

normalize poly test is modified

relation tests are modified

manual sumcheck round computation working

round_univariate all zero, debug wip

sumcheck round tests are modified

fixing error

minor fixes

relation tests are modified

sumcheck round tests are modified

sumcheck test modification (wip)

Adrian suggestions are adopted

minor fixes

debug after rebase (wip)

minor fixes

changing relation test (wip)

relation tests are fixed

sumcheck round tests are modified

sumcheck tests are added

rebase debug (wip)

Fixing rebase issue, poly index

commenting out relation tests as lambda function can not capture this

* fixing rebase bugs and typos

* all relation tests are passing except gpc for rand values

* fixing bug in the test

* minor cleanup

barretenberg/cpp/src/aztec/honk/sumcheck/polynomials/pow.hpp

@@ -18,7 +18,7 @@ namespace honk::sumcheck {
  *   ζ^{i} = ζ^{ ∑_{0≤l<d} i_l ⋅ 2^l }
  *         =     ∏_{0≤l<d} ζ^{ i_l ⋅ 2^l }
  *         =     ∏_{0≤l<d} ζ_l^{ i_l }
- *         =     ∏_{0≤l<d} { ( 1-i_l ) + i_l ⋅ ζ_l }
+ *         =     ∏_{0≤l<d} { ( 1-i_l ) + i_l ⋅ ζ_l } // As i_{l} \in \{0, 1\}
  *   Note that
  *   - ζ_{0} = ζ,
  *   - ζ_{l+1} = ζ_{l}^2,