Skip to content

[Provers N09] Update docs #94

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
luiz-lvj merged 2 commits into from
Feb 24, 2026
Merged

[Provers N09] Update docs #94

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
ce556f4
docs
luiz-lvj Feb 24, 2026
815d089
up
luiz-lvj Feb 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion src/contracts/provers/scroll/ParentToChildProver.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,6 @@ contract ParentToChildProver is IStateProver {

/// @dev Storage slot where ScrollChain stores the finalizedStateRoots mapping
/// mapping(uint256 batchIndex => bytes32 stateRoot)
/// This is slot 7 in the ScrollChain contract (after upgradeable storage gaps)
uint256 public immutable finalizedStateRootsSlot;

/// @dev L1 chain ID (home chain where this prover reads from)
Expand Down
5 changes: 3 additions & 2 deletions src/contracts/provers/zksync/ParentToChildProver.sol
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,10 +115,11 @@ contract ParentToChildProver is IStateProver {
/// @dev Verifies that the L2 logs root hash for a specific batch is stored in the gateway ZkChain contract
/// by checking the storage slot using storage proofs against the home chain block header.
/// @param homeStateCommitment The block hash of the home chain (L1) containing the gateway ZkChain state.
/// @param input ABI encoded tuple: (bytes rlpBlockHeader, uint256 batchNumber, bytes storageProof).
/// @param input ABI encoded tuple: (bytes rlpBlockHeader, uint256 batchNumber, bytes accountProof, bytes storageProof).
/// - rlpBlockHeader: RLP-encoded block header of the home chain.
/// - batchNumber: The batch number for which to retrieve the L2 logs root hash.
/// - proof: Storage proof for the storage slot containing the L2 logs root hash.
/// - accountProof: Account proof for the gateway ZkChain contract.
/// - storageProof: Storage proof for the storage slot containing the L2 logs root hash.
/// @return targetStateCommitment The L2 logs root hash for the specified batch number.
function verifyTargetStateCommitment(bytes32 homeStateCommitment, bytes calldata input)
external
Expand Down