o1js-blobstream
  • Overview
  • Setup & installation
    • Linux
    • MacOS
    • Docker
  • System flow
    • SP1-based Blobstream X
      • Generate SP1 proofs
      • Generate o1js proofs
        • End-to-end in detail
      • End-to-end video
    • Risc Zero
      • Generate o1js proofs
      • End-to-end video
  • Proving systems
  • Other Uses & Future Work
Powered by GitBook
On this page
  1. System flow
  2. Risc Zero

Generate o1js proofs

Instructions to generate o1js proofs from Risc Zero proofs and then verify the o1js proofs in a Mina smart contract.

End-to-end example

There's an end-to-end example in scripts/risc_zero_example which does the following:

  1. Sets the required environment variables (verifier keys, public inputs, etc) using data from the provided Risc Zero proofs.

  2. Generates o1js proofs that verify the Risc Zero proof.

  3. Verifies the o1js proof inside a sample Mina zkapp.

To run the example, execute the e2e_risc_zero.sh script:

./scripts/e2e_risc_zero.sh

To run this end-to-end test with your own Risc Zero proofs, replace risc_zero_proof.json and risc_zero_raw_vk.json with appropriate values.

PreviousRisc ZeroNextEnd-to-end video

Last updated 10 months ago