Casper ZK with Risc Zero

This is the example of the risc0 proof verification on Casper. See this blog post for full story.

Install

You should install:

• just
• wabt
• cargo-odra
• casper-client

Run

Generate the prove and test it against local Casper VM.

$ just run

Use on Casper Livenet

First add your Casper keys to keys directory.

Install the Verifier contract on chain.

$ just deploy-verifier

Obtain the contract hash (via integration.cspr.live) and call the verify method.

$ just call-verify hash-123...def