Update 09-May-2025 (v4.18.0)

What's Changed

• feat: abstract definition for BinaryTowerField by @chung-thai-nguyen in #16
• Updating documentation by @alexanderlhicks in #25
• feat: change import structure, refactor FRI, initial probability notation by @quangvdao in #33
• feat: number of changes to OracleReduction by @quangvdao in #34

New Contributors

• @chung-thai-nguyen made their first contribution in #16
• @alexanderlhicks made their first contribution in #25

Full Changelog: v4.18.0...v4.18.0-update-09-05-25

Release (April 24 2025, lean v4.18.0)

This is the first release of ArkLib.

What's Changed

• feat: reworked interface for verifier in an IOR & other changes by @quangvdao in #5
• [UniPoly] AddCommGroup by trimming after additions by @mitschabaude in #6
• chore: fixing things that broke in recent VCV update by @dtumad in #8
• Unipoly conversion by @mitschabaude in #11
• Progress on Proof Simplification by @dtumad in #10
• fix UniPoly Tropical Equivalence by @BoltonBailey in #12
• feat: desorry buildMerkleTree by @BoltonBailey in #13
• feat: import dependent rewrite, add Fin.induction lemmas by @quangvdao in #14
• feat: lemmas about oracle distance for univariate polys by @quangvdao in #15
• chore(deps-dev): bump nokogiri from 1.13.6 to 1.18.4 in /home_page by @dependabot in #18
• chore(deps-dev): bump activesupport from 6.0.6.1 to 6.1.7.5 in /home_page by @dependabot in #19
• Bump v4.18.0 by @quangvdao in #20
• chore: Add API and changes to proof in MerkleTree by @BoltonBailey in #17
• feat: Fix completeness definition by @quangvdao in #22
• feat: round consistency step of the FRI protocol. by @ElijahVlasov in #21
• feat: Change "ZKLib" to "ArkLib" throughout repo by @quangvdao in #26
• feat: fix website theme by @quangvdao in #27

New Contributors

• @quangvdao made their first contribution in #5
• @mitschabaude made their first contribution in #6
• @dtumad made their first contribution in #8
• @BoltonBailey made their first contribution in #12
• @dependabot made their first contribution in #18
• @ElijahVlasov made their first contribution in #21

Full Changelog: https://github.com/Verified-zkEVM/ArkLib/commits/v4.18.0