taikoxyz / raiko

Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
Apache License 2.0
124 stars 91 forks source link

Refactor the host cli & Cache GuestInput in input.bin #80

Closed CeciliaZ030 closed 6 months ago

CeciliaZ030 commented 7 months ago

Describe the feature request

SGX reads serialized input from input.bin file, while the other ZkVM takes input directly from struct. I left a field to cache serealized input as path: https://github.com/taikoxyz/raiko/blob/f8ba02f5424166225fea0ea4c54aaa3969236858/provers/sgx/prover/src/lib.rs#L27

The same caching method can be used by other guests so that we don't repeatedly run preflight given the same block number. Currently in host there's caching impl for proof, which should be used for input instead.

Spam policy