The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

DSL for Halo2 circuits

Benchmark of multiple zk implementations.

Security advisory database for Rust crates published through crates.io

Guidelines for low-level cryptography software

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

Creates graphviz dependency graphs for Rust projects that use Cargo

A command-line benchmarking tool

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Boojum, the scariest SNARK implementation.

GNU toolchain for RISC-V, including GCC

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

🌴 Empowering everyone to build reliable and efficient smart contracts.

🤖 Just a command runner

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

Hashing to Elliptic Curves

Collection of cryptography-related traits

Fuzzing cryptographic libraries. Magic bug printer go brrrr.