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

JSTprove - Fast, verifiable AI

Distributed zkML

Proof of Inference - Trustless AI verification

Mathematical formulations and circuit designs for zero-knowledge proofs.

Verifiable inference on Bittensor

Modular AI runtime for robots

zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the…

Example token contracts for OP_NET

Framework to prove inference of ML models blazingly fast

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

React component library for onchain applications - See README for modern alternatives

How to run an Ink Node

Ink Documentation

Testing environment for Casper blockchain.

An AI-enhanced cloud-native layer-1 blockchain network. 

Database-free, self-hosted Bitcoin explorer, via RPC to Bitcoin Core.

Modular ZK(Zero Knowledge) backend accelerated by GPU

Source Network developer documentation portal

Web3 Ultimate Execution Engine

Linkedin Custom Frame Generator

Official Go Implementation of the Quai Network

📚 The Token Lists specification

🌴 Empowering everyone to build reliable and efficient smart contracts.