Runtime Verification is pleased to announce the successful completion of its engagement with PlatON Networks. This engagement focused on verifying the safety property of PlatON’s Giskard Consensus Protocol using the Coq proof assistant. The Giskard consensus protocol is used to validate transactions and computations in the PlatON network.
Runtime Verification is excited to announce a new engagement with PlatON Networks, a privacy protecting new generation of public chain sponsored by LatticeX Foundation (Singapore). PlatON was forked from Ethereum, reborn with a brand new consensus algorithm and PlatON POS (proof of stake). The focus of this engagement is the formal modeling of PlatON’s Concurrent Byzantine Fault Tolerance (CBFT) protocol and verification of two mission critical properties - safety and liveness. The latter will likely be spread out over two different engagement phases.
Runtime Verification, a premium provider of formal verification services announced that it has joined the Enterprise Ethereum Alliance (EEA), the defacto standards organization for enterprise blockchain – one that is backed by the largest developer community in the world and a worldwide member-base.
As a member of the EEA, Runtime Verification will collaborate with industry leaders in pursuit of Ethereum-based enterprise technology best practices, open standards, and open-source reference architectures.