Smol SNARK based on (Why and How Zksnark works) : https://arxiv.org/abs/1906.07221. Only supports mul and non negative constraints. Not suitable for production use.
Ensure you have Rust and Cargo installed. To install the project, run:
git clone https://github.com/Saksham010/Pikachu
cd Pikachu
cargo build Specify your constraint/circuit for computation in circuit.pika file in root folder. Only supports multiplicative constraint as of now Eg:
Run trusted setup to generate proving and verification key. Doesn't support adding randomness:
cargo run -- trusted-setupTwo binary files proving_key.bin and verification_key.bin will be generated in the root directory
Honest prover will provide valid constraint/circuit for computation in prover/prover_polynomial.pika file that matches to that of the agreed circuit during trusted setup. In prover/witness.json provide all the values for involved variable in the circuit and their computed values. Eg:
Proof generated form the values that does not satisfy the constraint is rejected
Generate proof by running:
cargo run -- proverCopy the proof string.
Honest verifier will run the recieved proof with the verifier algorithm.
cargo run -- verifer REPLACE_WITH_PROOFThe verification algorithm will output whether the proof is valid or not in the console.
- Contribute randomess in the setup ceremony
- Support for add,sub,div constraints