@StarkWareLtd The validity of the computation is guaranteed by sending a zero-knowledge proof (STARK proof) alongside the state update that is verified by an L1 Verifier contract.
@StarkWareLtd通过发送零知识证明（STARK证明）以及由L1验证器契约验证的状态更新来保证计算的有效性。
@StarkWareLtd The validity of the computation is guaranteed by sending a zero-knowledge proof (STARK proof) alongside the state update that is verified by an L1 Verifier contract.
@StarkWareLtd通过发送零知识证明（STARK证明）以及由L1验证器契约验证的状态更新来保证计算的有效性。