Devcon VI

Symbolic Computation for Fun and for Profit
10-13, 15:30–16:00 (America/Bogota), Talk 2

How symbolic computation in EVM / Solidity works, end-to-end. I'll try to give insights on problems that can be solved efficiently, forming constraints, relaxations, how to build custom solvers from scratch, and produce computer proofs. We'll be saving gas!


This speaker also appears in: