Semiotic Labs Blog | Infrastructure, Cryptography & AI

Building cctp-rs: A Production-Grade Rust SDK for Cross-Chain USDC Transfers

Payments & Settlement Featured

Building cctp-rs: A Production-Grade Rust SDK for Cross-Chain USDC Transfers

How we built an open-source library that's moved millions in USDC across blockchains by Joseph Livesey, Semiotic Engineering At Semiotic, we often find ourselves building infrastructure that doesn't exist yet. When we needed reliable cross-chain USDC transfers for our treasury management system, we discovered there was

Verifiable Extraction in The Graph

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.

Homomorphic Signatures for Payment Channels

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.

Automated Query Pricing in The Graph

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

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

Pricing & Economics

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.

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.

2024 Crypto Meta-Analysis

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

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

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.