Stars
SAFEFL: MPC-friendly Framework for Private and Robust Federated Learning
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
This library is archived; see crypto-primities for the latest version of this code
A pure Rust PLONK implementation using arkworks as a backend.
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Submission for https://www.zprize.io/prizes/accelerating-msm-operations-on-gpu-fpga
Interfaces for Relations and SNARKs for these relations
Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference
A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
A Rust library for polynomial commitments
A polynomial commitment implementation of Hyrax based on BLS12-381 elliptic curve.
Manage and switch between Solidity compiler versions
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
A STARK prover and verifier for arbitrary computations
Spartan: High-speed zkSNARKs without trusted setup
A Privacy-Preserving Framework Based on TensorFlow