This post discusses design and optimization of verifiable micropayments over a state channel, a feature of Semiotic Labs’ [GraphTally](https://github.com/semiotic-ai/timeline-aggregation-protocol) library for The Graph. The Graph is a decentralized data services protocol, allowing customers to index and access all blockchain data._
A meta-summary of various 2024 crypto market outlooks.
Semiotic Labs explores the integration of Private Set Intersection (PSI) in blockchain to tackle Maximal Extractable Value (MEV) issues. Utilizing fully homomorphic encryption, the protocol aims for trustless operations and enhanced performance in tasks like access list comparison and private auctions.
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._