Orbiter Finance colabora con la Fundación Ethereum y la Universidad de California, Santa Bárbara para fortalecer el modelo de seguridad de puente puente protocolo.
Orbiter Finance está promoviendo activamente su integración en el ecosistema de ETH Workshop. Recientemente, la compañía publicó un estudio conjunto sobre la seguridad de los puentes cross-chain, titulado "Scutum: Temporal Verification for Cross-Rollup Bridges via", en colaboración con Kyle Charbonnet de la Fundación ETH Square, profesor de la Universidad de California, Santa Bárbara, y el fundador de Nubit, Feng Yu (@captain8299). Reducción impulsada por objetivos》。 Este artículo, coescrito por expertos y profesores académicos en el campo de la seguridad ecológica en ETH Square, propone un modelo matemático y realiza pruebas retrospectivas de los datos en cadena del puente Orbiter en los últimos 2-3 años, con el objetivo de identificar transacciones fraudulentas por adelantado a través del modelado. El propósito de esta colaboración es proporcionar apoyo teórico y orientación práctica para el sistema Maker de Orbiter.
El contenido principal de un documento de investigación
Este documento profundiza en cómo evaluar la seguridad de los puentes cruzados de Rollup a través de un sistema de validador escalable. El equipo de investigación enfatiza tres puntos clave:
Validador escalable: Scutum encontró varias vulnerabilidades zero-day en puentes transversales Rollup populares (incluido Orbiter Finance) durante la evaluación. El método utiliza un marco integral de múltiples modelos para capturar las propiedades temporales de la interacción compleja entre el comportamiento individual y los componentes. Al mismo tiempo, para mejorar la escalabilidad, el artículo introduce un análisis de alcanzabilidad a través de la representación del grafo del contrato.
Construcción del modelo de seguridad: Scutum utiliza el análisis de accesibilidad del gráfico de contratos para aproximar la verificación de seguridad en el tiempo, combinado con técnicas de análisis de programas. Además, utiliza un ciclo de refinamiento impulsado por conflictos para eliminar falsos positivos y mejorar la precisión de predicción del modelo en diferentes modelos de puenteo.
Rendimiento: La herramienta Scutum muestra un buen rendimiento en tiempo de ejecución, lo que la hace adecuada para aplicaciones en tiempo real o casi en tiempo real.
Compromiso con la seguridad
Desde su creación en 2021, Orbiter ha estado explorando a fondo la seguridad, con el objetivo de convertirse en una infraestructura confiable en el ámbito de puentes cross-chain. Juson Xia, el líder técnico de la tecnología Vizing de Orbiter Finance, afirmó: 'Nunca dejaremos de construir un modelo de puente cross-chain más seguro. Además de identificar activamente transacciones fraudulentas potenciales a través de la retroprueba de datos on-chain, también profundizaremos nuestra colaboración académica y de ingeniería con Ethereum y criptógrafos.'
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
Orbiter Finance colabora con la Fundación Ethereum y la Universidad de California, Santa Bárbara para fortalecer el modelo de seguridad de puente puente protocolo.
Orbiter Finance está promoviendo activamente su integración en el ecosistema de ETH Workshop. Recientemente, la compañía publicó un estudio conjunto sobre la seguridad de los puentes cross-chain, titulado "Scutum: Temporal Verification for Cross-Rollup Bridges via", en colaboración con Kyle Charbonnet de la Fundación ETH Square, profesor de la Universidad de California, Santa Bárbara, y el fundador de Nubit, Feng Yu (@captain8299). Reducción impulsada por objetivos》。 Este artículo, coescrito por expertos y profesores académicos en el campo de la seguridad ecológica en ETH Square, propone un modelo matemático y realiza pruebas retrospectivas de los datos en cadena del puente Orbiter en los últimos 2-3 años, con el objetivo de identificar transacciones fraudulentas por adelantado a través del modelado. El propósito de esta colaboración es proporcionar apoyo teórico y orientación práctica para el sistema Maker de Orbiter.
El contenido principal de un documento de investigación
Este documento profundiza en cómo evaluar la seguridad de los puentes cruzados de Rollup a través de un sistema de validador escalable. El equipo de investigación enfatiza tres puntos clave:
Validador escalable: Scutum encontró varias vulnerabilidades zero-day en puentes transversales Rollup populares (incluido Orbiter Finance) durante la evaluación. El método utiliza un marco integral de múltiples modelos para capturar las propiedades temporales de la interacción compleja entre el comportamiento individual y los componentes. Al mismo tiempo, para mejorar la escalabilidad, el artículo introduce un análisis de alcanzabilidad a través de la representación del grafo del contrato.
Construcción del modelo de seguridad: Scutum utiliza el análisis de accesibilidad del gráfico de contratos para aproximar la verificación de seguridad en el tiempo, combinado con técnicas de análisis de programas. Además, utiliza un ciclo de refinamiento impulsado por conflictos para eliminar falsos positivos y mejorar la precisión de predicción del modelo en diferentes modelos de puenteo.
Rendimiento: La herramienta Scutum muestra un buen rendimiento en tiempo de ejecución, lo que la hace adecuada para aplicaciones en tiempo real o casi en tiempo real.
Compromiso con la seguridad
Desde su creación en 2021, Orbiter ha estado explorando a fondo la seguridad, con el objetivo de convertirse en una infraestructura confiable en el ámbito de puentes cross-chain. Juson Xia, el líder técnico de la tecnología Vizing de Orbiter Finance, afirmó: 'Nunca dejaremos de construir un modelo de puente cross-chain más seguro. Además de identificar activamente transacciones fraudulentas potenciales a través de la retroprueba de datos on-chain, también profundizaremos nuestra colaboración académica y de ingeniería con Ethereum y criptógrafos.'