What’s the key difference between ETH Casper and RChain Casper? Why not just build on top of Ethereum and Casper?

In short, the main reason not to build on top of Ethereum is in order to have formal verification at all levels. i.e. There will always be some math which can prove to us that any given part of the system is bug-free. The foundation of RChain is Reflective Higher Order Calculus, which enables the creation of ‘correct-by-construction’ contracts. From system contracts to Casper Consensus, RChain contracts will be backed by formal verification, giving users some guarantees on what these contracts do.

Leave a comment

Your email address will not be published. Required fields are marked *