Mundo CARDANO: SundaeSwap acuerda con Runtime Verification para ser auditado
SundaeSwap Labs ha elegido Runtime Verification, Inc. para realizar una auditoría de seguridad exhaustiva del protocolo SundaeSwap antes de su lanzamiento público. Runtime Verification utiliza técnicas basadas en verificación para realizar auditorías de seguridad en contratos inteligentes. Runtime Verification se especializa en métodos formales y es el principal responsable de mantenimiento de K Semantics Framework. RV especifica, modela y verifica tanto el código como los diseños utilizando la lógica formal, validando las propiedades de un contrato inteligente frente a entradas tanto concretas como simbólicas.
Si bien la ADA ha sido considerada por muchos como una de las criptomonedas más resistentes y seguras que se comercializan actualmente, todos los ojos estarán puestos en Cardano a medida que se implementen los contratos inteligentes, y las pruebas, auditorías y verificación exhaustivas de todos los proyectos de Cardano serán fundamentales para mantener confíe en la plataforma floreciente.
La reputación incomparable de Runtime Verification, con sede en Urbana, Illinois, y la colaboración de larga data con Input Output Global (IOG), una de las compañías de ingeniería e investigación de infraestructura blockchain más importantes del mundo, lo convirtió en una elección fácil para el equipo de SundaeSwap Labs.
"Confiamos en que Runtime Verification no dejará piedra sin remover en su auditoría del protocolo SundaeSwap, y que con su entrada y verificación, SundaeSwap estará posicionado para ser una plataforma segura para que la comunidad de Cardano la disfrute". dijo Artem Wright, cofundador de SundaeSwap Labs.
El informe de auditoría que proporcionará el equipo de Runtime Verification aplicará métodos formales para evaluar y ayudar a SundaeSwap a mejorar la seguridad, confiabilidad y corrección de su sistema.
https://sundaeswap-finance.medium.com/a-taste-of-red-velvet-sundaeswap-runtime-verification-eb9ef097d648
Cafecito