Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains[J] MATHEMATICS 2021(9) Bespalov, Yuri Garoffolo, Alberto Kovalchuk, Lyudmila Nelasa, Hanna Oliynykov, Roman