Projects

Proof

Lead Backend Engineer 2025–present

A subsidiary of Drift.

Trading Infrastructure

Low-latency order execution and routing
Building and maintaining the core trading infrastructure, including order routing, execution strategies, and real-time risk management systems. Focused on reliability and performance across multiple venues.

Historical Indexing

Comprehensive market data pipeline
Designing and operating the historical data indexing system that powers backtesting, analytics, and quantitative research. Handles ingestion, normalization, and storage of large-scale market data across multiple chains.

Monadic Sheep

Founder 2023–present

"Programs must be written for people to read, and only incidentally for machines to execute."

Gond

Voice input for the modern age
A Rust-based project providing modern voice input capabilities, designed to integrate seamlessly with applications like Emacs.

disposable-key

Ephemeral key bindings for Emacs
A minor mode that turns yelling at the user into something useful by creating ephemeral key bindings for uncommonly used functions. Replaces the annoying beep with practical functionality.

app-monochrome

Almost monochromatic theme for Emacs
An almost monochromatic theme for Emacs (and other editors) that takes highlighting away from colours and into font shapes and weights. Designed for accessibility, particularly for users with colour blindness or sensitivity to high-contrast palettes.
Emacs Canvas Patch

Emacs Canvas Patch

Native high-resolution rendering for modern Emacs
An ongoing patch set for GNU Emacs that adds native capabilities for rendering high-resolution, high-framerate content directly within the editor. Enables rich visual applications, animations, and interactive displays without relying on external processes.

pale

Picture and Animation Library for Emacs
A C library providing picture and animation capabilities for Emacs, enabling rich visual content rendering within the editor.

Eclipse Labs

Performance Team Leader 2023–2024

Syzygy

Canonical bridge between Ethereum and Solana
Researched modular blockchains and guided development of the canonical bridge “syzygy” between Ethereum and Solana. Oversaw deployment of the Eclipse test network.
Solar Eclipse

Solar Eclipse

Internal Solana-based validator with Celestia DA integration
Built an internal validator based on Solana with extensions for Celestia Data Availability integration. Maintained virtually zero downtime and never suffered a security breach during operation.
Eclipse Performance Thesis

Eclipse Performance Thesis

Technical analysis of blockchain performance trade-offs
Eclipse Performance Thesis
Authored a comprehensive performance thesis examining the technical trade-offs in blockchain execution environments and validator design.
GSVM

GSVM

High-performance RISC-V-based Solana client
Developed a Rust-based Solana client built around a RISC-V virtual machine and an optimised hybrid concurrency scheduler. Designed to rival Firedancer in terms of performance.
Eclipse Crypto

Eclipse Crypto

World's fastest batch-optimised ed25519 signature verification
Eclipse Crypto
Cryptographic library offering the world’s fastest (at the time) batch-optimised ed25519 signature verification, enabling line-speed performance exceeding 10 million TPS through hardware-software co-design.
AlDBaran

AlDBaran

World's fastest authenticated database for optimistic rollups
AlDBaran

Designed and implemented the world’s fastest authenticated database for optimistic rollups.

Authored the accompanying research paper. Key results:

  • Eliminates disk I/O from the critical path, implementing prefetching strategies and refining Merkle tree updates
  • Achieves ~48 million state updates per second on AWS hardware (~16M TPS assuming 3 updates per transaction)
  • Handles 50 Gbps network throughput, surpassing any empirically documented blockchain throughput
  • On consumer hardware: ~8M updates/s in-memory, ~5M updates/s with sub-second snapshot intervals
  • At least 10× faster than QMDB on identical machine configurations, with only 3 external dependencies vs. QMDB’s 21
  • Supports historical state proofs, enabling light client functionality and rollups for chains that lack native state commitments

YZ.Social

Consultant 2025–April 2026

The Braided Blockchain

Co-author of the YZ.Social whitepaper
Co-authored the foundational whitepaper introducing a novel sharded blockchain architecture. Key contributions include the Concordance Engine — a deterministic replicated-state machine replacing BFT consensus with rapid fault detection and replay-based recovery — and the Braid of Trust, a decentralised audit graph using peer-shard notarisation receipts for cross-shard integrity. The design achieves sub-second local finality and near-linear throughput scaling.

Elerian

