Ethereum Research

Mechanized Proofs for Atomic Cross-Domain State Synchronization (opens in new tab)

When an asset exists on several domains at once, its state has to be coupled across those domains in some form. The case this post is about is the one where that coupling must be causal, not merely observational. If a state transition that takes effect in one domain fails to reach another, the interval in between becomes an undefined region for both markets and regulators, and the two domains start treating the same asset as two different facts. Existing cross-domain message-passing infrastru...

Read the original article
Sign in to keep reading the full article.

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help