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.