zk-mini

Implementation of a minimal ZK system.

Features

• Basic ZK system : /v0 branch
• Make the system succint - QAP : /v1 branch
• Test with multiple mock R1CS constraints
• Make the system trustless - Trusted Setup
• Verification of the trusted setup
• Support for public witnesses
• Test for multiple general set of R1CS constraints
• Generate constraints from a program