Command line interface for supplying proofs to the Nexus network.

Simple, powerful and flexible site generation framework with everything you love from Next.js.

Verified Rust for low-level systems code

Kani Rust Verifier

A library to capture canvas-based animations at a fixed framerate

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

A curated list of zero-knowledge folding schemes

Nova: High-speed recursive zero-knowledge arguments from folding schemes

C++ library for IOP-based zkSNARKs

A pure-Rust implementation of Bulletproofs using Ristretto.

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

A curated list of Rust code and resources.

Audited & minimal JS implementation of elliptic curve cryptography.

Implementation of the BLS12-381 pairing-friendly elliptic curve group

Multilingual BLS12-381 signature library

Apache Milagro Crypto Library - Rust Version

Ethereum consensus client in Rust

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Multy-party threshold ECDSA (GG20) Substrate node