Tags
About

Tags

2025

Oct 21The Bitter Lesson and the Old Philosophers
Oct 15Variance-Locked Fees - A Game-Theoretic Deep Dive into Monad’s Base-Fee Mechanism
Oct 08Equivocation Detection & Slashing in MonadBFT - Game Theory & Mechanism Design Analysis - PART 1
Oct 02MonadBFT Deep Dive - A Mechanism-Design Foundation for High-Performance Consensus - Part 1
Sep 23LayerZero - The Journey of a Cross-Chain Message (V2) — “Universal Postal Service”
Sep 18AI-Driven Coalition-Proof Attestation for Cross-Chain Messaging Systems - Part 2
Sep 14Coalition-Proof Attestation for Cross-Chain Messaging Systems - Part 1
Sep 05Prop AMMs on Monad - A Mechanism-sound, Execution-time Router for Atomic Best-execution
Aug 26Application-Controlled Sequencing (ACS) as Pigouvian Policy for MEV - Internalizing Externalities at the App Layer
Jul 19Deep Neural-Menu Auctions - An AI-Driven Mechanism of Blockchain Fee Markets
Jul 17Game-Theoretic Vulnerabilities in Proportional Bandwidth Allocation - A Formal Analysis of FastLane’s ShMonad Protocol
Jun 15The CLOB Wars — Monolithic vs. Modular in Next-Gen On-Chain Exchanges
May 12Yield-Bearing Stablecoins - A Deep Dive into Mechanisms, Mathematics, and Ecosystems
Apr 05Volume vs. Velocity - Why CME Futures Outpace High-Volume Perps in BTC Price Discovery
Mar 27Anatomy of a DEX Exploit - The Hyperliquid JELLY Case and Future-Proofing Perps
Mar 17Why "Bad" Ideas are Good for Solana - A Journey Through Transaction Prioritization
Mar 08Provably Improving Hook-Enabled Forward Exchange Functions - A Rigorous Mathematical Framework for Optimal Routing in Uniswap v4
Feb 26Solana SPL vs. Ethereum ERC-20 - A Deep Dive into State, Scalability, and Architecture
Feb 25Choosing the Right Data Availability Layer - A Deep Dive into Celestia, Polygon Avail, and EigenDA
Feb 15Routing Revolution in AMM - Hooks in Uniswap V4 and Optimal Trade Execution - A Paper Review
Feb 13Trusted Execution Environments (TEEs) and L2 Sequencers - Challenges, Trade-offs, and Security Implications
Feb 05How Erasure Coding Works in Solana - A Deep Dive into Reed–Solomon and Data Propagation
Feb 02Understanding Erasure Coding - A Deep Dive into Mathematical Foundations
Feb 01Dominant Resource Fairness for High Performance Blockchains - A Multi-Dimensional Leap Beyond EIP-1559
Feb 01Exploring Ethereum Native Rollups - The Convergence of L1 and L2
Jan 31Exploring Dynamic Base Fees for Solana’s Parallel Fee Markets
Jan 19Ensuring Correct Integer Division in Circom - Avoiding Multiple Solutions in $\mathbb{F}_p$
Jan 05Columbia CryptoEconomics Workshop 2024 - Personal Notes and Inquiries
Jan 01How Jito-Solana Works - A Deep Dive

2024

