Selected work

Adversarial protocol research infrastructure

Problem

A finding is not a finding until valid calls reach an impossible state on a fork.

Approach

Invent a state the designers never wrote down. Reach it with real calls. Prove economics. Kill it if you cannot.

Result

A research harness, not a scanner. Contradiction first. Runtime proof required.

• Security
• EVM
• Research
• TypeScript

Runtime invariant monitoring

Problem

Most monitors tell you the node is down. The harder failure is the node is up and the state is wrong.

Approach

Observe protocol state across independent RPCs. Quorum and finality first. Then evaluate invariants.

Result

HEALTHY / BROKEN / UNKNOWN as explicit states, not a green dashboard.

• Infrastructure
• Distributed systems
• EVM

Programmable payment infrastructure

Problem

An agent that can spend without an on-chain policy is just a key with a story.

Approach

Decision off-chain. Permission on-chain in AgentVault. Policy constrains what the agent may sign.

Result

Autonomous payment flow where authorization is a contract, not a prompt.

• Payments
• Agents
• Solidity

Detect stale, inconsistent, or manipulated feeds

Problem

A price that is fresh on one RPC and dead on another is not a price.

Approach

Compare feeds across sources. Flag staleness, disagreement, and break in expected bounds.

Result

A monitor aimed at data integrity, not uptime.

• Infrastructure
• Oracles
• TypeScript

Commit-reveal for Somnia event contracts

Problem

A public guess is worthless if it can be copied before the window.

Approach

Lock the commitment on-chain. Reveal when the window opens, or it stays locked.

Result

Live commit-reveal board on Somnia.

• Protocols
• Solidity

Wallet approval blast map

Problem

Approvals stay live long after the app is gone.

Approach

Read live allowances on Ethereum, Base, Arbitrum, and Solana delegates. Show who can still move the money.

Result

A paste-an-address tool with no fake numbers.

• Software
• EVM
• Solana

One housing file per apartment

Problem

A shared apartment has no single source of truth.

Approach

Rooms, documents, vendors. Shared with the people who live there.

Result

Shipped for the Convex All Gas hackathon.

• Software
• Convex

Conditional settlement on Zcash

Problem

A two-party payment needs the condition to be met before the spend completes, without revealing the note.

Approach

Seller creates an adaptor pre-signature. Buyer completes it only after the condition. Selective disclosure proves one fact without full reveal.

Result

Testnet adaptor-enabled PCZT spends mined. Halo 2 circuit for MinValue and InvoiceHash passes MockProver.

• Payments
• Zcash
• Adaptor signatures
• Rust