jsnark. A Java library for zk-SNARK circuits
xjsnark. A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)
mirage. A zk-SNARK for randomized algorithms + linear-size universal circuits (https://eprint.iacr.org/2020/278)
