KZG commitments over BLS12-381
MIT License
A library for KZG commitments over BLS12-381 in Rust.
Uses blst for the curve operations.
WARNING: has not been audited/reviewed for security. Do NOT use in production.
HACL*, a formally verified cryptographic library for Rust (binding to hacl-c).
Zero-knowledge proof acceleration with GPUs for C++ and Rust
Safer wrappers over ktls-sys
Rust bindings to NetBSD's cBPF JIT engine
examples for bellman zk-snarks library
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 For...
Low-level rust bindings to the Z3 SMT solver
Bindings to liblzma in Rust (xz streams in Rust)
Rust crate for BLS signatures
Rust Language Cheat Sheet - https://cheats.rs
Rust rules for Bazel
Implementation of ethereum's `ssz`
A rust implementation of AlphaZero algorithm
BLAS for Rust