Ethereum

🎊 Grant Announcement: Lean Blueprint for FRI by @nethermind!

Developing a Lean blueprint for FRI, along with the mathematical pre-requisites that are needed for it and currently missing from Lean's mathlib (primarily coding theory).

Another day, another grant! 🔥

Nethermind has received a grant from @ethereumfndn to formally model the FRI protocol in Lean and draft a blueprint for formal verification of its security guarantees.

1/ https://t.co/pDB4jVmZvl

Nethermind Security

We are a research and software engineering company, empowering enterprises and developers worldwide to build on decentralized systems.

🎊 Grant Announcement: Lean Blueprint for FRI by @nethermind!

Developing a Lean blueprint for FRI, along with the mathematical pre-requisites that are needed for it and currently missing from Lean's mathlib (primarily coding theory).

https://x.com/NethermindSec/status/1920494789692108892

@ethereumfndn Ecosystem Support Program | Learn more or submit a support inquiry at http://esp.ethereum.foundation