OP Labs, Sherlock 감사를 성공적으로 완료하고 추가 발견 사항 보고

OP Labs는 불일치가 없고 구현을 위한 추가 단계가 취해지도록 Sherlock 감사를 수행했습니다. 이 감사는 개발자들이 OP 메인넷에 한 발 더 다가갔음을 보장합니다. 이는 잠재적인 문제가 발생할 경우 메인넷의 보안과 신뢰성을 강화할 것입니다.  

OP 메인넷 감사

OP Labs는 이더리움 프로토콜의 확장인 옵티미즘 프로토콜을 구축하는 개발사입니다. 이 프로토콜의 초점은 기술과 가치의 확장 보장, 그리고 공공선에 대한 헌장 촉진에 있습니다.

OP Labs의 최근 블로그에 따르면, 그들은 OP 메인넷의 감사를 수행했습니다. 감사 완료는 메인넷 개발 과정 완료를 이끌고 있는 격상 기간(escalation period)으로 이어졌습니다.  

감사는 제안된 시스템을 테스트하기 위한 Sherlock 감사 컨테스트와 함께 3월 27일에 시작되었습니다. 감사에는 두 가지 제안된 목적이 있었습니다. 여기에는 결함 증명 시스템에 의해 보장된 복구와 메인넷의 기존 계약에 결함 증명 시스템 통합이 포함되었습니다. 

개발자들이 공유한 블로그 게시글에 따르면, 감사 결과는 주요 취약점이 없음을 보여줍니다. 개발자들은 격상 기간이 끝난 후 상세 보고서를 공유할 예정입니다. Sherlock은 격상 기간 실행 후 전체 검증 및 심각도 검증을 확인합니다. 

OP Labs가 수행한 감사에 대한 업데이트

감사가 성공적으로 수행되었으므로, 여러 팀의 참여가 가능하게 했습니다. 언급된 개발자들의 블로그 게시글에 따르면, 결함을 지적하는 데 집중했기 때문에 오프체인 랩스(Offchain Labs)는 감사 감사해야 할 팀 중 하나입니다.

오프체인 랩스는 Sherlock 감사 시작 전에 [FaultDisputeGame]에서 두 가지 결함을 찾아냈습니다. 이러한 오류가 식별되지 않았다면 여러 오류가 발생했을 것입니다. 여기에는 게임 해결 중 일부 사양이 포함됩니다. 

이 버그는 두 팀이 경쟁하는 대결을 기반으로 한 시간 해결과 관련이 있습니다. 수비 팀과 공격 팀은 시간이 만료되고 대결이 해결되었음에도 불구하고 시간이 만료되지 않았을 수 있는 형태의 문제에 직면할 수 있습니다. 따라서 할당된 시간이 아직 끝나지 않았음에도 공격 팀이 시간을 잃을 수 있습니다.

따라서 이는 무효 주장을 초래하여 본래 이기지 않았을 팀의 승리로 이어집니다. 따라서 이 버그는 프로토콜에 영향을 미쳤을 것입니다. 따라서 향후 개발자와 사용자에게 두통을 주지 않도록 사전에 해결되었습니다. 

또한, 기존 공개 보고서의 중복 문제가 발견되었으며, 이는 제때 해결되었습니다. 

추가 단계

OP Labs가 언급된 문제들을 해결했으므로, 솔루션을 [develop] 브랜치에 병합했습니다. 또한, 2024년 4월 26일 OP Sepolia 테스트넷에 통합되었습니다. 따라서 배포와 함께 기능이 시작되었습니다. 

개발자들은 사용자에게 최상의 버전을 제공하기 위해 OP 메인넷 작업을 계속할 계획입니다. OP Labs의 Sherlock 감사 완료로 격상 기간이 시작되었습니다. 그들은 이 기간 동안 개발자들의 눈에 띄는 잠재적 문제들을 작업할 것입니다. 

격상 기간이 끝남에 따라 가능한 문제에 대한 상세 보고서가 공유될 예정입니다. 이러한 변경 사항은 OP 메인넷의 거버넌스 제안 변경 사항에 포함될 것입니다.

결론

OP 메인넷 개발자들은 시스템의 Sherlock 감사를 수행했습니다. 이는 발견된 결점들을 해결하고 그 솔루션이 거버넌스 시스템 변경 제안에 포함되도록 했습니다. 메인넷의 격상 기간이 시작되었으며, 이는 OP Labs에 의한 가능한 변경 사항에 대한 추가 심의를 중점적으로 다룰 것입니다.