Efficient Query Verification for Blockchain Superlight Clients Using SNARKs

Stefano De Angelis, Ivan Visconti, Andrea Vitaletti +1

Blockchains are among the most powerful technologies to realize decentralized information systems. In order to safely enjoy all guarantees provided by a blockchain, one should main…