웹3 애플리케이션의 발전으로 스테이블코인은 중앙은행과 금융기관들의 주요 관심사가 되었으며, 글로벌 결제 및 금융 인프라를 혁신할 것으로 예상됩니다. 기술적 수단으로서의 공식 검증은 스테이블코인 프로젝트가 GENIUS Act를 포함한 규제 요건을 충족하고 더욱 신뢰할 수 있는 계약 시스템을 구축하는 데 효과적으로 도움이 될 수 있습니다.

6월 19일, 한국의 유명 기술 매체인 코리아 IT 타임즈는 CertiK의 최고사업책임자(CBO)인 제이슨 지앙이 Proof of Talk 2025 컨퍼런스에서 Web3에서 신뢰를 구축하는 체계적인 통찰력에 초점을 맞춘 기조연설을 소개했습니다.

4월 28일 두바이에서 열린 Unchained Summit에서 CertiK의 공동 창립자인 구 롱후이는 규정 준수가 Web3가 주류로 나아가는 데 있어 초석이라고 강조하는 연설을 했습니다.

최근 블록체인 미디어 CCN은 CertiK의 최고 보안 책임자인 왕 티엘레이 박사의 논문을 게재했는데, 이 논문은 Web3.0 보안 시스템에서 AI의 양면적 특성을 심층적으로 분석한 것입니다.

4월 8일, 2025 Web3 Scholar Summit에서 예일대학교 컴퓨터과학과장이자 CertiK의 공동 창립자인 샤오 종 교수가 처음으로 LiDO 모델과 LiDO-DAG 확장 프레임워크를 공개했습니다. 이 획기적인 성과는 3계층 상세 검증 프레임워크(보안 추상화 계층, 활성성 보증 계층, DAG 확장 계층)를 통해 복잡한 비잔틴 장애 허용(BFT) 합의 프로토콜에 대한 기계화된 검증 가능한 보안 및 활성성 증명을 제공하여 Web3 생태계의 안정성과 대규모 개발을 개선하는 것을 목표로 합니다.

최근 Forbes는 CertiK의 2024년 암호화폐 산업의 보안 사고에 대한 경고 데이터를 보고했으며 CertiK 설립자 Gu Ronghui의 관점을 인용했습니다. "보안은 경쟁 우위가 아니라 공동의 책임입니다."

CertiK은 "Hack3d: 2025년 1분기 보안 보고서"를 발표했습니다. 이번 분기에는 총 197건의 보안 사고가 발생하여 총 손실액이 약 16억 7천만 달러에 달했습니다. 이는 전월 대비 303.4%나 급증한 수치입니다. Bybit 사건으로 인해 약 14억 5천만 달러의 손실이 발생했고, 이로 인해 중앙집중형 거래소의 보안에 대한 광범위한 논의가 촉발되었습니다.

이는 암호화 역사상 가장 큰 도난 사건일 뿐만 아니라, 업계의 급속한 발전 속에 숨겨진 위험을 드러내는 사건이기도 합니다.

Radiant Capital과 WazirX2가 수천만 달러를 잃은 데 이어 Bybit은 Web3.0 역사상 가장 큰 도난 피해를 입었습니다.

디지털화의 물결에 힘입어 Web2.0과 Web3.0의 교차는 피할 수 없는 추세가 되었지만, 이는 장애물 없이 순조롭게 진행되지는 않습니다. 따라서 보다 안전한 디지털 생태계를 구축하기 위해서는 Web3.0이 먼저 Web2.0이 남긴 취약한 링크에 주의를 기울이고 이를 해결해야 합니다.

영지식 증명의 형식적 검증에 대한 자세한 설명 3부: 영지식 메모리를 증명하는 방법.

홍콩 금융서비스국(Treasury Bureau)과 홍콩통화청(HKMA)은 공동으로 '협의 요약 - 홍콩 스테이블코인 발행자를 위한 규제 시스템 구현을 위한 입법 제안'을 17일 공동 발표했다.

5월 12일부터 13일까지 체인에서 몇 분마다 한 번씩 총 64건의 Rug Pulls(탈퇴 사기)가 발생했습니다. 24시간도 안 되어 총 272개의 SOL이 손실되었으며, 이는 약 US$45,900 상당입니다.

Blast 메인넷이 온라인으로 전환된 지 한 달도 채 되지 않아 두 건의 공격이 발생하여 거의 1억 달러에 달하는 손실이 발생했습니다. 그 이유는 '북한 해커'가 이용되었기 때문일까? CertiK는 이벤트 타임라인을 복원하여 이 공격을 분석하고 추론했습니다. 자세한 내용은 이 기사에서 확인할 수 있습니다.

최근 CertiK는 200개 이상의 출구 사기를 모니터링했는데, 이는 "출국 사기"를 통해 자산을 수집하는 대규모 자동화 + 해커 팀을 나타낼 수 있습니다.