원심분리기, 핵심 프로토콜 1,589개 속성 공식 검증
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- Centrifuge는 V3 보안 추진의 일환으로 Certora Prover를 사용하여 핵심 프로토콜의 1,589개 속성과 1,445개의 돌연변이를 공식적으로 확인했습니다.
- 실제 자산 프로토콜은 Certora Prover를 사용하여 V3 코어를 수학적으로 확인하고 보안 스택에 또 다른 레이어를 추가했습니다.
- Centrifuge는 Certora Prover를 사용하여 핵심 구성 요소의 1,589개 속성을 공식적으로 확인했습니다.
본문
Centrifuge는 V3 보안 추진의 일환으로 Certora Prover를 사용하여 핵심 프로토콜의 1,589개 속성과 1,445개의 돌연변이를 공식적으로 확인했습니다. 실제 자산 프로토콜은 Certora Prover를 사용하여 V3 코어를 수학적으로 확인하고 보안 스택에 또 다른 레이어를 추가했습니다. Centrifuge는 Certora Prover를 사용하여 핵심 구성 요소의 1,589개 속성을 공식적으로 확인했습니다. 온체인 자산 관리와 실제 자산 인프라를 처리하는 프로토콜의 경우 작업은 판매하는 것의 핵심으로 진행됩니다. 1,589개의 검증된 특성과 함께 1,445개의 돌연변이에 대한 분석이 포함되었습니다. 공식적으로 돌연변이는 고의적으로 변경된 코드 버전이므로 올바른 규칙 세트로 이를 포착해야 합니다. 1,445개의 돌연변이를 실행하는 것은 1,589개의 속성에 실제 치아가 있는지 여부를 테스트하는 방법입니다.
검증된 속성은 여러 체인에서 작동하는 프로토콜의 핵심 논리를 대상으로 합니다. 이번 검증은 2026년에 걸쳐 진행되는 Centrifuge의 V3 시리즈와 연결된 다층적 보안 전략의 한 부분입니다. 즉, 수학은 코드베이스의 먼지가 많은 구석이 아닌 프로토콜이 일년 내내 구축해 온 기능을 목표로 했습니다. Certora Prover는 2025년 2월에 오픈 소스로 공개되어 더욱 제한적인 도구 클래스에 대한 액세스가 확대되었습니다. 공식적인 검증은 코드가 누군가가 작성한 속성을 충족한다는 것을 증명하므로 결과의 품질은 올바른 속성을 선택했는지 여부에 따라 달라집니다. 포스트 Centrifuge는 핵심 프로토콜의 1,589가지 속성을 공식적으로 검증했으며 Crypto Briefing에 처음 등장했습니다.