Zeromorph and HyperKZG improvement (Arecibo backports) - #301

Open

François Garillot (huitseeker) wants to merge 12 commits into

microsoft:mainfrom

lurk-lang:zeromorph_and_mlkzg

Commits on May 2, 2024

feat: implement Zeromorph (#145)

committed
75cfaa7
Add MLKZG support (Nova forward port) (#172)

committed
3e47208
chore: Remove redundant absorptions in MLKZG implementation (#206)

Artem Storozhuk (storojs72)
authored and
François Garillot (huitseeker)
committed
c8d2a3e
Fix `mlkzg::EvaluationArgument` fields (#207)

Adrian Hamelink (adr1anh)
authored and
François Garillot (huitseeker)
committed
5c4ea6a
Refactor 'kzg_verify_batch' closure in MLKZG verification (#231)

Artem Storozhuk (storojs72)
authored and
François Garillot (huitseeker)
committed
c5421fb
Parallel computation of `Pi` polynomials (#233)

Artem Storozhuk (storojs72)
authored and
François Garillot (huitseeker)
committed
f16993a
Test vectors & benchmark for PCS (#222)

tchataigner
authored and
François Garillot (huitseeker)
committed
74ee081
Optimising proving by avoiding recomputing final `Pi` polynomial in MLKZG (#242)

Artem Storozhuk (storojs72)
authored and
François Garillot (huitseeker)
committed
795c032
refactor: Refactor testing setup and remove dependencies in provider module
François Garillot (huitseeker)
committed
35449ac
refactor: Minimize distraction to Nova module organization
François Garillot (huitseeker)
committed
3d73656
chore: formatting
François Garillot (huitseeker)
committed
2b58942

Commits on May 3, 2024

chore: fix clippy
François Garillot (huitseeker)
committed
ffc34a0