Monday January 25, 2021
Bitcoin (BTC) $33,250.00   Ether (ETH) $1,431.25
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas.net
No Result
View All Result
Home Networks & Protocols

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

The Elrond research and development team will work closely with Runtime Verification to further develop the K framework and its capability to generate correct-by-construction Virtual Machines for the blockchain...

Published by CryptoNinjas.net
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 Framework, developed by Grigore Rosu while at NASA and the University of Illinois at Urbana Champaign, as the backbone for all of its smart contract languages. Grigore has continued development of K Framework with his team at Runtime Verification which specializes in formal methods.

Building on this, Elrond has developed an in-house GO backend to integrate the IELE VM, which is designed by the Runtime Verification team, and constructed entirely on the K Framework. Elrond is also working to integrate KEVM and WASM in a similar fashion. Having the VMs built using the K Framework gives Elrond access to powerful formal verification tools.

“We at Runtime Verification are very excited to see Elrond’s commitment to not only use, but also contribute to the development of the basic infrastructure of the K Framework. Although “formal verification” is now a buzzword in the blockchain community, in reality, few blockchain companies genuinely understand the critical, almost desperate need of formal specification and verification of smart contracts. And even fewer understand that this starts with the formal modeling of the programming languages and virtual machines, and that formal analysis tools tend to be buggy, too, unless they are derived from such formal models. Elrond takes security at heart and follows the best-known practices to assure safe and secure operation of their blockchain.”
– Grigore Rosu, CEO of Runtime Verification

Through the research and development initiative between Elrond and Runtime Verification, Elrond aims to take smart contracts to the next level, and to make the GO backend developed by Elrond for the K framework, open-source and available to the wide public.

Other Runtime Verification contributors and supporters include Ethereum, Algorand, IOHK, Casper, Maker DAO, Gnosis, Toyota and many others.

“Elrond brings a significant improvement to the blockchain space, setting new performance standards in terms of throughput and execution speed. In addition to performance, we believe dev tools and security measures like formal verification methods are instrumental for developers. Through the partnership with Runtime Verification, we intend to raise the security standard by adding formal verification to our smart contracts, while integrating K framework to support several VMs and smart contract languages at the same time.”
– Beniamin Mincu, CEO of Elrond

FacebookTwitterLinkedinRedditE-MailTelegram

Related Posts

After announcing launch of payments app, Elrond eGold (EGLD) lists on eToroX

12/15/2020

Elrond launches mainnet with first app and updated tokenomics 

07/30/2020
Runtime Verification enters a protocol verification agreement with PlatON blockchain

Runtime Verification enters a protocol verification agreement with PlatON blockchain

03/09/2020
Elrond and Neurolabs explore blockchain technology with retail automation

Elrond and Neurolabs explore blockchain technology with retail automation

01/29/2020
Elrond blockchain to help solidify crypto liquidity aggregator Orion

Elrond blockchain to help solidify crypto liquidity aggregator Orion

11/28/2019

Elrond blockchain to anchor data on supply chain tracking app TailPath

11/12/2019
Load More

Discussion about this post

Recent Updates

Blockchain supply chain solution SUKU releases social impact DeFi protocol

Crypto wallet Cobo adds support for Binance Smart Chain

Prediction market platform Omen to integrate crypto data oracles from API3

Mirror Protocol brings synthetic stock asset exposure to Binance Smart Chain

Crypto exchange Upbit shows over 100% user fund capitalization in audit report

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit

Trending Views

Billions of dollars in bitcoin becomes available to creditors of Mt.Gox bitcoin exchange

Zilliqa tokenizes rare single-malt scotch whisky casks, now available to accredited investors

Crypto payment and wallet project TenX shuts down

GateHub launches Wallet Protect to cover up to $100K for XRP ledger wallets

Fenbushi Capital launches $15M+ investment fund for Filecoin and IPFS ecosystem

  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2021 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

© 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version