💥 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
💡 Academic Grants Round Announcement: Open-Source Tool Development for Automated Vulnerability Detection in Ethereum Transaction Propagation by Yibo Wang & Yuzhe Tang! Designing and implementing an automated, stateful fuzzing framework to detect vulnerabilities in Ethereum’s transaction propagation layer, helping strengthen the reliability and security of Ethereum’s peer-to-peer networking.
- 0 replies
- 0 recasts
- 1 reaction