Halo2 SNARK verified on chain PoC #2837
Description
Why
We want to review the existing library that verifies SNARK on chain to check if
- It works for any circuit
- It can be automated from Halo2
- Which hash function is being used
What
Review the existing library that verifies SNARK on chain.
How
- Contact Adam to access demo if possible
- Perform test with dummy proof on testnet
- Perform test with real (non-IVC) proof on testnet