https://github.com/BitVM/zkCoins

Experimenting with recursive circuits in Plonky2 for zkCoins
https://github.com/BitVM/zkCoins

Last synced: 3 months ago
JSON representation

Experimenting with recursive circuits in Plonky2 for zkCoins

• Host: GitHub
• URL: https://github.com/BitVM/zkCoins
• Owner: BitVM
• Created: 2023-06-08T14:53:45.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-02-26T01:28:29.000Z (12 months ago)
• Last Synced: 2024-08-01T21:42:17.761Z (7 months ago)
• Language: Rust
• Homepage: https://gist.github.com/RobinLinus/d036511015caea5a28514259a1bab119
• Size: 10.7 KB
• Stars: 7
• Watchers: 7
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• awesome-bitvm - ZkCoins

README

        
# 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