Snarktor: A Decentralized Protocol for Scaling SNARKs Verification in Blockchains.
Alberto GaroffoloDmytro KaidalovRoman OliynykovPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- formal proof
- model checking
- formal verification
- lightweight
- multi agent
- distributed systems
- coloured petri nets
- tcp ip
- security protocols
- colored petri nets
- formal methods
- asynchronous circuits
- cooperative
- communication protocol
- peer to peer
- formal specification
- communication protocols
- network protocols
- resource allocation