💥 Blazing fast terminal file manager written in Rust, based on async I/O.

async fn(Request) -> Result<Response, Error>

A pure-Rust implementation of group operations on Ristretto and Curve25519

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

Python implementation of ECC pairing and bn_128 and bls12_381 curve operations

Scroll zkEVM Playground

Quantum assembly language for extended quantum circuits

Main repository of SageMath

Library providing helpers for the Linux kernel io_uring support

A generic, spec-compliant, thorough implementation of the OAuth request-signing logic

C++ library for zkSNARKs

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup

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

Go implementation of some cryptographic primitives (that fit inside the SNARK field) and compatible with circomlib

zkEVM prover in C++

A CSS layout engine

TypeScript framework for zk-SNARKs and zkApps

Noir is a domain specific language for zero knowledge proofs

Truly independent web browser

Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

SDL2 bindings for Rust

🦀 A peer-reviewed collection of articles/talks/repos which teach concise, idiomatic Rust.

⚓ Solana Sealevel Framework

Compiler for the C3 language

Optimized C library for EC operations on curve secp256k1

Framework for building smart contracts in Wasm for the Cosmos SDK