Q3 2025 was full of fresh ideas and community momentum πβ¨ Explore the projects @ethereumfndn teams awarded grants to last quarter and the work theyβre driving forward in our blog post below! https://blog.ethereum.org/2025/12/02/allocation-q3-25
- 0 replies
- 0 recasts
- 2 reactions
π₯ Check out the latest progress from one of our Q1 2025 grantees! The @nethermind Security team is unveiling CertiPlonk, a framework for extracting Plonky3 constraints and verifying their correctness in Lean. Dive into their full update in the thread below π https://x.com/NethermindSec/status/1991518749472456860
- 1 reply
- 0 recasts
- 3 reactions
1/ π€ Can AI make Ethereum safer? We're exploring how LLMs can automate auditing, specification compliance, and code analyses in our RFP: β‘οΈ Integrating LLMs into Ethereum Protocol Security Research β‘οΈ Dive deeper and apply by February 3, 2026 π https://esp.ethereum.foundation/applicants/rfp/security-research-llms
- 1 reply
- 0 recasts
- 2 reactions
