Autonomous agents for everyone

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

A lattice-based non-interactive folding scheme written in Rust

The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orch…

Web app for generating proofs of frog ownership using the sonobe folding schemes library

A Framework of Lattice-based Zero-knowledge Arguments in Rust

A library for lattice-based multiparty homomorphic encryption in Go

A curated list of awesome things related to learning Circle STARK.

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

A complete course for learning Bitcoin programming and usage from the command

Personal notes about ZKP

Prove your self

Step by step implementation of KZG

A STARK-based VM focused on code reuse, performance, and modularity

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Educational Version of Lookup Argument

A STARK proof to sync a Bitcoin full node in an instant.

C++ library for IOP-based zkSNARKs

Animation engine for explanatory math videos

Accelerate Early Stage Programmable Cryptography Talents

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Modular ZK(Zero Knowledge) backend accelerated by GPU

A system for managing privacy-preserving groups.