Skip to content

Inertia Labs — Systems Research & Engineering

Inertia Labs is an independent R&D space led by Andy Bell. I build and document practical systems at the intersection of AI agent architectures, Rust, and Web3 primitives (coordination, identity, trust), with continued interest in verifiable computation / ZK where it meaningfully improves system guarantees.

Current through-line

AI agents + coordination: designing practical agent systems where blockchains are used only for what they’re good at (coordination, identity, trust, settlement) — not for compute.

Areas of exploration

  • Agent systems in Rust (tool use, memory, evaluation, reliability)
  • Retrieval & knowledge systems (RAG as a foundational agent capability)
  • Agent identity, trust, and provenance
  • Coordination patterns (task markets, verification, dispute handling; hybrid on/off-chain architectures)
  • Verifiable computation / ZK (selective use for auditability and guarantees, not novelty)

How to read this org

Most repos are “lab notebooks”: prototypes, experiments, and write-ups. Some will be polished; many are intentionally exploratory.

Starting points

  • rag-my-pdf — minimal RAG over PDFs in Rust (Rig), used as a baseline to explore agent memory + grounding.
  • zkvm-merkle-comparison — comparative zkVM work (when relevant to guarantees / verification).

(Links are in the pinned repos.)

Pinned Loading

  1. fleo fleo Public

    Private, pull-based streaming payments on Aleo.

    TypeScript

  2. zksol zksol Public

    Solana ZKVM

    Rust

  3. bfcairo bfcairo Public

    Cairo

  4. trivial-circuits trivial-circuits Public

    Trivial circuits with Arkworks

    Rust

  5. zkvm-merkle-comparison zkvm-merkle-comparison Public

    Zero-knowledge proof systems implementing identical Merkle tree proof verification across five zkVM frameworks

    Rust

  6. solvency-proof-solana solvency-proof-solana Public

    Proving Solvency Solana Style

    Shell

Repositories

Showing 10 of 47 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…