A list of statements we consider to be true and will guide our work.
See also Hypothesis List.
-
Trust-minimized bridges don't really exist in the presence of hard forks, though mitigations are possible.
-
If safety is to be guaranteed, bridging speed is bound by the finality delay of the source chain, unless the destination chain re-orgs whenever the source chain re-orgs (e.g. rollups).
-
Fully-general atomic message-passing is not achievable with third-party bridges.