Le passage à un système financier mondial fonctionnant sur la technologie blockchain représente une opportunité de plusieurs billions de dollars, ainsi qu’un défi de sécurité important. La norme de facto de l’industrie du logiciel consistant à atténuer les risques par des essais et des erreurs est soumise à des limites inhérentes, qui doivent être surmontées pour construire une couche d’infrastructure décentralisée véritablement sécurisée.
Chez Elrond Network, nous convenons qu’un changement de paradigme est nécessaire dans les tests logiciels, pour être en mesure d’aplanir les bugs subtils et les défauts logiques dès la phase de conception. Nous avons donc commencé à collaborer avec Runtime Verification dès le début, en tirant parti de leur expérience formelle de vérification pour construire des outils qui sont vérifiés avec précision et rigueur mathématiques.
Runtime Verification a été le pionnier d’une méthodologie de vérification formelle pour le développement de logiciels au cours des 20 dernières années. Il a été lancé à la NASA et a progressivement fait son chemin dans l’espace blockchain, où il est peut-être le plus nécessaire, en raison de la complexité croissante qui accompagne la composabilité intelligente des contrats et les architectures blockchain.
Nous sommes heureux d’annoncer que nous avons pris un engagement à long terme envers les méthodes et outils formels, développés par Runtime Verification. Ainsi, Elrond Research a fait un investissement stratégique dans le cycle de financement de série A de 5,3 millions de dollars américains de VR.
« Nous sommes ravis de pouvoir obtenir une voix pour le réseau Elrond au cœur du développement de ce que nous croyons être des outils essentiels pour l’avancement de l’espace blockchain général. Notre investissement stratégique dans la vérification de l’exécution vise à la croissance durable des méthodologies et des devkits qui sont déjà intégrés dans les pratiques de base impliquées dans la construction du protocole Elrond et des outils connectés », a déclaré Beniamin Mincu, PDG d’Elrond Network.
En savoir plus sur le cycle de financement de la vérification de l’exécution de 5,3 millions de dollars américains et son importance :
• https://www.coindesk.com/runtime-verification-iosg-ventures-funding-round
• https://twitter.com/RosuGrigore/status/1405917218035097600
• https://twitter.com/xinshudong/status/1405880245488549895
À propos de Runtime Verification Inc.
Fondée en 2010 par des pionniers dans le domaine universitaire, Runtime Verification Inc est une start-up américaine présente mondiale, appliquant des méthodes formelles pour améliorer la sécurité, la fiabilité et l’exactitude des systèmes informatiques pour l’aérospatiale, l’automobile et la blockchain. L’entreprise travaille avec des constructeurs d’infrastructures pour fournir des services de test et de vérification, et a acquis de nombreux clients dans les mondes embarqués (NASA, Boeing, Toyota, Denso, NSF, DARPA) et blockchain (Algorand, Cosmos, Elrond, Ethereum, Gnosis, IOHK, Maker, PlatON, Polkadot, Tezos et Uniswap).
La mission de l’entreprise est l’informatique fiable accessible. Runtime Verification se spécialise dans la génération automatique d’implémentations et d’outils corrects par construction, à partir de leurs spécifications. L’une des technologies uniques de la start-up est K, un cadre sémantique pour la conception, la mise en œuvre et le raisonnement formel. K permet aux concepteurs de langages de définir formellement leur langue à l’aide d’une notation intuitive et de générer librement les implémentations et les outils d’analyse de ce langage défini.
https://runtimeverification.com
Instructions étape par étape – Acheter Elrond EGLD via l’application Maiar
MultiversX • Le portefeuille crypto révolutionnaire 