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
A toolkit for polynomial IOPs (PIOPs)
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team