Content
@
https://ethereum.org
0 reply
0 recast
0 reaction
EF Ecosystem Support Program
@ef-esp
🎊 Grant Announcement: Simplifying the Verification of zkVM Circuits & Verus Evaluation by CertiK! Simplifying the Verification of zkVM Circuits → Developing tactics that will simplify the verification of zkVM circuits, with a focus on modular arithmetic and cases where multiple numbers are packed into one field element. Verus Evaluation → Evaluating the usefulness of Verus (a tool for Rust verification) in verifying circuits and EVM precompiles written in Rust. https://x.com/CertiK/status/1924510273139835061
0 reply
0 recast
2 reactions
