# Cross-chain Execution Plane Security

#### zkSync Security

zkSync’s validity-proof architecture provides:

* Deterministic block execution.
* Non-probabilistic finality.
* Reorg immunity.
* Guaranteed message ordering.
* Provable correctness of state transitions.

The canonical vault inherits these guarantees and relies on zkSync as the authoritative accounting, settlement, and reconciliation layer.

#### High-Throughput Execution Environments — Security Considerations

Some external execution environments prioritize high transaction throughput and parallel execution, often operating with optimistic pipelines and probabilistic finality characteristics. These environments may exhibit:

* Temporary reorganization windows.
* Increased MEV exposure at high transaction volume.
* Variable confirmation latency under load.

**Security implications:**

* All state originating from these environments is treated as untrusted until validated.
* Reorganizations or execution inconsistencies may impact strategy-level PnL but cannot affect canonical accounting.
* Stale or inconsistent reports are automatically excluded from NAV.
* Returned assets must match expected reconciliation values or are rejected during validation.

#### Low-Latency Execution Environments — Security Considerations

Some execution environments optimize for ultra-low latency and rapid state propagation. These environments may exhibit:

* Extremely fast execution cycles.
* Temporary state inconsistency during high-frequency activity.
* Increased volatility in short-term observable state.
* Higher sensitivity to oracle update cadence.

**Security implications:**

* Strategies operating in these environments are subject to stricter discounting and inclusion thresholds.
* Health signals and reporting frequency requirements are strictly enforced.
* Missing or delayed reporting triggers automatic strategy suspension or state freezing.
* Capital is recalled only after validated reconciliation.
* Failures remain fully isolated and cannot propagate into accounting or other execution environments.

In all cases, execution environments contribute zero implicit trust. zkSync remains the sole authority over accounting correctness, NAV computation, and share semantics. Execution-layer instability may degrade performance or availability, but cannot compromise solvency, asset conservation, or deterministic vault behavior.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://multistake-1.gitbook.io/multistake-docs/documentation/security-model/cross-chain-execution-plane-security.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.