User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Terminal chat through the LAN with video streaming and file transfer.

🪩 verify plonky3 proofs in plonky2

A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy

A curated list of resources around BitVM

Reef: A zkSNARK system for proving that a committed document matches a regex

IdentityBlockchain uses state-certified electronic identities (eIDs) to establish blockchain identities and a consensus protocol called Proof of Identity (PoI).

Web3Privacy Now is a research project aimed at building a culture of privacy industry in web3: the most extensive database of privacy-enhancing solutions, the framework for PEDApps ideation, use-ca…

Tornado Cash circuits written with Halo2

JMRTD: Machine Readable Travel Documents (fork from Sourceforge)

zkBitcoin: zero-knowledge proofs on Bitcoin!

A collection of the Notes by Matan from each of the PSE Lectures sessions that have happened so far.

Specification of the Farcaster Protocol

Example app to show how to issue PCDs.

Pure-Rust implementation of the UC-secure "Tiresias: Scalable, Maliciously Secure Threshold Paillier"

Wordle, but with ZK proofs!

Noir, Circom, and Halo2 exercises for DSL workshop at ZKSummit10

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Threshold ECDSA via Triples

A toolkit for polynomial IOPs (PIOPs)

Boojum, the scariest SNARK implementation.

Practical Experiments on how to add complete privacy to flashbots

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.