• Write groth16 verifier pallet(using bellman) with Standard and detailed inline documentation
• Detailed Pallet Test
• Write a practical circuit example by circom, and generate proof by snarkjs
• Test the proof of this example on substrate-zk

MileStone1:

• Add groth16 proof system(In this chain, we use bellman lib), Adapt proof of bellman and snarkjs
• Add a practical example with zero knowledge proof(eg: rollup, game or the other application)
• Add document about groth16(theory -> example tutorial)
• Add Docker file

MileStone2:

• Add plonk proof system
• Add a practical example with zero knowledge proof(eg: rollup, game or the other application)
• Add document about plonk(theory -> example tutorial)
• Add Docker file

• part1: Introduction of ZKP
• part2: Groth16
• part3: The using of this pallet(from the proof to verification with snarkjs and circom)

All of this can be linked in the ReadMe file