ZKAP

A serial of static analysis detectors of ZK bugs.

Installation From Docker

This docker file is built on Ubuntu 20.04, X86_64 platform. It requires a free disk of around 100 GB and free memory of around 32 GB. If your machine doesn't have those resources, you could modify line 23 of the Dockerfile to use only one parallel for LLVM linking.

docker build -t zkap:latest .
docker run -it zkap

Usage

To reproduce the evaluation of ZKAP paper:

python ./eval.py

Because of new bugs introduced by LLVM and Circom updates, a few benchmarks (around 10) are broken, we will fix them later.

To test on your own circuits:

python ./eval_detect.py --help
python ./eval_detect.py -i ./project -o ./output

Dataset

Google Sheet

Citation

This paper is accepted by USENIX Security '24 Pre-print version TODO

About

MIT License

Languages

Language:Circom 74.6%Language:Rust 11.4%Language:TypeScript 4.3%Language:JavaScript 4.1%Language:Jupyter Notebook 2.3%Language:Solidity 1.5%Language:C++ 0.8%Language:Shell 0.6%Language:Python 0.5%Language:CSS 0.0%Language:Dockerfile 0.0%Language:CMake 0.0%