[2021.12.29] SundaeSwap은 RV(Runtime Verification) 의 프로토콜 감사를 성공적으로 완료했습니다

SundaeSwap Labs, Inc. 는 Runtime Verification (RV)가 선데이스왑 프로토콜에 대한 보안 감사를 완료했다는 것을 발표하게 되어 기쁩니다.

 

이번 감사에서 식별되어 파악된 모든 문제와 사안은 감사자의 검증 프로세스를 만족스럽게 해결되었습니다. RV는 감사 요건을 충족하기 위해 마련된 모든 솔루션에 대한 검증을 포함해 조사 결과를 자세히 설명하는 전체 보고서를 게시할 것입니다.

 

전체 감사에 대한 링크가 제공되면 즉시 발표를 업데이트하겠습니다.

 

RV의 감사는 검증 기반 기법을 활용해 선데스왑 컨트랙트에 대한 철저한 검토와 특정 위험 벡터 파악, 감사 결과에서 파악된 모든 문제에 대한 선디스왑 개발 팀의 해결방안에 대한 모든 분석이 포함되었습니다.

 

선디스왑의 CIO인 Pi Lanningham은 “이 감사는 무엇 하나 허투루 하는 것이 없었습니다.”라고 말했습니다. 이어 Pi는 “RV의 철저한 감사 프로세스를 통해 신속하게 해결할 수 있는 여러 문제를 확인했고, 그 결과 Cardano DeFi 커뮤니티의 요구를 안전하게 충족할 수 있는 선디스왑 DEX가 탄생했습니다. 카르다노의 핵심 원칙은 시큐리티(보안)와 탄력성으로 카르다노에 구축된 프로토콜은 이 전통을 이어나가는 것이 중요합니다. 이 감사를 완료함으로써 선디스왑 프로토콜 버전 1 (v1)을 달성하게 되었습니다.” 라고 말했습니다.

 

SundaeSwap Labs와 Runtime Verification의 관계는 이 감사 완료로 끝나지 않습니다. RV는 선디스왑이 구축할 예정인 프로토콜에 대해 향후 업데이트도 검토하는 데 참여할 것입니다.

 

Pi는 “우리는 프로토콜의 향후 개선 사항을 구축하고 투표를 위해 DAO에 제하시면서 RV에 지속적으로 참여할 계획입니다.” 라고 말했습니다. 끝으로 “DEX의 장기적인 성공을 위해서는 안전하고 강력한 빙식으로 발전하는 것이 중요합니다.” 라고 덧붙였습니다.

 

RV에 의해 식별된 문제들은 단순한 것부터 시작하여 완전히 잘못된 것까지 다양했습니다. 선디스왑 프로토콜은 카르다노에서 출시되는 최초의 프로토콜이자 가장 복잡하고 고도하게 쓰여진 프로토콜 중 하나가 될 것입니다. 개발 과정 중에서 확인되고 수정되는 많은 문제 외에도 몇 가지 문제가 남아 있다는 것은 불가피한 것이었습니다.

 

이것이 감사가 중요한 이유입니다. RV가 채택한 신선한 관점의 부분과 극도로 철저한 방법론은 유동성 제공자에게 불이익을 줄 수 있는 미묘한 반올림 오류(수학적 부분)와 임의적인 선디 토큰을 채우면 발생하는 문제에 대한 일련의 조치를 취했습니다. 선디 토큰 전체의 상세한 감사 보고서가 제공되면 감사에 대한 RV 블로그 게시물과 함께 커뮤니티에 공유할 것입니다.

 

https://sundaeswap-finance.medium.com/runtime-verification-completes-audit-of-sundaeswap-contracts-e4e663cd791e

Runtime Verification Completes Audit of SundaeSwap Contracts

 

 

Runtime Verification (RV)