Watch / Mapping finite state machines to zkSNARKs

Mapping finite state machines to zkSNARKs

  • YouTube
  • IPFS
  • Swarm
  • Details

Mapping finite state machines to zkSNARKs

Duration: 00:10:33

Speaker: Fabrizio Romano Genovese

Type: Talk

Expertise: Advanced

Event: Devcon 5

Date: Oct 2019

Fabrizio Romano Genovese speaks about Mapping finite state machines to zkSNARKs.
About the speakers

FRG

Fabrizio Romano Genovese

I work at the intersection of category theory, a super abstract branch of maths, and crypto: I focus on applying very general mathematical techniques to problems such as protocol design and MEV. I am interested in compositional design, correct by construction code, open games, formal verification. I did my PhD in categorical quantum mechanics at Oxford, where I learned compositional methods, and worked for years with Statebox, developing correct-by-construction graphical programming languages.

  • Related