Niftyzk allows you to prototype zkp based verification schemes fast and provides a pipeline for circuit finalization.
You can use ZKP for Account Abstraction, Privacy, Scaling, Identity,Voting, Rollups and other use-cases and the built in scaffolding tool allows you to select the best template suited for each.
Select a commit-reveal scheme for a simple account abstraction or add a merkle tree to it and expand the use-case to privacy and scaling.
EdDSA based verification schemes allow for full abstraction of on-chain signature verification that allows you to create a unique voting system or a Rollup.
Niftyzk is a code generation tool that will give you everything to work with these circuits. It wraps existing tools and adding more features on-top of them.
Niftyzk version 0.1.4 now contains a hot reload development for circom circuits, better compilation, smart contract exporting and full test coverage out of the box.
Niftyzk version 0.2.0 now contains Sparse Merkle Trees for exclusion/inclusion and insert/update/delete proofs.
There are currently 24 different scaffolding combinations, 6 verification schemes + 4 hash functions implemented for them.
It supports Groth-16 proving system and allows you to host Powers of Tau phase-2 ceremonies, Niftyzk contains a built in server for this. You can clone your repository to a VPS and niftyzk ceremony will automatically host your ceremony for you.
Supports Groth16 and BN128 and CosmWasm contracts using Arkworks and Bellman Rust libraries.
Github link https://github.com/NiftyZk/niftyzk
