Verifiable inference on Bittensor

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

Proof of Inference - Trustless AI verification

Mathematical formulations and circuit designs for zero-knowledge proofs.