IntersectMBO / IntersectMBO/mithril
Halo2 SNARK verified on chain PoC
Open
cryptography :closed_lock_with_key:
stale :calendar:
- Dominant language
- Rust
- Stars
- 154
- Forks
- 51
- Avg merge
- 1d 23h
- Merged PRs (30d)
- 38
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
Contributor guide
Assessment
This issue has not been assessed yet.