Orbiter Finance는 이더리움 재단 및 캘리포니아 대학교 산타바바라 캠퍼스와 협력하여 브릿지 프로토콜의 보안 모델을 강화합니다

Orbiter Finance는 이더리움 생태계에서의 통합을 적극적으로 추진하고 있습니다. 최근 이 회사는 이더리움 재단의 Kyle Charbonnet, 캘리포니아 대학교 산타바바라 캠퍼스의 교수, 그리고 Nubit의 창립자 Feng Yu(@captain8299)와 공동으로 "Scutum: Temporal Verification for Cross-Rollup Bridges via Goal-Driven Reduction"라는 제목의 크로스 체인 브릿지 보안에 관한 연구를 발표했습니다. 이 논문은 이더리움 생태계 보안 분야의 전문가와 학술 교수들이 공동으로 작성하였으며, 수학 모델을 제안하고 Orbiter 브릿지의 지난 2-3년 간의 체인 데이터에 대한 백테스트를 수행하여 모델링 방식을 통해 사기 거래를 사전에 식별하는 것을 목표로 하고 있습니다. 이 협력은 Orbiter의 Maker 시스템에 이론적 지원과 실천적 지침을 제공하기 위한 것입니다.

연구 논문의 핵심 내용

이 논문은 확장 가능한 검증기 시스템을 통해 크로스 롤업 브릿지의 보안을 평가하는 방법을 심도 있게 탐구합니다. 연구팀은 세 가지 핵심 사항을 강조했습니다:

1. 확장 가능한 검증기: Scutum은 주류 크로스 롤업 브릿지(Orbiter Finance 포함)의 평가에서 여러 제로데이 취약점을 발견했습니다. 이 방법은 개별 행동과 각 구성 요소 간의 복잡한 상호작용의 시간 속성을 포착하는 포괄적인 다중 모델 프레임워크를 활용합니다. 또한, 확장성을 강화하기 위해 계약 그래프 표현법을 통한 도달성 분석을 도입했습니다.
2. 보안 모델 구축: Scutum은 계약 그래프의 도달성 분석을 통해 시간 안전 검증을 근사하고, 프로그램 분석 기술을 결합합니다. 또한, 충돌 기반의 세분화 루프를 사용하여 허위 긍정을 제거하고, 다양한 브릿지 모델에서 모델의 예측 정확성을 향상시킵니다.
3. 성능 성과: Scutum 도구는 우수한 실행 성능을 보여주어 효율적인 분석이 실시간 또는 거의 실시간의 응용 시나리오에 적합하도록 합니다.

안전성에 대한 약속

2021년 설립 이후, Orbiter는 안전성에 대한 심도 있는 탐구를 진행하며 크로스 체인 분야의 신뢰할 수 있는 인프라가 되기 위해 노력하고 있습니다. Orbiter Finance의 핵심 제품 Vizing 기술 책임자 Juson Xia는 "우리는 더 안전한 크로스 체인 브릿지 모델 구축을 결코 포기하지 않을 것입니다. 체인 데이터의 백테스트를 통해 잠재적인 사기 거래를 능동적으로 식별하는 것 외에도, 우리는 이더리움 및 암호학자들과의 학술적 소통과 엔지니어링 협력을 심화할 것입니다."라고 말했습니다.

원문 링크를 보려면 클릭하세요원문 링크