Vansh Sahay

Founding Engineer at BLOKCapital

I build stuff with Ethereum, ZK and core protocol infrastructure

I spend most of my time working on the EVM, RISC-V, and ZK. I am currently a part of the Ethereum Protocol Fellowship (cohort 7), where I'm working on Pureth Trustless Log Index.

I enjoy writing Go, Rust, Lean. . My work usually sits at the compilers, consensus, and cryptography layers. I care about making Ethereum the global finanical settlement layer, and making infrastructure that anyone can run, including in a browser tab.

I'm a founding engineer at BLOKCapital, a decentralised wealth management protocol on Arbitrum. We let people grow assets through curated indices and verified on-chain managers while keeping full self-custody. On the side I contribute to core Ethereum infra: hacking on Lighthouse and Reth, and pushing forward on the Clean circuit DSL.

Ethereum Protocol Fellowship Ethereum Foundation

Cohort seven. Working on reducing dependency on the currently centralised parts of Ethereum.

Based Fellowship 3.0 Base India x Inner Circle

One of 30 fellows picked from across India. Eleven days in Goa building on Base with project teams.

Uniswap Hook Incubator Atrium × Uniswap Foundation

Built Eirene, a dark pool DEX that blocks MEV and gives zero-slippage trades. Won prizes from EigenLayer and the Uniswap Foundation. Also ended up proceeding to the Hook Product Accelrator.

Base Builder Grant Coinbase

Received a grant from Coinbase for x402-open, decentralised facilitator for HTTP-native payments on Base and Solana.

Lighthouse

Ethereum consensus client. Runs the beacon chain, keeps validators attesting.

sigp/lighthouse →
Reth

Paradigm's modular execution client. Fast, embeddable, designed as a library.

paradigmxyz/reth →
Clean

A circuit DSL in Lean. It's the language behind Verified-zkEVM.

Verified-zkEVM/clean →

Things I started and built. Click for details.

riscVM A zkVM that proves EVM execution using RISC-V.

Compiles EVM bytecode to RISC-V instructions and proves the whole thing using SNARKS. The EVM is stack-based, RISC-V is register-based. If you can prove one on the other, any RISC-V ZK prover can verify Ethereum transactions.

GitHub →
x402-open Decentralised HTTP-native payments using the 402 status code.

HTTP 402 was reserved for digital payments but nobody ever used it. x402 changes that. This is a decentralised payment gateway. Per-request microtransactions, no central processor. Backed by a Base Builder Grant from Coinbase.

GitHub →
lumen A trustless Ethereum light client. Runs in your browser.

Verifies the Ethereum beacon chain entirely in the browser. Compiles Rust consensus logic to WebAssembly and follows the sync committee to check block headers. You open a tab and it should just work.

GitHub →
Eirene A dark pool DEX. Blocks MEV, gives zero-slippage trades.

Built during the Uniswap Hook Incubator. Orders go through a dark pool, details hidden until settlement. Flashbots handles MEV protection. EigenLayer AVS handles security. Deployed on Sepolia. Won the UHI capstone and the Hookathon.

GitHub →
Flowly Permanent automation workflows through natural language on Arweave.

Triggers workflows based on Arweave and AO network events. Backed by an AR.IO Foundation grant. Hooks into Permagate for event notifications like name expiry alerts and gateway status.

Website →

Notes, articles, and half-formed thoughts on Ethereum, ZK, and protocol engineering.