Systems we've built, secured, and run in production.
Case studies across protocol infrastructure and onchain finance—from node software, ZK, and cross-chain systems to custody, stablecoins, testing, and audits.
Talk to us →
Pathfinder
Production, open-source Rust full node for Starknet, built for StarkWare and in widespread production use across the Starknet RPC and infrastructure ecosystem.
Lumina
Lumina, a Rust implementation of a Celestia light node that runs in the browser (WASM), performing data-availability sampling and direct verification.
Ethereum Light Client on ICP
Ethereum light client running on the Internet Computer (ICP), a Helios port to an ICP canister for trustless, onchain verification of Ethereum state.
Axelar Solana bridge
Solana-side integration for Axelar's General Message Passing network — SVM programs for message verification, token bridging, and GMP relay, with off-chain relayer and prover components.
Celestia / Hyperlane ZK-ISM
ZK-ISM (Interchain Security Module) and relayer/dispatch service for Celestia's cross-chain messaging via Hyperlane.
Eclipse
Eclipse, a prototype zero-knowledge bridge between Solana and Aleo that stores ZK proofs of Solana votes on Aleo and verifies Aleo proofs on Solana.
ZAIR — Zcash ↔ Namada
ZAIR, a zero-knowledge protocol connecting Zcash and Namada: holders prove note ownership and unspentness with privacy-preserving proofs (no nullifier or transaction details revealed) to claim assets on Namada.
Ziggurat — Zcash
Foundational P2P network-testing and stability framework for Zcash that discovered and responsibly disclosed critical network-layer vulnerabilities, and spawned the Ziggurat methodology.
Zcash UniFFI Library
Cross-language FFI bindings for Zcash's Rust libraries (Swift, Kotlin, Python, Ruby) using Mozilla's UniFFI, enabling native-language access for mobile and wallet development.
Quantus Network Audit
Comprehensive security audit of Quantus Network, a Substrate-based L1 with ZK wormhole circuits for private transactions, covering the Wormhole pallet, qp-plonky2 ZK circuits, Poseidon hash and chain primitives, delivered as an 82-page audit report with multiple findings.
Move Mutation Testing
Mutation-testing tooling for Move that measures the completeness of Move Prover specifications and the quality of test suites, for the Aptos ecosystem.
ZKsync State Reconstruction
Full node state reconstruction tooling for ZKsync Era, enabling independent state verification from onchain (Ethereum L1) data.
Sovereign / Hyperlane
Hyperlane integration for the Sovereign SDK rollup framework, enabling cross-chain messaging for Sovereign rollups.
SnarkOS & SnarkVM
P2P networking, zkVM optimization, and Narwhal-Bullshark consensus for Aleo, a privacy L1.
OpEVM
An open-source SDK to build sovereign, EVM-compatible optimistic rollups on top of Avail.
Rust-IPFS
A Rust implementation of the InterPlanetary File System for high-performance or resource-constrained environments.
Orbit-DB
A serverless, distributed, peer-to-peer database for the distributed web, built on IPFS.
EUROe
Smart contracts and onchain infrastructure for EUROe, a regulated, full-reserve, fiat-backed euro stablecoin across Ethereum and Solana.
Tesseract
How we helped Tesseract migrate custody from Copper to Fireblocks under a year-end MiCA deadline, using a Facade middleware that kept the backend's API contract intact.
Zenith
The EVM layer of Canton, a privacy-enabled institutional network. Incubated by Equilibrium.