Our Work
A showcase of research initiatives, developer tools, and infrastructure primitives delivered across various blockchain ecosystems.
FOC Devkit
The missing local development environment for Filecoin Onchain Cloud. A CLI tool and TypeScript library that spins up a local FVM environment with mock implementations of all four FOC service contracts — FWSS, Filecoin Pay, Beam, and PDP Verifier — so developers can run full test suites in under 10 seconds without MetaMask, faucet tokens, or Calibration Testnet. Includes a PieceCID v1-to-v2 migration CLI and Synapse SDK integration validator. Grant pending with Filecoin Foundation.
MISSION_TRACE_v2.0
Ecosystem: FilecoinNode established in registry
Technical feasibility confirmed
Artifact verified by laboratory
Propelled to public visibility
STABILITY: VERIFIED
cairo-debug
Open-source AI-powered CLI tool that explains Cairo compiler errors and Starknet transaction failures in plain English with Starknet-specific context and concrete fixes. Covers 30+ Cairo error patterns including felt252 arithmetic, syscall mismatches, ABI embedding, account model errors, and Sierra trace decoding. Includes a native Scarb plugin and Transaction Failure Advisor. Published on npm.
MISSION_TRACE_v2.0
Ecosystem: StarknetNode established in registry
Technical feasibility confirmed
Artifact verified by laboratory
Propelled to public visibility
STABILITY: VERIFIED
Zero-Knowledge Orchestrator
ILE Labs Spark is a production-grade privacy infrastructure for the Tezos ecosystem. Built by ILE Labs, it provides high-performance, ZK-SNARK-powered tools for managing private notes, commitments, and nullifiers.
MISSION_TRACE_v2.0
Ecosystem: TezosNode established in registry
Technical feasibility confirmed
Artifact verified by laboratory
Propelled to public visibility
STABILITY: VERIFIED
Stylus Debug Suite
Stylus Debug Suite is a local-first, modular developer toolkit for Arbitrum Stylus smart contracts written in Rust. It addresses a critical gap in the Stylus developer experience: while Stylus enables Rust and C smart contracts on Arbitrum, developers currently lack the integrated tooling they need to test, debug, profile, and migrate contracts efficiently.
MISSION_TRACE_v2.0
Ecosystem: ArbitrumNode established in registry
Technical feasibility confirmed
Artifact verified by laboratory
Propelled to public visibility
STABILITY: VERIFIED