A Orbiter Finance está a avançar ativamente a sua integração no ecossistema Ethereum. Recentemente, a empresa publicou em conjunto com Kyle Charbonnet da Fundação Ethereum, um professor da Universidade da Califórnia em Santa Bárbara e o fundador da Nubit Feng Yu (@captain8299), um estudo sobre a segurança das pontes de cadeia cruzada, intitulado "Scutum: Verificação Temporal para Pontes de Cross-Rollup através de Redução Orientada por Objetivos". Este artigo foi escrito por especialistas e professores académicos no campo da segurança do ecossistema Ethereum, apresentando um modelo matemático e realizando testes retrospetivos dos dados na cadeia do Orbiter nos últimos 2-3 anos, com o objetivo de identificar previamente transações fraudulentas através da modelação. Esta colaboração tem como objetivo fornecer apoio teórico e orientação prática ao sistema Maker da Orbiter.

O conteúdo central do artigo de pesquisa

Este artigo discute em profundidade como avaliar a segurança do ponte entre Rollup atravessando um sistema de validação escalável. A equipe de pesquisa enfatiza três pontos-chave:

Validador escalável: Scutum descobriu várias vulnerabilidades zero-day em pontes de rollup cruzado de ponta (incluindo Orbiter Finance) durante a avaliação. O método utiliza um framework abrangente de múltiplos modelos para capturar as propriedades temporais das interações complexas entre comportamentos individuais e vários componentes. Além disso, para melhorar a escalabilidade, o artigo introduz uma análise de alcançabilidade por meio de uma representação de gráfico de contratos.

Construção do modelo de segurança: Scutum usa análise de acessibilidade de grafo de contrato para aproximar a verificação de segurança temporal, combinada com técnicas de análise de programa. Além disso, também adota um ciclo de refinamento impulsionado por conflitos para eliminar falsos positivos e melhorar a precisão do modelo em diferentes modelos de ponte.

Desempenho: A ferramenta Scutum demonstra um bom desempenho em tempo de execução, tornando-a adequada para análises eficientes em cenários de aplicativos em tempo real ou quase em tempo real.

Compromisso com a segurança

Desde a sua criação em 2021, a Orbiter tem explorado profundamente a segurança, comprometida em se tornar uma infraestrutura confiável no campo de pontes de cadeia cruzada. Juson Xia, o responsável pela tecnologia Vizing, produto central da Orbiter Finance, disse: "Nunca desistiremos de construir um modelo de ponte Interação entre cadeias mais seguro. Além de identificar proativamente transações fraudulentas através da análise de dados na cadeia, também aprofundaremos a comunicação acadêmica e a colaboração com Ethereum e criptólogos".