SNARKtor: A Decentralized Protocol for Scaling SNARKs Verification in Blockchains