A performant and modular zkVM framework built for customization and extensibility.

Binius circuits web demos

General-purpose Multi-Party Computation from RISC-V assembly

A curated list of awesome things related to learning Binius

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

A curated list of zkVM, zero-knowledge virtual machine

A ZK-VM for the Brainfuck language, based on Stwo

Cargo subcommand for configuring Cargo projects for best performance.

Cargo subcommand for optimizing Rust binaries/libraries with PGO and BOLT.

Cargo subcommand for viewing LLVM optimization remarks.

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

A language for Geometry Dash triggers

[WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf

Notes of talks I have given

A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes

The testing ground for the future of portable SIMD in Rust

Fight the forgetting curve by reviewing flashcards & entire notes on Obsidian

the intersection of cryptography and AI

A computer science textbook

👽 Small exercises to get you used to ZK fundamentals!

A collection of classic computer science books from Internet

Web Proofs using zk-SXG

Beacon Block Lightclient in Rust

Based on https://eprint.iacr.org/2022/1510

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Checklist for security audit of ZKP projects by @positivesecurity

Rust implementation of VeeDo, a STARK-based Verifiable Delay Function