Watch / Symbolic Computation for Fun and for Profit

Symbolic Computation for Fun and for Profit

  • YouTube
  • Details

Symbolic Computation for Fun and for Profit

Duration: 00:26:47

Speaker: Hari

Type: Talk

Expertise: Intermediate

Event: Devcon 6

Date: Oct 2022

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!
About the speakers

H

Hari

.

  • Related