IOHK | Paper
Library > Models of distributed proof generation for ZK-SNARK-based blockchains
Models of distributed proof generation for ZK-SNARK-based blockchains
October/2020, Theoretical and Applied Cryptography 2020, Minsk, Belarus
BLOCKCHAINMERKLEZKSNARKS
We model distributed proof generation for ZK-SNARKs-based blockchains via discrete Markov chains. Two different types of proof construction models are considered: those in which all the proofs to be built are independent (they can be considered as leaves on the Merkle tree) and those in which the proofs are located at all nodes of the Merkle tree, and hence form a partially ordered set.