AAA-style multiplayer fantasy game concept
Originated the concept for Elerian, a multiplayer fantasy game blending single-player narrative depth with persistent shared worlds. Designed the core mechanic of faction warfare where creature players battle under the tactical direction of wizard players, with AI fallback for disconnected participants and a reincarnation system for dead entities.

SYZl.it

Neural-network-inspired social curation platform
Contributed to the design of SYZl, a crowd-sourced curation platform that connects users through shared taste preferences, functioning like a neural network where human users are the neurons. Designed the compensated attention model that distributes micropayments across curators and content creators, enabling universal supplementary income based on network contribution.

Greybeard Consulting

Founder Retired from external

Now focused entirely on internal projects.

Multisynq

Croquet blockchain tokenomic model
Developed the tokenomic model for Multisynq, a Croquet-based collaborative virtual world leveraging blockchain for persistent shared state and economic incentives.

Helium-based PoC

Solana proof-of-concept demo
Built a proof-of-concept demo on Solana using the Helium Program Library, demonstrating decentralized wireless network infrastructure concepts.

Grey-Lang

Constraint-first systems programming language
A novel systems-level programming language that eschews traditional machine-based type systems in favour of monadic and explicit constraint propagation. By inverting the Church-Turing thesis, it creates an environment where programming and proving theorems are one and the same.

Rust in 2X

Rapid Rust programming guide for experienced developers
A book designed to quickly bring specialists from other programming languages and disciplines up to speed on Rust. Covers core concepts, ownership, and idiomatic patterns for developers already experienced in software engineering.

The Map of Ageing

Evidence-based ageing theories and compensation mechanisms
A collection of evidence-based theories of ageing with potential compensation mechanisms.

App Monochrome

Monochromatic Emacs theme designed for accessibility
An almost monochromatic theme for Emacs and other editors that shifts highlighting away from colour dependence and into font shapes and weights. This design is specifically useful for visually impaired users — including those with colour blindness, low vision, or sensitivity to high-contrast palettes — who struggle with traditional colour-heavy themes. By relying on typographic distinctions rather than hue-based cues, the theme ensures that syntax highlighting remains meaningful regardless of the user’s colour perception.

Hyperledger / Soramitsu

Tech Lead & Product Owner 2022–2023
Iroha v2

Iroha v2

Enterprise-grade blockchain framework
Assembled the core development team and delivered the first long-term support release candidate. Designed the trigger system with WASM support and the smart contract system. Integrated Iroha v2 with Hyperledger Cactus and improved consensus throughput from 10 TPS to 30,000 TPS.
ADB CSD-RTGS Linkages

ADB CSD-RTGS Linkages

Cross-border DvP implementation — 1st place, 2023
Planned and designed the cross-border Delivery-Versus-Payment linkages proof-of-concept with the Asian Development Bank, based on the Iroha v2 virtual machine. Results were presented at the Asia Impact Webinar 2023 (Project Tridecagon), demonstrating how distributed ledger technology can connect central banks’ real-time gross settlement systems and central securities depositories across ASEAN+3 economies. The project won 1st place in the CSD/RTGS linkages PoC competition.
Sora v3 Integration

Sora v3 Integration

Substrate-based architecture integration
Roadmapped and co-designed Iroha to fit the existing Substrate-based architecture of the SORA network. Set up internal security standards and best practices working groups. Conducted internal audits of Sora and Kagome projects.
Iroha v1 Maintenance

Iroha v1 Maintenance

Legacy C++ ledger support
Maintained the Iroha v1 C++ end-of-life ledger used by clients in ASEAN jurisdictions.
Hyperledger Ursa

Hyperledger Ursa

Cross-project cryptographic library
Maintained the sole cryptographic library used across all Hyperledger projects until its end-of-life. Modernised the codebase to contemporary Rust standards and implemented the BLS12-381 curve for advanced cryptographic operations.
Fraud Intelligence Blockchain

Fraud Intelligence Blockchain

Security vulnerability designation system with Orillion
Co-designed the Iroha v2 ledger architecture to support the deployment of a fraud and security vulnerability designation system, developed in collaboration with Orillion under Soramitsu.

Independent / Community

Contributor Ongoing
GNU Emacs

GNU Emacs

Active contributor and package author

Contributor to GNU Emacs with a focus on the widget system and GUI improvements. Author of several packages aimed at improving the editing experience.

Previously an associate member of the Free Software Foundation.