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!
Since the least discrepancy between the many models in question or their many evaluators would be Ethereum-style million dollar disasters, it all better be specified in Coq with proven-equivalent extractors for the many languages involved.
-
-
All in all, that's work for several researchers and PhD students for several years, much more than "just implementing yet another shitcoin". But the greatest use of Coq, ever, if it happens, with plenty of positive side-effects.
Show this thread -
Last point: each party of every interactive proof must grant its adversary enough time to answer its challenge that censorship on the main chain can reasonably be excluded. And to disincentivize a targeted DDoS, after a timeout anyone can take on the challenge.
Show this thread
End of conversation
New conversation -
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!