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.
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.
Automated Query Pricing in The Graph
To help indexers with pricing in the relative resource cost of serving different query shapes, as well as following the query market price, we are developing AutoAgora, an automation tool that automatically creates and updates Agora models.
Indexer Allocation Optimization: Part II
How can we enable Indexers to input their preferences into the Allocation Optimizer and how do those preferences can impact the Allocation Optimization problem? How can we account for gas fees while optimizing?
An Overview of Automatic Market Maker Mechanisms
This article explores the principles and mechanisms behind the many popular Automatic Market Maker designs currently used in production. We focus on graphical representations and high-level concepts, allowing for a more approachable and exhaustive exploration of the space.
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.
2024 Crypto Meta-Analysis
Many groups have released 2024 crypto market outlooks this year. We used ChatGPT to summarize those from Messari, VanEck, Pantera Capital, Coinbase Institutional, and a16z crypto. We also include outlooks from Odos, a leading DeFi aggregator, and intent solver spun out of Semiotic.
Indexer Allocation Optimization: Part I
Indexers within The Graph Protocol are rewarded via an indexing reward. How can indexers optimise their allocations so as to maximise the reward they receive? In this blog post we formalise the problem in terms of a reward function and use convex optimization to find a solution.
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.