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

JSTprove

Distributed zkML

Mathematical formulations and circuit designs for zero-knowledge proofs.

Proof of Inference - Trustless AI verification

Verifiable inference on Bittensor

Official Netrum AI Dev-Hunting Program for testers and builders

Reference implementation of Anoma

Framework to prove inference of ML models blazingly fast

⛓️ A Framework for Building High Value Public Blockchains ✨

JS/TS monorepo for the Recall network

Your one-stop journey to mastering Arweave AO development, organized by ArweaveOasis.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA

https://sepolia.etherscan.io/address/0xb0857a964d1483b596520923500c34332464f21a#code

🦄 Open source interfaces for the Uniswap protocol

SubQuery is an Open, Flexible, Fast and Universal data indexing framework for web3. Our mission is to help developers create the decentralised products of the future.

XION Abstraxion Meta Account client library monorepo

Rust full node implementation of the Fuel v2 protocol.

Sway performance data

Mind Lake SDK in TypeScript

Trade Wallet powered by Web3 advertising. Earn passively while you swap or bridge.

Everything required to run your own Base node

provides metadata for networkIDs and chainIDs

🌴 Empowering everyone to build reliable and efficient smart contracts.

Contracts of the Sismo Badge Minting Protocol