Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains

The paper is devoted to the investigation of the distributed proof generation process, which makes use of recursive zk-SNARKs. Such distributed proof generation, where recursive zk-SNARK-proofs are organized in perfect Mercle trees, was for the first time proposed in Latus consensus protocol for zk-...

Full description

Bibliographic Details
Main Authors: Yuri Bespalov, Alberto Garoffolo, Lyudmila Kovalchuk, Hanna Nelasa, Roman Oliynykov
Format: Article
Language:English
Published: MDPI AG 2021-11-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/9/23/3016