How to implement distributed consensus for repudiable centralized side-chains in Tezos? @ArthurB suggests not a protocol amendment but a (very) smart contract! Completely possible, but quite a challenge: interactive proofs with mutual reflective yet evolving models of the chains!
-
Show this thread
-
Taking money out involves a contract on the main chain that, if the manager doesn't fulfill it cheaply and promptly, can be automatically fulfilled at the manager's expense. Disputes are resolved via interactive proofs paid by the loser — Game Semantics FTW!
1 reply 0 retweets 1 likeShow this thread -
Issue: anchoring the side-chain into the main-chain requires interactive proofs of mutual properties of both chains. Solution: each chain must thus offer a logically consistent model of its own evolving semantics as an API to the contract language.
2 replies 0 retweets 2 likesShow this thread -
Replying to @Ngnghm
Like a completely automated git merge? What are the necessary constraints?
1 reply 0 retweets 0 likes
Like proof that each blockchain contains a recent-enough reference to the other blockchain.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!