Based on two social discussions on Reddit, IOHK based in Hong Kong, the parent company of Cardano and Ethereum Classic blockchains, published a detailed comparison between Casper and Ouroboros, two stake test protocols.
IOHK Hits Out
19659003] Starting from the basics, IOHK found that Ouroboros is duly analyzed and contains a formally specified hypothesis to guarantee the security guarantee. The demonstrations, model projects and descriptions of the mechanisms are all made public, thus making available the properties of the protocol, the proof of correctness and the underlying assumptions.
The Ouroborous protocol, as reported in the official statement, provides the possible guarantees "as regards the holdings that validate transactional transactions.
For the purposes of this comparative study, IOHK referred to the original version of Ouroboros published in 2017, including most of the comments from Praos and Genesis updates and the Friendly Fidelity Gadget (FFG) for Casper, also published in 2017.
IOHK underlined the absence of published sources, publicly available in the Casper protocol confirming its mode of operation or demonstration of verifiable guarantees on the system In this regard, the foundation stated that Casper provides "much weaker guarantees" on the opposing actions necessary to manage the blockchain network, as well as publishing further points for demonstrate their protocol as superior.
Casper & # 39; s Woes
For the non-start ti, Casper is an innovative pole test system defined by Ethereum developer Vlad Zamfir in November 2017. The protocol is based on all validators that target part of their ethers to block validation transactions; reward the bigger stakers with a higher reward and vice versa.
Mischievous actors are quickly identified and added to the system, which triumphs over a labor proof protocol mitigating the risk deriving from the extraction  groups participating in the feared attack of 51%.
The foundation has collected several aspects to compare, some of which are listed below:
Falsifiability of Claims
In the Ouroboros protocol, the participant's programs are continuously defined by the system, including interactions, transactions, executions and communications with others. This prevents a system corruption by nefarious participants. Furthermore, the model helps to satisfy mathematically formulated security guarantees and life properties for the protocol.
IOHK believes that such a system is immensely well defined and leaves nothing to "reader's interpretation or perspective". On the contrary, the foundation states that Casper has no publicly available documents or models, making it "impossible" to demonstrate the "correctness" of the protocol Ethereum .
The statement added:
"The insight of good design and best effort are just not enough when a protocol of consent of the registry is able to transport assets worth billions."  Consent of the "proven" ledger
In terms of the consensus of the ledger, IOHK defines the protocol of Ouroboros as "proven" to the vividness under clearly defined hypotheses. However, Casper is simply an improvement of the PoS on top of a "block proposal mechanism" of the PoW, which means that the security of the system depends on the security of the proposed mechanism.
IOHK pointed out that Casper's authors have noted that "a total compromise the block proposal mechanism will prevent Casper from finalizing new blocks", adding that some versions of the Casper protocol, such as Casper FFG-RPJ, are "incomplete" "and not accompanied by any verifiable security mechanism.
IOHK compared its Hydra protocol with one of the Ethereum the most anticipated updates – Sharding – a proposed mechanism that validates transactions through the nodes specific for defined geographies in place of the globe. On paper, the protocol is set up for parabolic scale transactions since a large amount of processing power enters the system.
It is said that Hydra will be released shortly, along with a detailed white paper that describes the problems solved, implemented solutions, used mathematical functions and evidence of all the tests used.
Meanwhile, IOHK has defined the lack of documentation of Sharding's updating in terms of protocol description and quantifiable security tests.
Cover photo by Rob Bye on Unsplash
Disclaimer: The opinions of our writers are exclusively their own and do not reflect the opinion of CryptoSlate. None of the information you read on CryptoSlate should be taken as investment advice, nor does CryptoSlate approve any projects that may be mentioned or linked in this article. Buying and exchanging cryptocurrencies should be considered a high-risk activity. Please do your due diligence before taking any action related to the contents of this article. Finally, CryptoSlate assumes no responsibility in case of loss of money by trading cryptocurrencies.
Did you like this article? Join us.
Get blockchain news and crypt insights.
Follow @crypto_slate Join us on Telegram