- ai
- cryptography
- defi
2024 Crypto Meta-Analysis
A meta-summary of various 2024 crypto market outlooks.
A meta-summary of various 2024 crypto market outlooks.
It is expensive to run transactions on the Ethereum EVM. Verifiable computing (VC) lets us outsource computing away from the EVM. Today, a popular and exciting form of VC algorithm is the SNARK. There are various families of SNARKs that use the sum-check protocol, which is a simple algorithm to introduce VC. This is a tutorial on the sum-check protocol. This post is focused on how the sum-check protocol is implemented - it does not go into theory. You can skip straight to the finished code [here](https://github.com/0xsamgreen/sumcheck)._Thank you to Gokay Saldamli, Gabriel Soule, and Tomasz Kornuta for providing valuable feedback on this article._