risc0 / risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
https://risczero.com
Apache License 2.0
84 stars 17 forks source link

WEB3-77: add message-passing example #194

Closed capossele closed 2 weeks ago

capossele commented 2 months ago

This PR adds an example using the Steel library to do secure and efficient OP-compatible message passing. It also showcases a bookmarking block commitment validation technique, by saving the target block hash to the contract state before generating a Steel proof that targets that specific block.

Finally, it revamps the Block commitment validation section of the Steel README

Closes WEB3-77

Wollac commented 1 month ago

With #228 we now have proper e2e tests for Block and Beacon commitments, so maybe leave it at that for now until we add support for Beacon commitments into the message passing.

nategraf commented 2 weeks ago

Closed as the mechanisms here will be replaced by the OP Steel implementation https://github.com/risc0/risc0-ethereum/pull/267