RWA代幣化正以驚人的速度重塑區塊鏈金融版圖。

隨著Web3應用的發展，穩定幣成為中央銀行與機構關注的重點方向，可望重塑全球支付與金融基礎設施。形式化驗證作為一種技術手段，能夠有效幫助穩定幣計畫滿足包括《GENIUS法案》在內的監管要求，建構更可靠的合約體系。

6月19日，韓國知名科技媒體Korea IT Times重點報導了CertiK首席商務官Jason Jiang在Proof of Talk 2025大會上的主題演講，聚焦其關於建立Web3信任的系統性洞察。

4月28日，在杜拜Unchained Summit高峰會上，CertiK共同創辦人顧榮輝發表演講，強調合規是Web3邁向主流的基石。

近日，區塊鏈媒體CCN刊登了CertiK首席安全長Wang Tielei博士的文章，深入剖析了AI在Web3.0安全體系中的雙面性。

4月8日，在2025年Web3學者高峰會上，耶魯大學電腦科學系主任、CertiK共同創辦人邵中教授首次公開LiDO模型及LiDO-DAG擴展框架。這項突破性成果透過三層細化驗證框架（安全抽象層、活性保障層、DAG擴展層），為複雜拜占庭容錯（BFT）共識協議提供可機械化驗證的安全性與活性證明，旨在提升Web3生態的可靠性和規模化發展。

近期，福布斯的報道中提及CertiK關於2024年加密產業安全事件的警示性數據，並引用CertiK創辦人顧榮輝的觀點：「安全不是競爭優勢，而是共同責任」。

CertiK發布《Hack3d：2025第一季安全報告》，本季共發生197起安全事件，總損失約16.7億美元，季增303.4%。其中Bybit事件導致約14.5億美元的損失，引發對中心化交易所安全性的廣泛討論。

這不僅是加密史上最大竊案，也揭露了在產業高速發展中潛藏的風險。

繼Radiant Capital與WazirX2的數千萬美元損失後，Bybit成為了Web3.0史上最大規模竊盜的受害者。

在數位化浪潮的推動下，Web2.0與Web3.0的交會已成為不可避免的趨勢，但這並不是一個沒有阻礙的平滑過程。因此，為了建構一個更安全的數位生態系統，Web3.0首先需要重視並解決Web2.0遺留下來的弱點。

零知識證明的形式化驗證詳解第三彈：如何證明零知識記憶體。

香港財經事務及庫務局（財庫局）和香港金融管理局（金管局）於17日聯合發布了《諮詢總結- 在香港實施穩定幣發行人監管制度的立法建議》。

從5 月12 日到13 日，總共在鏈上發起了約64 筆Rug Pull（退出騙局），每幾分鐘就有一個。在這短短不到24 小時裡，共損失金額272 個SOL，價值約4.59 萬美元。

Blast主網上線不到一個月，就發生了兩起攻擊事件，導致損失近億美元。起因竟是曾經用過「北韓駭客」？ CertiK 透過對事件時間線的還原對本次攻擊進行了分析推斷。詳情可見本文。