risc0 / zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Apache License 2.0
381 stars 68 forks source link

Verify derivation output during composition on host side #94

Open hashcashier opened 9 months ago

hashcashier commented 9 months ago
          I know that it should have been. I was more thinking like a consistency or sanity check especially considering that our tests only run locally.

In that context it would be nice to have a wrapper around env::verify that calls env:verify on the guest and validates the input on the host instead.

_Originally posted by @Wollac in https://github.com/risc0/zeth/pull/69#discussion_r1481369474_