zkcg-zkvm-guest 0.2.0

RISC0 zkVM guest program for proof execution in the ZKCG framework
zkcg-zkvm-guest-0.2.0 is not a library.

zkcg-zkvm-guest

Guest program for zkVM proof execution in the ZKCG framework.

This crate runs inside the RISC0 zkVM and executes the verification logic used to produce a verifiable computation proof.

Installation

cargo add zkcg-zkvm-guest

Usage

The guest program executes inside the zkVM and commits the verification result to the journal.

Input → zkVM guest execution → Journal commitment

The host runtime reads the journal and produces the proof receipt.

Repository

https://github.com/MRSKYWAY/ZKCG