NiftyZK aims to make the development of zero knowledge proof based smart contracts more straight forward by wrapping existing tools and adding more features on-top of them. It’s a scaffolding tool that helps you get started, compiles circom circuits, lets you host phase-2 Powers of Tau ceremonies, Testing based, and generates CosmWasm compatible verifier smart contracts from your circom circuits.
Supports Groth16 and BN128 and CosmWasm contracts using Arkworks and Bellman (Dorafactory fork version) Rust libraries and contains a webserver to host a Powers of Tau Phase-2 ceremony.
The roadmap includes more options when generating circuits from templates, tooling to work with merkle trees and more options when generating smart contracts.
Github link: https://github.com/NiftyZk/niftyzk