This repository provides an example smart contract for Hylé, implementing a simple password contract

Please refer to RiscZero's installation guide

RISC Zero provides using a docker setup. Simply run

cargo risczero build --manifest-path methods/guest/Cargo.toml

to build the smart contract.

# to run without generating a proof
RISC0_DEV_MODE=1 cargo run --release
# to generate the proof

Install the Hylé RISC Zero verifier. You can then verify proofs using:

# The verifier currently expects no `0x` prefix. Pass data as base64 values.
cargo run -p risc0-verifier [program_id] [path_to_proof] [initial_state] [final_state]

If the proof is malformed, or doesn't respect the rules of the smart contract, the verifier will return an error.

Once you installed the CLI and got connected to devnet, you should be able to register and execute for your contract.