All articles by Sam Green

  • Sam Green

    Semiotic Labs and Odos.xyz cofounder, Graph Protocol core developer, CS PhD. I write about web3, AI/ML, and applied cryptography.

Introduction to the Sum-Check Protocol

It’s expensive to run transactions on the Ethereum EVM. Verifiable computing lets us outsource computing away from the EVM. The sum-check protocol is a good algorithm to get your feet wet with understanding verifiable computing. This is a tutorial on the sum-check protocol.