Content
@
https://ethereum.org
0 reply
0 recast
0 reaction
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
5 reactions
