[센트리퓨지, 핵심 프로토콜 보안 검증 완료]
실물자산 토큰화(RWA) 프로토콜 센트리퓨지(CFG)가 핵심 프로토콜 V3의 1589개 보안 관련 속성에 대한 정형 검증을 완료했다고 크립토브리핑이 전했다. 이번 검증은 코드가 설계된 규칙대로 작동하는지 수학적으로 확인하는 방식으로, 보안 검증 도구 세르토라 프로버(Certora Prover)를 활용했다.
https://coinness.com/news/1171758