使用范畴论将有限状态机映射到 zk-SNARKs
密码学与安全
2019-09-17 v2 形式语言与自动机理论
范畴论
摘要
我们提供了一个范畴论程序，将对应于有限状态机状态空间的图转化为布尔电路，利用布尔电路可以容易地转化为 zk-SNARKs 这一事实。我们的电路验证给定的边和节点序列确实是其所表示图中的一条路径。然后我们推广到验证任意图中路径的电路。我们证明所有我们的对应关系都是伪函子性的，并且彼此之间具有良好的协调性。
引用
@article{arxiv.1909.02893,
title = {Mapping finite state machines to zk-SNARKS Using Category Theory},
author = {Fabrizio Genovese and Andre Knispel and Joshua Fitzgerald},
journal= {arXiv preprint arXiv:1909.02893},
year = {2019}
}
备注
18 pages total, 10 pages body, 2 pages addendum, 5 pages appendix, 36 figures, 6 tables