Cryptography & Security
Verifiable Extraction in The Graph
In this article we discuss the methodology that Semiotic Labs uses to verify that blockchain data extracted from some source matches the history of the chain.
Cryptography & Security
Homomorphic Signatures for Payment Channels
This post discusses design and optimization of verifiable micropayments over a state channel, a feature of Semiotic Labs’ GraphTally library for The Graph. The Graph is a decentralized data services protocol, allowing customers to index and access all blockchain data.
Cryptography & Security
PSI with FHE
Private Set Intersection is a cryptographic technique that allows two parties to identify information they share without leaking any other information. This can be used in secure contact tracing during epidemics or in privacy-preserving human genome testing.
Cryptography & Security
Introduction to the Sum-Check Protocol
It's 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. Various families of SNARKs use the sum-check protocol, which is a simple VC algorithm.