Développés sur 15 ans pour aider à garantir la sécurité et l’exactitude des programmes informatiques à l’aide de méthodes formelles, le cadre et les outils de vérification d’exécution de haut niveau, précédemment lancés à la NASA, sont devenus une base indispensable pour le développement du protocole Elrond, de ses composants de base et les applications fonctionnant dessus.
Notre étroite collaboration avec l’équipe Runtime Verification est liée à notre approche commune des tests et des audits, contrairement aux pratiques établies de l’industrie, qui impliquent généralement des audits sur le dernier kilomètre pour obtenir le statut « audité par X ».
Nous avons donc travaillé ensemble au fil des années avec une approche sécuritaire en tête, en empruntant la voie de l’audit continu qui nous a permis de multiplier la valeur ajoutée de ce type de collaborations, avant et même après les lancements.
Aujourd’hui, nous sommes ravis d’annoncer que Runtime Verification a étendu son engagement envers l’écosystème Elrond en devenant des fournisseurs de jalonnement, en offrant des services de délégation EGLD non dépositaires et en contribuant davantage à la sécurité et à la décentralisation du réseau.
Le pool de jalonnement non dépositaire Runtime Verification compte actuellement 5 nœuds actifs et offre ± 11 % APR avec une limite de délégation plafonnée. Vous pouvez trouver plus de détails sur RuntimeVerification en tant que fournisseur de jalonnement vérifié sur l’explorateur Elrond : https://explorer.elrond.com/identities/rvstaking
À propos de la vérification d’exécution
Runtime Verification est une startup technologique basée à Champaign-Urbana, dans l’Illinois. La société utilise des techniques basées sur la vérification d’exécution pour effectuer des audits de sécurité sur des machines virtuelles et des contrats intelligents sur des chaînes de blocs publiques. Il se consacre à l’utilisation de son approche d’analyse logicielle dynamique pour améliorer la sécurité, la fiabilité et l’exactitude des systèmes logiciels dans le domaine de la blockchain.
MultiversX • Le portefeuille crypto révolutionnaire 