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

svelte + vite + twind

Experimental folding schemes library

Let's scale Ethereum! Layer 2 fundamentals & blockspace analytics

A repo for our research papers ❤️

A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex.

Examples and guides for using the OpenAI API

🎓 Path to a free self-taught education in Computer Science!

A Virtual Machine for Zero-Knowledge Executions

A Decentralized Operating System for ZK Applications

Some very rough benchmarks between sha256 circuits in different proving systems

From the Transistor to the Web Browser, a rough outline for a 12 week course

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

Interactive documentation on zero-knowledge proof systems and related primitives.

See the Issues for difficulty algorithms

A succinct ZKP protocol for authentication

Collection of open-source nuclear education outreach material

Turn a $30 USB switch into a full-featured multi-monitor KVM switch

Bitcoin Improvement Proposals

SatoshiLabs Improvement Proposals

Communal zk-SNARK MPC for Public Parameters

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

Make Vim talk to Jupyter kernels

Seamlessly run Python code in IPython from Vim

Rust Cargo command bindings