Spartan: High-speed zkSNARKs without trusted setup

Rust-language assets for Zcash

HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…

OCaml DSL for verifiable computation

🎨 Python Echarts Plotting Library

All Algorithms implemented in Python