search

risc0 / risc0-foundry-template

Template for integrating RISC Zero and Ethereum using Foundry and Bonsai
https://risczero.com
90 stars 53 forks source link

Offchain Proving refactor #67

Closed mothran closed 6 months ago

mothran commented 10 months ago

Currently working:

  1. forge test without and bonsai proving using the Mock verifier
  2. Guest code overhaul
  3. Some of the contract fixtures taken from the bonsai/ethereum/ contracts

Broken / not touched:

  1. relay/ and all the rust code components
  2. DEV_MODE + mock verify
  3. DEV_MODE=false + full verify

TODO:

  1. break off the bonsai/ethereum/ contracts to their own repo and make them a submodule. (alternative is keep the risc0 submodule and import them but I would like to drop that bigger submodule)
  2. Wire up the full non-mock verify + bonsai
  3. Add in alloy conversion tooling to bonsai-sdk ala: https://gist.github.com/mothran/95cef9995dfbc47b748d4857c2b703a6
  4. Incorporate the 0.19 update
nategraf commented 6 months ago

This PR is being obviated by #74