How Erasure Coding Works in Solana - A Deep Dive into Reed–Solomon and Data Propagation
Solana achieves high throughput and near-instant finality, yet it must also handle the reality of real-world networks: data loss, latency, and potential adversarial behavior. One key strategy used is erasure coding—specifically, Reed–Solomon codes—which allow a block (or shard set) to be reconstructed even if some data packets are lost.
In this...
Understanding Erasure Coding - A Deep Dive into Mathematical Foundations
Introduction
Imagine you’re part of a new decentralized blockchain aiming to store massive amounts of data on-chain—think NFT artwork, transaction histories, and user-generated archives. Each node in the network hosts only a slice of the total ledger. Some nodes go offline unexpectedly; others might be malicious. Directly replicating every byte...
Exploring Ethereum Native Rollups - The Convergence of L1 and L2
WIP - WORK IN PROGRESS
Introduction: The Convergence of L1 and L2
Over the last several years, the Ethereum community has embraced rollups—layer-two solutions that bundle transactions and post data to Ethereum—transforming Ethereum from a single “global computer” into a network of specialized execution environments. Yet every major rollup st...
Dominant Resource Fairness for High Performance Blockchains - A Multi-Dimensional Leap Beyond EIP-1559
Introduction
What if high performance blockchain like Solana’s fee model could automatically adjust not just for compute usage, but also for memory, network bandwidth, and I/O? In high-throughput environments, multiple resource bottlenecks can emerge—yet traditional one-dimensional fee mechanisms rarely capture this reality.
In Part 1 of our s...
Exploring Dynamic Base Fees for Solana’s Parallel Fee Markets
Overview
Solana’s blockchain model is known for its parallel execution and local fee markets, which enable high throughput and low latency at scale. However, static fee structures can fall short when network usage surges, as they lack an automated mechanism to adjust transaction costs in real time. In this post, we explore dynamic base fees—ins...
Ensuring Correct Integer Division in Circom - Avoiding Multiple Solutions in $\mathbb{F}_p$
Overview
Integer division is a textbook example of how arithmetic in a prime field $\mathbb{F}_p$ can subtly diverge from integer arithmetic. The naive approach often appears correct but can lead to multiple valid solutions in zero-knowledge proofs (ZKP), breaking the soundness property of ZKP. This can lead to multiple security vulnerabilities...
Columbia CryptoEconomics Workshop 2024 - Personal Notes and Inquiries
WORK IN PROGRESS
Overview
These are some personal notes and inquiries from the recent Columbia CryptoEconomics Workshop 2024 at Columbia University in New York. You can find the full program agenda at the official website. The recorded sessions are published here.
Priority is All You Need - Dan Robinson
Dan Robinson of Paradigm argued that La...
How Jito-Solana Works - A Deep Dive
Introduction
Figure: Solana REV; Jito Tips are colored in green. Source: Blockworks.
Figure: Last 30 days trend, Solana REV; Jito Tips are colored in green. Source: Jito.network.
Over the past year, Solana’s Real Economic Value (REV)—transaction fees plus out-of-protocol MEV tips—has soared to an all-time high of $1.4B. Much of that growt...
64 post articles, 8 pages.