Plonky2 Experiments

Trying out recursive circuits in plonky2 for zkNano/zkCoins

Useful Resources

• Simple example: https://polymerlabs.medium.com/a-tutorial-on-writing-zk-proofs-with-plonky2-part-i-be5812f6b798
• Hash chain IVC example: https://docs.rs/plonky2/latest/src/plonky2/recursion/cyclic_recursion.rs.html#136-155
• Plonky2 Repo: https://github.com/mir-protocol/plonky2/tree/main