A scalable verification solution for blockchains
VerSum: Verifiable Computations over Large Public Logs