Orbiter Finance está avanzando activamente en su integración dentro del ecosistema de Ethereum. Recientemente, la compañía publicó en conjunto con Kyle Charbonnet de la Fundación Ethereum, un profesor de la Universidad de California en Santa Bárbara, y Feng Yu (@captain8299), fundador de Nubit, un estudio sobre la seguridad de los puentes entre cadenas, titulado (Scutum: Verificación Temporal para Puentes Cross-Rollup a través de Reducción Orientada a Objetivos). Este artículo fue coescrito por expertos y académicos en el campo de la seguridad en el ecosistema de Ethereum, proponiendo un modelo matemático y realizando un retroceso de los datos en cadena del puente Orbiter de los últimos 2-3 años, con el objetivo de identificar transacciones fraudulentas de manera anticipada mediante modelado. Esta colaboración tiene como objetivo proporcionar apoyo teórico y orientación práctica al sistema Maker de Orbiter.
Contenido central del artículo de investigación
Este artículo explora en profundidad cómo evaluar la seguridad de los puentes entre Rollup a través de un sistema de validadores escalables. El equipo de investigación enfatiza tres puntos clave:
Validadores escalables: La evaluación de Scutum sobre los principales puentes entre Rollup (incluido Orbiter Finance) ha encontrado múltiples vulnerabilidades de día cero. Este enfoque utiliza un marco mult modelo integral, capturando las propiedades temporales de la interacción compleja entre los comportamientos individuales y los diversos componentes. Además, para mejorar la escalabilidad, el artículo introduce un análisis de alcanzabilidad mediante la representación gráfica de contratos.
Construcción del modelo de seguridad: Scutum aproxima la verificación de seguridad temporal a través del análisis de alcanzabilidad de gráficos de contratos, combinando técnicas de análisis de programas. Además, utiliza un ciclo de refinamiento impulsado por conflictos para eliminar falsos positivos, mejorando así la precisión predictiva del modelo en diferentes modelos de puente.
Rendimiento: La herramienta Scutum demuestra un buen rendimiento en tiempo de ejecución, lo que hace que el análisis eficiente sea aplicable a escenarios en tiempo real o casi en tiempo real.
Compromiso con la seguridad
Desde su fundación en 2021, Orbiter ha estado explorando en profundidad la seguridad, comprometido a convertirse en una infraestructura confiable en el ámbito de las cadenas cruzadas. Juson Xia, líder técnico de Vizing, el producto central de Orbiter Finance, comentó: “Nunca dejaremos de construir modelos de puentes cruzados más seguros. Además de identificar proactivamente transacciones fraudulentas potenciales a través de datos en cadena de retroceso, también profundizaremos en la comunicación académica y colaboración ingenieril con Ethereum y criptógrafos.”