KZG commitments over BLS12-381
MIT License
Statistics for this project are still being loaded, please check back later.
BLAS for Rust
Safer wrappers over ktls-sys
A rust implementation of AlphaZero algorithm
Rust Language Cheat Sheet - https://cheats.rs
Rust bindings to NetBSD's cBPF JIT engine
Rust crate for BLS signatures
Low-level rust bindings to the Z3 SMT solver
examples for bellman zk-snarks library
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Bindings to liblzma in Rust (xz streams in Rust)
Rust rules for Bazel
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Zero-knowledge proof acceleration with GPUs for C++ and Rust
Implementation of ethereum's `ssz`