Verifying LLM powered Code Transformations with Equivalence Checking - John Toman
Duration: 00:24:30
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
John Toman from Certora talked about how equivalence checking can mathematically verify LLM code transformations.
Such transformations preserve exact on-chain behaviour, enabling simplification of complex, highly optimized code into simpler Solidity code for easier audits and analysis. Watch the talk to learn more!
