🚀 Build high-performance, self-hosted object storage with Z4, an S3-compatible system that scales easily and offers strong security and simple management.

🧩 Explore a pure Python implementation of zero-knowledge STARKs for educational purposes, designed to enhance understanding of cryptographic concepts.

🚀 Implement high-performance BLS12-381 digital signatures in Zig with memory safety and C ABI bindings for seamless integration and interoperability.

🗳️ Build a secure and transparent e-voting system using blockchain technology and zero-knowledge proofs for enhanced privacy and trust.

A zkVM for Decentralized Private Computations (DPC)

Cairo is the first Turing-complete language for creating provable programs for general computation.

ZK Proofs for Model Fairness

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

M3terchain Prover client

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 knowledge proof systems

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Personal Relationship Toolkit is a privacy-first client-side encrypted database app designed to support mental health through intentional relationship management without leaking information to any centralized source. It works with an upcoming tool, CRT, to join with a community of PRTs to discover relational needs.

The official SDK of AffixIO - Includes tests

A collection of lints to catch common mistakes and improve your Cairo code.

The privacy-focused cryptocurrency

Privacy-first KYC built with zero-knowledge proofs, fully homomorphic encryption, and cryptographic commitments

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

Fast zkVM born at a16z Crypto substantially adapted by ICME Labs (NovaNet) for verifiable machine learning. ⚡

Common cryptographic library used in software at Mysten Labs.