Mapping finite state machines to zkSNARKs by Fabrizio Romano Genovese (Devcon5) | Blockchained.news

Grantee Exposé Lightning Talk 2 - Mapping finite state machines to zkSNARKs using category theory