Pico Pico - Embedded Programming with Raspberry Pi Pico 2 and Rust

A pqSNARK with lightweight proofs, powered by the Whir PCS.

A STARK prover and verifier for arbitrary computations

BLS signature implementation on the BLS12-381 curve that meets the IETF spec.

High Performance Implementation of Secure Multiparty Computation protocols

Minimal zkVM, targeting XMSS aggregation and recursion.

Lean Ethereum protocol specifications and test vector generation framework.

RPO-M31 and XHash-M31: Efficient Hash Functions for Circle STARKs

Threshold ML-DSA and Threshold Raccoon with Identifiable Aborts Implementations

b4M - Holistic Benchmarking for MPC

A multi-threaded PDF password cracking utility equipped with commonly encountered password format builders and dictionary attacks.

Threshold MPC protocols for FHE

Zig implementations of the Cymric authenticated encryption modes.

A python implementation of the signature scheme Falcon

Coinbase MPC Library

Open Cryptanalysis Platform

Secure Computation Utilities

Ethereum Distributed Validator Specifications

A curated list of multi party computation resources and links.

Cryptography Educational Foundations

Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtual machine, prover, and verifier.

Compute the stack used by each of your functions (via GCC's `-fstack-usage` and call-graph tracing)

Tutorial for STARKs with supporting code in python

This program is used to do static stack analysis on C source code to determine the worst case stack usage for each function