Skip to content
@inference-labs-inc

Inference Labs

We pioneered Auditable Autonomy, Agentic verification and Security with Proof of Inference.

Inference Labs

Auditable Autonomy

Autonomous systems make real-world decisions, but their actions are not verifiable.

Humans rely on cryptographic identity to secure access, payments, and accountability. AI agents, robots, and autonomous software lack an equivalent primitive to prove what was computed, how it was executed, or whether the output is authentic.

Inference Labs is building that primitive.

We pioneered Auditable Autonomy, a verification layer for autonomous systems. Our Proof of Inference framework makes every model inference, agent decision, and workflow execution cryptographically verifiable, while preserving IP through veiled model weights and biases.

This enables developers to:

  • Prove model execution and outputs
  • Protect proprietary weights and biases during verification
  • Detect tampering and spoofed AI results
  • Establish audit trails for autonomous actions
  • Deploy AI safely in regulated and adversarial environments

Verification becomes a first-class computing primitive for AI systems, enabling trust, accountability, and scale.

Popular repositories Loading

  1. subnet-2 subnet-2 Public

    Verifiable inference on Bittensor

    Rust 2.5k 131

  2. zkml-blueprints zkml-blueprints Public

    Mathematical formulations and circuit designs for zero-knowledge proofs.

    1.9k 29

  3. inference-network inference-network Public

    Proof of Inference - Trustless AI verification

    Solidity 1.8k 31

  4. n-ary_notebooks n-ary_notebooks Public

    Notebooks covering mathematical analysis of ZKP building blocks, algorithm implementations of various proof systems, and protocol optimization techniques.

    Jupyter Notebook 1.7k 22

  5. dsperse dsperse Public

    Distributed zkML

    Rust 1.3k 14

  6. JSTprove JSTprove Public

    JSTprove - Fast, verifiable AI

    Rust 1.3k 15

Repositories

Showing 10 of 51 repositories
  • subnet-2 Public

    Verifiable inference on Bittensor

    inference-labs-inc/subnet-2's past year of commit activity
    Rust 2,462 MIT 131 1 11 Updated Sep 30, 2026
  • btlightning Public

    Lightning QUIC comms for Bittensor subnets

    inference-labs-inc/btlightning's past year of commit activity
    Rust 5 MIT 0 0 0 Updated Aug 5, 2026
  • dsperse Public

    Distributed zkML

    inference-labs-inc/dsperse's past year of commit activity
    Rust 1,342 14 0 1 Updated Jul 14, 2026
  • sertn-run Public

    for local running of sertn trained models

    inference-labs-inc/sertn-run's past year of commit activity
    Python 1 0 0 0 Updated Jul 2, 2026
  • btwallet Public Forked from RaoFoundation/btwallet
    inference-labs-inc/btwallet's past year of commit activity
    Rust 0 MIT 31 0 0 Updated Jun 18, 2026
  • inference-labs-inc/bittensor-drand's past year of commit activity
    Rust 0 MIT 9 0 0 Updated Jun 18, 2026
  • JSTprove Public

    JSTprove - Fast, verifiable AI

    inference-labs-inc/JSTprove's past year of commit activity
    Rust 1,324 15 11 4 Updated Apr 23, 2026
  • agent-kit Public
    inference-labs-inc/agent-kit's past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Apr 23, 2026
  • design.md Public Forked from google-labs-code/design.md

    A format specification for describing a visual identity to coding agents. DESIGN.md gives agents a persistent, structured understanding of a design system.

    inference-labs-inc/design.md's past year of commit activity
    TypeScript 0 Apache-2.0 2,498 0 0 Updated Apr 22, 2026
  • disperse Public Forked from banteg/disperse

    distribute ether or tokens to multiple addresses

    inference-labs-inc/disperse's past year of commit activity
    TypeScript 0 10 0 0 Updated Apr 15, 2026

Most used topics

Loading…