WORK / ALL PROJECTS

Smart contract and protocol work

Projects we have designed, built or worked on, from client protocols to open-source implementations.

CLIENT AND TEAM PROJECTS

04 ENTRIES · SELECT ONE TO OPEN ITS SHEET

C-01 · Feb 2026 - Present

Roofcast

Lead Smart Contract Engineer & Protocol Architect

Real-estate prediction market protocol, live on a public testnet for users in Florida.

591+ TESTS · EIP-7702 · GNOSIS CTF

C-02 · Dec 2025 - Oct 2026

MoveX

Protocol Architect & Lead Engineer

Volatility derivatives DEX, where traders take positions on volatility rather than price direction. The collaboration ended when the project migrated to Solana.

HYBRID MATCHING · EIP-712 INTENTS

C-03 · Mar 2025 - Oct 2025

fija Finance

Customer Integration Engineer

Institutional DeFi platform built on ERC-4626 vault strategies.

ERC-4626 · NODE.JS · NESTJS

C-04 · Jul 2022 - Oct 2024

Dexynth & BeGlobal Finance

Lead Blockchain Developer · Blockchain Developer

Two sister companies with the same CEO and CTO: Dexynth, a multichain synthetics trading protocol (Lead Blockchain Developer, Jan 2023 - Oct 2024), and BeGlobal Finance, a lending protocol (Blockchain Developer, Jul 2022 - Dec 2022).

CUSTOM ORACLES · EVM L2s · COMPOUND FORK

OPEN-SOURCE IMPLEMENTATIONS

06 ENTRIES

Independent implementations written to explore each design in depth. None of them is deployed in production.

O-01 · OPEN SOURCE

Money market

Single-base (USDC) lending market inspired by Compound III, with inert collateral, signed-principal accounting, a rebasing ERC-20, a jump-rate model with a derived supply rate and absorb liquidations with bad debt recognized as negative reserves.

350 TESTS · 17 INVARIANTS · 95%+ COVERAGE

O-02 · OPEN SOURCE

ERC-4626 vaults

Decoupled vault and strategy, with an atomic leveraged WETH loop (Uniswap V4 flash loan, Aave V3 E-Mode, 93% LTV), unwound pro rata so withdrawals never raise leverage.

365 TESTS · 27 INVARIANTS · FORK SUITES

O-03 · OPEN SOURCE

Synthetic trading protocol

An independent implementation drawing on our work at Dexynth and following gTrade's model, with a single USDC ERC-4626 vault as counterparty to every trade, priced at a conservative NAV, Pyth prices anchored to Chainlink and three solvency layers.

818 TESTS · 32 INVARIANTS · 100% COVERAGE

O-04 · OPEN SOURCE

Real-yield staking rework

A later independent rework of the multi-level staking contract written at Dexynth, with a reward-per-share accumulator that makes stake, unstake and harvest constant-cost.

92%+ LESS GAS · 132 TESTS · 100% COVERAGE

O-05 · OPEN SOURCE

RWA security token (ERC-3643)

ERC-3643 subset written from scratch, with EIP-712 identity attestations, a modular compliance engine, ERC-1643 document anchoring and custodian-gated wallet recovery.

421 TESTS · 12 INVARIANTS · 100% BRANCHES

O-06 · OPEN SOURCE

Prediction market

Built as research before our work at Roofcast.

CPMM · GNOSIS CTF · CREATE2

Have a project like these?

Book a 30-min intro callSend a message
PROJECT SHEET · C-01

Roofcast

ROLE
Lead Smart Contract Engineer & Protocol Architect
DATES
Feb 2026 - Present

Real-estate prediction market protocol, live on a public testnet for users in Florida.

  • Event-driven architecture with a stateless factory and EIP-7702 delegated accounts for gasless one-click trading
  • Lead Solidity developer on the CPMM, Gnosis CTF settlement and atomic LP and swap logic, backed by 591+ tests
  • Pool-accounted solvency enforced by invariant checks after every state change, plus the technical roadmap and architecture documentation

591+ TESTS · EIP-7702 · GNOSIS CTF

LinkedInWebsite
PROJECT SHEET · C-02

MoveX

ROLE
Protocol Architect & Lead Engineer
DATES
Dec 2025 - Oct 2026

Volatility derivatives DEX, where traders take positions on volatility rather than price direction. The collaboration ended when the project migrated to Solana.

  • Hybrid model with off-chain matching for sub-second execution and non-custodial onchain settlement
  • EIP-712 signed gasless intents, so gas is only paid when a trade settles
  • Settlement engine with strictly typed state transitions and automated PnL settlement, designed to keep the protocol solvent

HYBRID MATCHING · EIP-712 INTENTS

Website
PROJECT SHEET · C-03

fija Finance