Dec 30Decentralized Block Building and Transaction Contribution - Flashbot Buildernet
Dec 26From RPC to Execution - A Queueing-Theoretic View of Solana’s Fee Markets and Transaction Pipeline - Part II
Dec 25From RPC to Execution - A Queueing-Theoretic View of Solana’s Fee Markets and Transaction Pipeline - Part I
Dec 13Adaptive, Load Responsive Fee Markets on Solana - A Rigorous LRU-Based Control-Theoretic Framework
Nov 17Dynamic Fee Vectors - Turning Anti-Spam Escrows into Self-Tuning Markets
Nov 10Taming Blockchain Spam - How Capital Velocity and Cost of Capital Rewrite Fee Markets
Oct 31Enhancing Blockchain Censorship Resistance - Advanced Mechanisms and Mathematical Models
Oct 13Exploring of MEV Redistribution - Integrating Mathematical Models and Strategic Perspectives
Sep 23A Deep Dive into Application Specific Sequencing
Sep 15Unlocking Liquid Restaking - Measuring Worst-Case Stake Loss, Cross-Contagion Risk, and LTV in LRTfi Networks
Sep 05Gas Efficiency and MEV Trade-Off in the Fastlane's ASS Framework - A Deep Dive into Domain-Specific Blockchain Constraints
Sep 02Quantifying Decentralization and Safety of Social Consensus in Blockchains
Aug 18How MCP and FOCIL Could Transform Blockchain Censorship Resistance
Aug 15A Deep Dive into Espresso Shared Sequencing Marketplaces Design
Aug 06Unpacking Robust Restaking Networks - Cascading Attacks and Validator Security
Jun 03Cross-Chain MEV Auctions - Modeling Proposer Revenue Maximization
May 29Solving the Messopotamia - The Curious World of Sealed Bid Auctions in Ethereum’s PBS
May 28Sealed Bids in Ethereum's PBS - Impact on Proposer-Builder Dynamics
May 05Harnessing AI in Ethereum - Pioneering a New Era of Agentic Systems for Blockchains
May 02Merkleization and Hash Root Tree - A Deep Dive into SSZ Merkleization in Ethereum
May 01Simple Serialize (SSZ) - A Deep Dive into SSZ in Ethereum
Apr 30Mastering Recursive-Length Prefix (RLP) Serialization - A Comprehensive Guide to Ethereum's Execution Layer
Apr 26Ethereum Beats - Exploring the Dance of Validators and Builders in Ethereum's Festival of Transactions
Apr 18Ethereum's New Frontier - A Comprehensive Guide to ePBS Design Specifications
Apr 08Ethereum Based Sequencing with Preconfirmations
Apr 07Enhancing Ethereum Transactions with Based Preconfirmations
Apr 06Unlocking Efficiency and Alignment - The Power of L1-Sequenced Based Rollups
Mar 28Envisioning Ethereum's Future - The Path to Enshrined Proposer-Builder Separation (ePBS)
Mar 22Mastering Polynomial Commitments - A Beginner's Guide to the KZG Polynomial Commitment
Feb 29Paper Review - Mastering Concurrency in Computer Science - A New Educational Approach
Jan 14Understanding Column vs. Row Encoding in Rank-1 Constraint Systems - A Cryptographic Perspective

2023

Nov 09Error Correction in Ethereum's Danksharding - Harnessing the Power of Generalized Reed-Solomon Codes for Ethereum's Scalability
Nov 02The Ultimate Guide to Working with ZKSNARKS and Cryptographic Primitives - From Trusted Setup to Workflow Automation
Oct 21GCD - A Deep Dive into Fundamental Concept in Number Theory
Aug 14Mastering Rank One Constraint System R1CS with Circom Examples
Jul 24Paper Review - Zero Knowledge Proofs for Decision Tree Predictions and Accuracy
Jun 23Unlocking the Power of ElGamal Encryption - Implementing and Enhancing Security with SageMath
Jun 14Rate Limiting Nullifier (RLN) Protocol - Circom Circuits Security Audit
May 25Unveiling the Weighted Set Cover Problem - Optimizing Resource Allocation
May 09Mastering Elliptic Curve Arithmetic - A Comprehensive Guide with SageMath Examples
May 07Enhancing Ethereum Scalability with Product Codes and Danksharding - A Comprehensive Guide
Apr 30Efficient Computation of Frobenius Automorphism on BN254 Elliptic Curve
Apr 12Writing Zero Knowledge Proofs and Circuits in Four Different Languages - Dotproduct of Two Vectors
Mar 04Paper Review - Predicting the development of adverse cardiac events in patients with hypertrophic cardiomyopathy using machine learning
Mar 03Paper Review - Machine learning of native T1 mapping radiomics for classification of hypertrophic cardiomyopathy phenotypes
Mar 02Different types of Zero Knowledge Proofs (Interactive and Non-interactive)
Mar 01Explanation of the Concept of Zero Knowledge Proofs

2022

Dec 25A brief introduction to Zero Knowledge Proofs (ZKPs)

2018

Jul 01Welcome
Jun 01Post with Header Image

© Dare to Know 2021, Powered by Jekyll & TeXt Theme.

Search