Command-line sampling profiler for macOS, Linux, and Windows

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

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

Rust implementation of the Ethereum Virtual Machine.

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

The Parity Polkadot Blockchain SDK

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Horus, a formal verification tool for StarkNet smart contracts.

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

DEPRECATED in favor of https://github.com/madara-alliance/madara

Duniter v2 based on Substrate framework. Contributions only on our gitlab: https://git.duniter.org/nodes/rust/duniter-v2s

An Ethereum-compatible smart contract parachain on Polkadot

Experimental blockchain database

Empowering everyone to build reliable and efficient software.

Left Recursive PEG for rust

IntoAsyncRead on steriods

Substrate: The platform for blockchain innovators

Schnorr VRFs and signatures on the Ristretto group

Polkadot Node Implementation

A super minimal wrapper around unix sockets for IPC.

Rust thread-pool implementation optimized to minimize latency.

A pool and permits for limiting the number of concurrent blocking operations

A cross-platform GUI library for Rust, inspired by Elm

A library for generating efficient Merkle tree and Merkle proof based on complete binary tree

Reference mobile app for BrightID

The Rust Implementation of the libp2p networking stack.

Cryptographic toolkit for DUBP and DUNP protocols. THIS IS A MIRROR REPOSITORY. Official repository is here: https://git.duniter.org/libs/dup-crypto-rs