RWA代币化正在以惊人的速度重塑区块链金融版图。

随着Web3应用的发展，稳定币成为中央银行与机构关注的重点方向，有望重塑全球支付与金融基础设施。形式化验证作为一种技术手段，能够有效帮助稳定币项目满足包括《GENIUS法案》在内的监管要求，构建更可靠的合约体系。

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

CertiK은 전체 라이프사이클 제품, 커뮤니티 협업 및 AI 기술을 통해 Web3 구축자에게 신뢰할 수 있고 안전하며 투명한 기반을 계속 제공할 것입니다.

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

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

4月8日，在2025年Web3学者峰会上，耶鲁大学计算机科学系主任、CertiK联合创始人邵中教授首次公开LiDO模型及LiDO-DAG扩展框架。这一突破性成果通过三层细化验证框架（安全抽象层、活性保障层、DAG扩展层），为复杂拜占庭容错（BFT）共识协议提供可机械化验证的安全性与活性证明，旨在提升Web3生态的可靠性和规模化发展。

近期，福布斯的报道中提及CertiK关于2024年加密行业安全事件的警示性数据，并援引CertiK创始人顾荣辉的观点：“安全不是竞争优势，而是共同责任”。

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 상당입니다.