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 | 0xb1e86C4c687B85520eF4fd2a0d14e81970a15aFB | 0x217Ca85588293Fb845daBCD6385Ebf9877fAF649 |
| ERC20 examples | 0x752A8f2Fd1c5FC5c9241090BD183709D4591D4cb | 0x16b2e8653c7dCFd221114A7e1664D3c884f03090 |