ZKVM Determinism That Lasts: From Audits to Continuous Verification
ZK security shouldn’t end with an audit—it should evolve with your code. Learn how automated verification enables instant, continuous checks with provable guarantees—develop with confidence and let us worry about the corner cases.
Speaker
Kostas Ferles
Event
EthCC[8]
Date
July 2, 2025
Category
Security
Type
Talk
Language
EN