ROLE
Customer Integration Engineer
DATES
Mar 2025 - Oct 2025

Institutional DeFi platform built on ERC-4626 vault strategies.

  • Integration of fija's vault strategies into the systems of institutional clients (exchanges, banks and VC firms) through Node.js and NestJS services
  • A market-making bot that kept a centralized exchange's wallets funded from ERC-4626 vaults by minting, burning and moving tokens onchain, and placed orders to offer that liquidity to traders

ERC-4626 · NODE.JS · NESTJS

PROJECT SHEET · C-04

Dexynth & BeGlobal Finance

ROLE
Lead Blockchain Developer · Blockchain Developer
DATES
Jul 2022 - Oct 2024

Two sister companies with the same CEO and CTO: Dexynth, a multichain synthetics trading protocol (Lead Blockchain Developer, Jan 2023 - Oct 2024), and BeGlobal Finance, a lending protocol (Blockchain Developer, Jul 2022 - Dec 2022).

  • Dexynth. Custom oracles designed and built from scratch, so the protocol could launch on emerging L2 networks that no commercial oracle supported, even on testnet
  • Dexynth. The protocol's contracts across multiple EVM L2 networks, including its multi-level real-yield staking system, plus the API, WebSocket and microservices, and leadership of the tech and product design team
  • BeGlobal Finance. Deployment, review and testing of the Compound-forked lending markets, with custom Chainlink oracles running on self-hosted nodes with external adapters
  • BeGlobal Finance. Liquidation contracts with checkUpkeep and performUpkeep logic, executed automatically through Chainlink Keepers (now Chainlink Automation)
  • Dexynth wound down in 2024, when the bear market left it without funding

CUSTOM ORACLES · EVM L2s · COMPOUND FORK

PROJECT SHEET · O-01

Money market

ROLE
Independent implementation
DATES
Open source

Single-base (USDC) lending market inspired by Compound III, with inert collateral, signed-principal accounting, a rebasing ERC-20, a jump-rate model with a derived supply rate and absorb liquidations with bad debt recognized as negative reserves.

  • Directed rounding, a single accounting path and a confidence-aware Pyth oracle anchored to Chainlink
  • 350 tests, 17 stateful invariants and 49,000 fuzz runs, with over 95% coverage on every contract

350 TESTS · 17 INVARIANTS · 95%+ COVERAGE

RepositoryApp
PROJECT SHEET · O-02

ERC-4626 vaults

ROLE
Independent implementation
DATES
Open source

Decoupled vault and strategy, with an atomic leveraged WETH loop (Uniswap V4 flash loan, Aave V3 E-Mode, 93% LTV), unwound pro rata so withdrawals never raise leverage.

  • Permissionless health check that exits before liquidation, dead shares and a high-water-mark fee
  • 365 tests, 27 stateful invariants and fork suites, with 18 review issues fixed through regression tests

365 TESTS · 27 INVARIANTS · FORK SUITES

RepositoryApp
PROJECT SHEET · O-03

Synthetic trading protocol

ROLE
Independent implementation
DATES
Open source

An independent implementation drawing on our work at Dexynth and following gTrade's model, with a single USDC ERC-4626 vault as counterparty to every trade, priced at a conservative NAV, Pyth prices anchored to Chainlink and three solvency layers.

  • 818 tests, 32 invariant properties and an Arbitrum One fork suite, with 100% line and branch coverage
  • 28 review findings fixed or documented

818 TESTS · 32 INVARIANTS · 100% COVERAGE

RepositoryApp
PROJECT SHEET · O-04

Real-yield staking rework

ROLE
Independent implementation
DATES
Open source

A later independent rework of the multi-level staking contract written at Dexynth, with a reward-per-share accumulator that makes stake, unstake and harvest constant-cost.

  • Over 92% less gas on unstake and harvest after 10 epochs
  • 132 tests and 5 invariants, with 100% line and branch coverage

92%+ LESS GAS · 132 TESTS · 100% COVERAGE

RepositoryApp
PROJECT SHEET · O-05

RWA security token (ERC-3643)

ROLE
Independent implementation
DATES
Open source

ERC-3643 subset written from scratch, with EIP-712 identity attestations, a modular compliance engine, ERC-1643 document anchoring and custodian-gated wallet recovery.

  • 421 tests and 12 stateful invariants, with 100% branch coverage
  • 13 review bugs fixed, each with a regression test

421 TESTS · 12 INVARIANTS · 100% BRANCHES

RepositoryApp
PROJECT SHEET · O-06

Prediction market

ROLE
Early research proof of concept
DATES
Open source

Built as research before our work at Roofcast.

  • Virtual-liquidity CPMM, entry-toll fee model, Gnosis CTF custody and a CREATE2 market factory

CPMM · GNOSIS CTF · CREATE2

Repository