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: