Certora首席科學家Mooly Sagiv:區塊鏈安全不僅僅是程式碼
顯示原文
币界网報導:Certora首席科學家Mooly Sagiv認為,最大的加密安全風險並非複雜的程式碼漏洞,而是密鑰管理和人為錯誤等更簡單的問題。在Breakpoint 2025大會上,他強調審計並不能保證安全,並提倡將形式化驗證與人工審查相結合。Sagiv指出,整合到持續整合(CI)管道中的形式化驗證可以發現「未知的未知」,但他警告說,其有效性取決於屬性的正確定義。他還淡化了人工智慧作為生存威脅的重要性,認為它既是攻擊者的工具,也是防禦者的工具。
0
0
免責聲明:文章中的所有內容僅代表作者的觀點,與本平台無關。用戶不應以本文作為投資決策的參考。
PoolX: 鎖倉獲得新代幣空投
不要錯過熱門新幣,且APR 高達 10%+
立即參與
您也可能喜歡
Meta(META.US)、Google(GOOGL.US)、Snap(SNAP.US)逃過一劫?關鍵社交平台成癮訴訟原告撤訴,十月仍有兩案待審
根據一份法院文件,一名曾被視為社交平台成癮訴訟指標案件的少女原告,於當地時間週四撤回了對Instagram、Facebook、YouTube及Snapchat母公司的訴訟。該起訴訟原本指控這些科技公司蓄意讓青少年沉迷其產品,進而引發心理健康危機。
智通财经•2026/08/21 03:11

韓國8月前20日出口維持高度成長!半導體飆升近200%,進一步加強央行連續加息預期
南韓8月份前20天依據工作日差異調整後的出口額同比增長61.5%。相較之下,7月份同期初步公佈的增幅為62.9%。
智通财经•2026/08/21 02:01

1.9%!日本七月通脹升至年度高點,能源與生鮮食品價格雙雙加速
能源價格自2025年11月以來首次轉為正值,中東衝突推高原油成本,已超出政府補貼的避險範圍;7月批發通脹率達到7.2%,其中電費為最大貢獻項,顯示能源成本已從 生產端加速傳導至消費端。鮮食價格按年激升7%,較上月幾乎翻倍。數據增強官方預警的合理性,進一步強化市場對日本央行將加快收緊貨幣政策的預期。
华尔街见闻•2026/08/21 01:51
美國財政部「買債壓息」反而傷害美元?花旗大幅下調美元三個月預測,稱中期選舉前不宜做多
隨著市場逐步消化美聯儲立場趨於溫和的預期、中期選舉因素,以及美國財政部可能加大國債回購力度的消息,花旗集團外匯策略團隊近期對美元短期走勢轉為看空。
智通财经•2026/08/21 01:36

加密貨幣價格
更多Bitcoin
BTC
$74,470.31
+7.90%
Ethereum
ETH
$2,346.56
+4.70%
Tether USDt
USDT
$0.9996
+0.03%
XRP
XRP
$1.3
+18.53%
USDC
USDC
$1.0000
+0.01%
Solana
SOL
$89.14
+5.62%
TRON
TRX
$0.3382
+1.66%
Hyperliquid
HYPE
$71.95
+4.16%
Dogecoin
DOGE
$0.08166
+8.87%
Zcash
ZEC
$569.4
+2.84%
如何出售 PI
Bitget 上架 PI:在 Bitget 上快速購買或出售 PI!
立即交易
還不是 Bitget 用戶嗎?新用戶可獲得價值 6,200 USDT 的迎新大禮包
立即註冊