- #55 Change the function signatures of
IPForMLSumcheck::verify_round
andIPForMLSumcheck::prove_round
.
-
#73 Add support for using
MLSumcheck
as subprotocol. -
#72 Uses
rayon
in the prover when theparallel
feature is enabled. -
#71 Improve prover performance by using an arithmetic sequence rather than interpolation inside of the
prove_round
loop. -
#55 Improve the interpolation performance and avoid unnecessary state clones.
- #75 Correct interpolation function in the verifier
- Change dependency to version
0.4.0
of other arkworks-rs crates.
- Change dependency to version
0.3.0
of other arkworks-rs crates.
The main feature of this release are:
- Speedup and improved memory usage when same
MLExtension
is used for multiple places
- #41
ListOfProductsOfPolynomial::add_product
takes iterators ofRc<DenseMultilinearExtension<F>>
instead ofDenseMultilinearExtension<F>
. - #41
ListOfProductsOfPolynomial
has been moved toml_sumcheck::data_structures
, but no actions required. - #46 Update to hashbrown version 0.11.2.
- #41
MLSumcheck
Prover uses memory linear to number of unique multilinear extensions instead of total number of multiplicands.