Work

Selected work

Financial infrastructure, protocol mechanics, monitoring, and the research harnesses used to test whether those systems hold.

10 projects

RAGNAROK
problem  → A finding is not a finding until valid calls reach an impossible state o
approach → source, state, fork
result   → A research harness, not a scanner. Contradiction first. Runtime proof re

Adversarial protocol research infrastructure

Ragnarok

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
GitHubAll work
THEMIS
problem  → Most monitors tell you the node is down. The harder failure is the node 
approach → source, state, fork
result   → HEALTHY / BROKEN / UNKNOWN as explicit states, not a green dashboard.

Runtime invariant monitoring

Themis

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
GitHubAll work
AGENTPAY
problem  → An agent that can spend without an on-chain policy is just a key with a 
approach → source, state, fork
result   → Autonomous payment flow where authorization is a contract, not a prompt.

Programmable payment infrastructure

AgentPay

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
GitHubLiveAll work
Paidline

Payment and settlement infrastructure

Paidline

Problem
An invoice that dies at the settlement hop is not a paid invoice.
Approach
Invoice in. USDC on Ethereum. Settlement on Creditcoin. Status follows the money.
Result
A live status page for a cross-rail payment, not a screenshot of a dashboard.
  • Payments
  • Fintech
  • Solidity
GitHubLiveAll work
ORACLE INTEGRITY MONITOR
problem  → A price that is fresh on one RPC and dead on another is not a price.
approach → source, state, fork
result   → A monitor aimed at data integrity, not uptime.

Detect stale, inconsistent, or manipulated feeds

Oracle Integrity Monitor

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
GitHubAll work
Keel

Commit-reveal for Somnia event contracts

Keel

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
GitHubLiveAll work
Blast Radius

Wallet approval blast map

Blast Radius

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
GitHubLiveAll work
Assay

Verify a tokenized stock on Solana

Assay

Problem
A ticker is not proof of what the mint is.
Approach
One pass: mint, supply, freeze authority, whether the contract matches the claim.
Result
A verification report before you treat the label as the share.
  • Solana
  • Software
GitHubLiveAll work
NoGhosts / Berth

Intent-hire for live ERC-8004 agents

NoGhosts / Berth

Problem
A hire page with a logo and no evidence is noise.
Approach
Post a job. Fund escrow. An agent takes the work.
Result
Live intent-hire on BSC.
  • Agents
  • Solidity
GitHubLiveAll work
Folio

One housing file per apartment

Folio

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
GitHubLiveAll work