A Vim-like configuration for Helix

The Rust Playground

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

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

Provable play of Nintendo Entertainment System in Noir

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

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

Dose Response is a roguelike where you play an addict. Avoid the dangers threatening your mind and body while desperately looking for the next fix.

Building Startups with an AI Co-Founder

Privacy 2.0 for Ethereum

A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

Zellic's audits, publications, and reports

Specification of the Farcaster Protocol

DEPRECATED in favor of https://github.com/taikoxyz/raiko! Taiko's fork of the PSE's ZK-EVM

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

Ethereum Proof-of-Stake Consensus Specifications

🪶 An alternative to ethers & web3 that's 10x smaller

A curated list of multi party computation resources and links.

A Cairo VM prover implemented using Winterfell

Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

🦄 🦄 🦄 Core smart contracts of Uniswap v3

A private messenger for iOS.

A fast intrusive flamegraph

Friendly and fast tool for sending HTTP requests

Rust bindings for AppKit (macOS) and UIKit (iOS/tvOS). Experimental, but working!