Models for Generation of Proof Forest in zk-SNARK Based Sidechains. - Yuri Bespalov; Lyudmila Kovalchuk; Hanna Nelasa; Roman Oliynykov; Rob Viglione (Cryptogr., 2023)