커뮤니티

영지식 증명(ZK) 기반 이더리움(ETH) 옴니 롤업 크로스체인 브릿지 오비터파이낸스(Orbiter Finance)가 최근 이더리움 생태계 내 통합을 적극적으로 추진하고 있다고 밝혔다. 오비터파이낸스(Orbiter Finance)는 이 같은 통합 작업의 일환으로 이더리움 재단 소프트웨어 엔지니어 카일 샤보네(Kyle Charbonnet), 미국 캘리포니아대 산타바바라(UCSB) 교수 겸 비트코인 데이터 가용성(DA) 레이어 프로젝트 누비트(Nubit) 창립자 유펑(Yu Feng, @captain8299) 교수와 오비터 브릿지의 보안 강화를 주제로 연구 논문을 발표했다. 이번 연구는 오비터의 메이커 시스템의 이론적 기반과 실질적 지침을 제공하는 것을 목표로 진행됐다.

연구 논문 전문 보기: https://eprint.iacr.org/2024/1834

연구 논문 주요 내용

- 해당 연구는 스케일러블 검증기(scalable verifier)를 통해 크로스 롤업 브릿지 보안을 체계적으로 평가하는 데 초점을 맞췄다. 연구팀은 세 가지 포인트를 강조했다.

· 스케일러블 검증기: 스마트 컨트랙트 안정성 검사 도구인 스쿠툼(Scutum) 활용 분석 결과, 오비터파이낸스(Orbiter Finance)와 주요 크로스 롤업 브릿지에서 여러 제로데이 취약점(해킹에 악용될 수 있는 포인트)을 발견했다. 스케일러블 검증기는 시간적 속성(temporal properties)이라는 접근 방식을 사용하며, 개별 행동과 다수 주체 간 상호작용을 모두 분석할 수 있는 포괄적 다중 모델 프레임워크를 활용한다.

· 보안 모델 구축: 스쿠툼은 고급 프로그램 분석 기술을 활용, 스마트 컨트랙트를 그래프로 표현한 후 해당 그래프에 대한 도달 가능성 분석(reachability analysis)을 통해 시간적 안전성을 대략적으로 검증했다. 또, 충돌 중심 정제 루프(conflict-driven refinement loop)를 통합해 분석 정확도를 개선했다.

· 스쿠툼은 실행 성능이 우수하며, 실시간에 준하는 신속한 애플리케이션 분석이 가능해졌다.

오비터파이낸스(Orbiter Finance)의 안전 기록 및 모듈 스테이킹

오비터파이낸스(Orbiter Finance)는 2021년 설립 이후 브릿지 프로토콜 관련 보안 연구에 지속적으로 투자해왔다. 이를 통해 이용자 신뢰를 제고하고, 크로스체인 분야에서도 공신력을 갖게 됐다는 평가다. 오비터파이낸스(Orbiter Finance)의 공동 설립자인 아이리스 청(Iris Cheung)은 "오비터파이낸스(Orbiter Finance)는 더 안전한 크로스체인 브릿지 모델을 구축하기 위해 끊임없이 노력할 것이다. 온체인 데이터를 백테스팅해 정상적이지 않은 트랜잭션을 선제적으로 식별하는 것 외에도, 토큰공개이벤트(TGE) 이후 보안 모듈 스테이킹 기능을 도입할 계획이다. 사용자는 스테이킹으로 브릿지 시스템의 메이커에게 보험을 제공해 네트워크 보안을 강화할 수 있다"고 말했다.

45