EF Ecosystem Support Program pfp
EF Ecosystem Support Program

@ef-esp

🎊 Grant Announcement: Binius in Lean! Formalizing Polynomial Commitment Schemes built on Binary Tower Fields, specifically Binius and FRI-Binius, within ArkLib (https://github.com/Verified-zkEVM/ArkLib), Lean's library of formally verifier SNARKs.
0 reply
0 recast
4 reactions