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

    Python 2.1k 123

  2. zkml-blueprints zkml-blueprints Public

    Mathematical formulations and circuit designs for zero-knowledge proofs.

    1.5k 24

  3. inference-network inference-network Public

    Proof of Inference - Trustless AI verification

    Solidity 1.5k 26

  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.4k 20

  5. dsperse dsperse Public

    Distributed zkML

    Python 990 12

  6. JSTprove JSTprove Public

    JSTprove

    Python 971 13

Repositories

Showing 10 of 36 repositories
  • dsperse Public

    Distributed zkML

    inference-labs-inc/dsperse’s past year of commit activity
    Python 990 12 7 5 Updated Dec 24, 2025
  • JSTprove Public

    JSTprove

    inference-labs-inc/JSTprove’s past year of commit activity
    Python 971 13 0 3 Updated Dec 23, 2025
  • subnet-2 Public

    Verifiable inference on Bittensor

    inference-labs-inc/subnet-2’s past year of commit activity
    Python 2,106 MIT 123 0 1 Updated Dec 20, 2025
  • .github Public

    Auditable Autonomy

    inference-labs-inc/.github’s past year of commit activity
    0 0 0 0 Updated Dec 20, 2025
  • subnet-2-circom Public

    Circom source for Subnet 2's incentive mechanism

    inference-labs-inc/subnet-2-circom’s past year of commit activity
    Circom 33 1 0 0 Updated Dec 16, 2025
  • subnet-2-contracts Public

    EVM Smart contracts for Subnet 2

    inference-labs-inc/subnet-2-contracts’s past year of commit activity
    JavaScript 13 2 0 0 Updated Dec 16, 2025
  • proprietary-trading-network Public Forked from taoshidev/vanta-network

    Proprietary Trading Network built on Bittensor

    inference-labs-inc/proprietary-trading-network’s past year of commit activity
    Python 0 31 0 0 Updated Dec 16, 2025
  • proof-of-portfolio Public

    Proof of Portfolio for SN8 (PTN)

    inference-labs-inc/proof-of-portfolio’s past year of commit activity
    Python 0 0 0 0 Updated Dec 16, 2025
  • bb Public

    Barretenburg compiled for GLIBC 2.5

    inference-labs-inc/bb’s past year of commit activity
    Shell 0 0 0 0 Updated Dec 16, 2025
  • inference-network-whitepaper Public

    Whitepaper for Inference Network

    inference-labs-inc/inference-network-whitepaper’s past year of commit activity
    TeX 0 MIT 2 0 2 Updated Dec 12, 2025

Most used topics

Loading…