Repository contains implementation for onchain zero-knowledge proof verification.
We aim to provide solidity implementations of:
- Atomic query MTP validator
- Atomic query Signature validator
- ZKP Verifier standard
Also, it contains the example of ERC20 based smart contract with enabled zkp verifications for token transfers.
Current addresses on Polygon Mumbai testnet.
| Sig | MTP | |
|---|---|---|
| Validators | 0xF2D4Eeb4d455fb673104902282Ce68B9ce4Ac450 | 0x3DcAe4c8d94359D31e4C89D7F2b944859408C618 |
| ERC20 examples | 0x9017a99afb69CB7B21C7DD29827b4762DECD53FD | 0x3Bf7f4774DC3f92431fA690fa000f636562dCC18 |
Current addresses on Polygon Main. (ERC20 example with airdrop use case, restricted to 1 request)
| Sig | MTP | |
|---|---|---|
| Verifier | 0x6f6E19781600d6B06D64A6b86431FB7dB3E919e0 | 0x9DB901F3AFdAAA73F5B2123B186F566fA3Ed1551 |
| Validators | 0x9ee6a2682Caa2E0AC99dA46afb88Ad7e6A58Cd1b | 0x5f24dD9FbEa358B9dD96daA281e82160fdefD3CD |
| ERC20 examples | 0x8732e29eE329fD19Ff868a3Df3D5F6A3116027A2 | 0x5c31BB88AA57C69FF537C5d86102246D61712C90 |
ERC20 examples with airdrop use case, not restricted
| Sig | MTP | |
|---|---|---|
| Validators | 0x9ee6a2682Caa2E0AC99dA46afb88Ad7e6A58Cd1b | 0x5f24dD9FbEa358B9dD96daA281e82160fdefD3CD |
| ERC20 examples | 0x7C14Aa764130852A8B64BA7058bf71E4292d677F | 0xa3Bc012FCf034bee8d16161730CE4eAb34C35100 |