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

Mapping finite state machines to zk-SNARKS Using Category Theory

F. Genovese
A. Knispel
Joshua Fitzgerald
ArXivPDFHTML

Papers citing "Mapping finite state machines to zk-SNARKS Using Category Theory"

1 / 1 papers shown
Title
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
Anastasia Mavridou
Aron Laszka
56
220
0
26 Nov 2017