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...
Decentralized Block Building and Transaction Contribution - Flashbot Buildernet
WORK IN PROGRESS
Overview
BuilderNet is a decentralized block building network for Ethereum that ensures transactions remain private and MEV value is fairly redistributed to users. It brings together globally distributed, open-source builder instances—currently operated by Flashbots, Beaverbuild, and Nethermind—to collaboratively assemble bloc...
From RPC to Execution - A Queueing-Theoretic View of Solana’s Fee Markets and Transaction Pipeline - Part II
Part 2: Multi-Stage Solana’s Transaction Supply Chain and Control-Theoretic Optimization
Recap of Part 1 and Overview of Part 2
In Part 1, we established the foundational queueing-theory concepts that apply to blockchain fee markets:
M/M/1 Queues:
We examined single-server queues with Poisson arrivals and exponential service tim...
From RPC to Execution - A Queueing-Theoretic View of Solana’s Fee Markets and Transaction Pipeline - Part I
Part 1: Foundations of Queueing Theory for Solana’s Fee Markets
Introduction
Solana’s promise of fast, high-throughput blockchain operations relies on an efficient fee market that keeps the network stable even under heavy load. In traditional blockchains, a simple “bidding war” can prioritize transactions by fee, but Solana’s architecture invo...
Adaptive, Load Responsive Fee Markets on Solana - A Rigorous LRU-Based Control-Theoretic Framework
Special thank yous to Terry and Fikunmi for reading early versions of this article and providing feedback.
Introduction
Solana is a high-throughput blockchain that aims to maintain full capacity utilization without artificially constraining blockspace. Unlike Ethereum—which relies on a dynamic base fee model (EIP-1559) that makes blockspace ex...
Dynamic Fee Vectors - Turning Anti-Spam Escrows into Self-Tuning Markets
Overview
In the previous article, we showed how slowing capital velocity and raising reserve requirements can help mitigate the spam without punishing ordinary users. Here we make those two levers adaptive and dynamic. Our guide is the study “Dynamical Analysis of the EIP-1559 Ethereum Fee Market1,” which says that fee mechanisms can tip from...
69 post articles, 9 pages.