Join Our Mailing List
Tuesday May 30, 2023
Bitcoin (BTC) $27,685.42   Ethereum (ETH) $1,890.24
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
Trezor Model T
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
Home Vendor Technology

Runtime Verification enters a protocol verification agreement with PlatON blockchain

Published by CryptoNinjas.net
03/09/2020
Runtime Verification enters a protocol verification agreement with PlatON blockchain

Runtime Verification is excited to announce a new engagement with PlatON Networks, a privacy-protecting new generation of public chain sponsored by the 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.

“To say we are excited to engage with PlatON Networks is an understatement. We began conversations with their team in late 2019 about how and where our two companies could engage. Although we discussed various opportunities, including those related to writing and verifying programs written in web assembly (WASM), we eventually settled on protocol verification as a good place to start what will hopefully become a long-term collaboration and partnership.”
– Patrick MacKay, Runtime Verification’s Chief Operating Officer

CBFT is PlatON Network’s consensus protocol. It derives from several existing protocols, but also introduces new technologies that aim at improving efficiency and scalability of the network, including perhaps most importantly the concurrent production of blocks in one round.

As in other consensus protocols, two fundamental requirements ensuring the protocol’s security and proper operation are safety and liveness. Formally modeling the protocol and verifying these two properties provides a high level of assurance of correctness of the protocol’s design and enables making explicit all the assumptions under which the properties are satisfied.

FacebookTwitterLinkedinRedditE-MailTelegram

Related News

PlatON ecosystem network LatticeX Foundation initiates $200M grant program

03/05/2020
PlatON ecosystem network LatticeX Foundation initiates $200M grant program

LatticeX Foundation, a next-generation financial infrastructure to incubate projects that facilitate the development of the LatticeX ecosystem, today announced the initiation of its $200 million grants program. Grants will provide funding and support to all...

Read more

PlatON develops blockchain data tracking solution for used car market

08/29/2019
PlatON develops blockchain data tracking solution for used car market

PlatON, a privacy-preserving computing network, announced it has developed a bespoke blockchain-based ‘Vehicle Residual Value Management Platform’ for the used car business line of Beijing Mercedes-Benz Sales Service Co., Ltd. (BMBS). The platform will...

Read more

Elrond partners with Runtime Verification to take smart contracts to the next level

07/16/2019
Elrond Runtime

Elrond, the recently launched sharding-based public blockchain network, has announced a new cooperation agreement with Runtime Verification for research and development in core areas of formal verification methods. The Elrond team is using the K...

Read more

PlatON’s blockchain-based network to power China’s largest smart city project

06/20/2019
Wanxiang Innova City

Wanxiang, the largest automotive component manufacturer in China, announced it has partnered with PlatON, a global privacy-preserving computing network, to co-develop the data infrastructure for China’s largest smart city project in Hangzhou, slated for...

Read more
Load More
Leave Comment

Where to Exchange

Leading crypto suite in Spain & LATAM Visit
European bitcoin exchange Visit
Swap & buy 150+ cryptocurrencies Visit
First U.S. regulated BTC exchange Visit
  • Trending
  • Latest
RockX broadens suite with launch of new ether (ETH) native staking solution

RockX broadens suite with launch of new ether (ETH) native staking solution

05/23/2023
Where Exactly Can You Spend Monero Cryptocurrency?

Where Exactly Can You Spend Monero Cryptocurrency?

10/20/2021
Token.io launches new spin-out company focused on digital money solutions

Token.io launches new spin-out company focused on digital money solutions

12/10/2019
Quant Network blockchain integrates Constellation for IoT interoperability

Quant Network blockchain integrates Constellation for IoT interoperability

12/03/2019
RockX broadens suite with launch of new ether (ETH) native staking solution

RockX broadens suite with launch of new ether (ETH) native staking solution

05/23/2023
The Sandbox teams with Hex Trust to enable licensed and secure custody of its virtual assets

The Sandbox teams with Hex Trust for licensed, secure custody of its virtual assets

05/10/2023
CoinFlip launches new self-custodial cryptocurrency wallet platform 'Olliv'

CoinFlip launches new self-custodial cryptocurrency wallet platform ‘Olliv’

04/28/2023
Crypto exchange Deribit to launch zero-fee spot trading

Crypto derivatives exchange Deribit to launch zero-fee spot trading

04/20/2023
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2023 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact
No Result
View All Result

© 2016 - 2023 CryptoNinjas Disclosures | Privacy Policy