Home

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...

Read more

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...

Read more

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...

Read more

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...

Read more

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...

Read more

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...

Read more

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...

Read more

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...

Read more