A toolkit for polynomial IOPs (PIOPs)

Rust tool to detect cell site simulators on an orbic mobile hotspot

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.

Differential Address Trace Analysis

🐇 Fuzzing Rust code with American Fuzzy Lop

Command line helpers for fuzzing

Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

A silent threshold encryption scheme, which does not require any interaction during the setup phase.

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

A performant, 100% open-source, contributor-friendly zkVM.

Key agreement on top of decaf377

Curated list of resources for Embedded and Low-level development in the Rust programming language

Heapless, `static` friendly data structures

R1CS constraints for bits, fields, and elliptic curves

A collection of open source Rust crates from iqlusion

A curated list of zero-knowledge folding schemes

Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

Open source software that helps you create and deploy high-frequency crypto trading bots

Rust implementation of the Snarky Ceremonies protocol over the BLS12-381 curve.

A responsive, online/offline web app to act as a character sheet for 5e D&D and other RPGs.

Redshift fitting for spectroperfectionism