A static analyzer and linter for the Circom zero-knowledge DSL

Public repo for research projects

Include halo2 example circuits

A Symbolic Execution Tool for Cairo

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Reproduce ZKP vulnerabilities

Collection of security reviews of ZK Protocols

A curated list of awesome security resources for ZK.

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

Library of basic circuits for circom

awesome-zkml repository

Circom Circuits Library for Machine Learning

Zero-Knowledge Proof Implementation for Passwords and Other Secrets

A minimal KZG polynominal commitment library with a Solidity verifier

zkSnark circuit compiler

Library built from scratch to implement zk-protocols

A Rust implementation of the Groth16 zkSNARK

zkSNARK implementation in JavaScript & WASM

Automated verification of uniqueness property for ZKP circuits

Privacy-preserving Deep Learning based on homomorphic encryption (HE)

A compiler for homomorphic encryption

Lecture notes for a course on cryptography

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

Open standard for machine learning interoperability

A machine learning compiler for GPUs, CPUs, and ML accelerators