Hello everyone! We are reporting back. The job is done. Now a Polygon Miden VM for zkSTARK proof verification is live in an ICP canister (beta). For you to easily access it, we have also made a mini maze game on top of it 
The idea is straightforward:
-
Users run a zk-Program locally in their browser. This can be a calculation of their credit score, an evaluation of their KYC status or, in this case, a proof that they have walked out of a maze. This locally generated ZKP will preserve the privacy of their local data while proving the user meet certain criteria or have some specific attributes.
-
Users send the STARK proof to the zCloak verifier canister to have the proof verified. We have been surprised by the speed and low cost to do this in ICP compared to do it directly in an EVM chain.
-
The verifier canister will sign the verification result with tECDSA and this result can be sent to any EVM chains or even Solana and Sui. As long as the target chain can verify the ECDSA signature, it can consume this ZKP result.
As such, we have a chain abstracted ZKP infrastructure built on ICP.
zCloak Network has only been experimenting building things in ICP for a few months and we are very happy with the results so far. Next up, we will polish the ZKP canister to make it robust and at the same time to use it for our privacy-preserving DID platform.
You can try the game here, and we’d appreciate it if you can like or repost our tweet 