在Rollup方案中，L1链是负责进行仲裁的链，而L2链是负责执行智能合约的链。当发生争议时，L2的挑战方需要提交执行前和执行后的状态给L1进行仲裁。

为了确保L1知道L2验证者提交的VM状态、指令和数据属于当前争议的Rollup块并且是正确的，通常采用以下机制：

提交证明：L2的挑战方需要向L1提交争议相关的证明。这些证明通常包括执行前状态、执行后状态以及执行的指令和数据。这些证明可以是一些加密哈希值、Merkle树的路径或其他形式的验证信息。

状态验证：L1会验证挑战方提交的执行前和执行后的状态是否有效。这通常涉及对状态的哈希值进行验证，以确保状态没有被篡改。

指令和数据验证：L1会验证挑战方提交的指令和数据是否在执行过程中被正确执行。这可能涉及对指令的执行过程进行模拟，以确保执行结果与挑战方提交的结果一致。

争议仲裁：一旦L1验证了挑战方提交的证明，并确认其有效性和正确性，L1将进行争议的仲裁。这可能涉及与其他验证者的比对，或者根据共识规则进行判断。

通过以上机制，L1能够对L2验证者提交的VM状态、指令和数据进行验证和仲裁，以确保争议的解决是基于正确的信息和规则进行的。这样可以确保整个Rollup系统的安全性和可信度。