SuccinctPaul

strapi

🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable and developer-first.

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

stwo

cliclack

Beautiful, minimal, opinionated CLI prompts inspired by the Clack NPM package

revmc

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

ronkathon

Cryptography Educational Foundations

fancy-cryptography

Deployments of fancy cryptography

bitcoin-circle-stark

Building blocks of a Circle STARK verifier in Bitcoin script

kona

A suite of `no_std` components for the OP Stack state transition function.

awesome-bitvm

A curated list of resources around BitVM

Expander-rs

Expander, an open-source GKR prover designed for scaling large-scale parallel computing.

binius

A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)

open-binius

building blocks for accelerating ZK proofs over binary fields

sonobe-btc

Using folding schemes for a provable bitcoin light client

pessimistic-proof

Pessimistic proof for the AggLayer.

verifiable_mpc

A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

memory-stats

A cross-platform-ish memory profiler for Rust!

cairo_pairing

2023-entries

Source code for all entries from the 2023 ZPrize competition

Baby-Binius

Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes​.

hash-based-snargs-book-zh

Source code for "Building Cryptographic Proofs from Hash Functions"

KiloNova-poc

A proof-of-concept implementation of KiloNova

plonky2-metal-demo

Speed up plonky2/starky proving by 50% on Macs using Metal Acceleration

zkboogie-client-bench

A benchmark website for client-side proving with zkboogie

pace_2024

Pace Challenge 2024

estimator_folding

codes

[Unmaintained] Plonky3 code relating to codes such as Brakedown

sp1-plonky2

Verify Plonky2 proofs using SP1

sp1-recursive