Mapping finite state machines to zk-SNARKS Using Category Theory.

Fabrizio Genovese Andre Knispel Joshua Fitzgerald

Published in: CoRR (2019)

Keyphrases

finite state machines
black box
pac learning
finite state automata
model checking
data sets
lower bound
metadata
optimal solution
small number