Mapping finite state machines to zkSNARKs by Fabrizio Romano Genovese (Devcon5)

Fri, Oct 2, 2020, 12:00 AM

Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, decentralized access on IPFS and more. https://archive.devcon.org/archive/watch/5/mapping-finite-state-machines-to-zksnarks Fabrizio Romano Genovese speaks about Mapping finite state machines to zkSNARKs. Speaker(s): Fabrizio Romano Genovese Skill level: Advanced Track: Developer Infrastructure Keywords: Zksnark, boolean circuit, fsm, category theory, technical Follow us: https://twitter.com/efdevcon, https://twitter.com/ethereum Learn more about devcon: https://www.devcon.org/ Learn more about ethereum: https://ethereum.org/ Devcon is the Ethereum conference for developers, researchers, thinkers, and makers. Devcon 5 was held in Osaka, Japan on Oct 8 - 11, 2019. Devcon is organized and presented by the Ethereum Foundation, with the support of our sponsors. To find out more, please visit https://ethereum.foundation/