Alberto Garoffolo Dmytro Kaidalov Roman Oliynykov Snarktor: A Decentralized Protocol for Scaling SNARKs Verification in Blockchains. 99 2024 2024 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2024/099 db/journals/iacr/iacr2024.html#GaroffoloKO24