Skip to content
This repository has been archived by the owner on Aug 6, 2024. It is now read-only.

WIP: Adding a script to fetch data from a RPC provider & then verify the EVM STF inside a zkVM program #1

Closed
wants to merge 7 commits into from

Conversation

puma314
Copy link

@puma314 puma314 commented May 14, 2024

No description provided.

use reth_evm::execute::{BlockExecutionOutput, BlockExecutorProvider, Executor};
use reth_interfaces::executor::BlockValidationError;
use reth_primitives::{Block as RethBlock, ChainSpecBuilder, Receipts, B256, MAINNET};
use reth_provider::{BundleStateWithReceipts, ProviderError};
Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It would be nice if we could move these functions out of reth_provider, since that is not so friendly to import in a zkVM and BundleStateWithReceipts seems import to computing the state root.

use alloy_rpc_types::EIP1186AccountProofResponse;
use reth_primitives::B256;
// TODO: we need to be able to import `ProviderError` from `reth_provider` in the zkVM.
use reth_provider::ProviderError;
Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we move this error into reth_primitives so that we can import it in WitnessDB? Because reth_provider is not that nice to compile inside zkVM.

@github-actions github-actions bot closed this Jun 15, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants