Certora Chief Scientist Mooly Sagiv: Blockchain security is more than just code
Show original
Bitget offers one-stop trading for cryptocurrencies, stocks, and gold. Trade now!
A welcome pack worth 6200 USDT for new users! Sign up now!
According to a report by Bijie Network: Certora Chief Scientist Mooly Sagiv believes that the greatest security risks in crypto are not complex code vulnerabilities, but rather simpler issues such as key management and human error. At the Breakpoint 2025 conference, he emphasized that audits cannot guarantee security and advocated for combining formal verification with manual review. Sagiv pointed out that formal verification integrated into continuous integration (CI) pipelines can uncover "unknown unknowns," but he warned that its effectiveness depends on the correct definition of properties. He also downplayed the significance of artificial intelligence as an existential threat, considering it both a tool for attackers and defenders.
0
0
Disclaimer: The content of this article solely reflects the author's opinion and does not represent the platform in any capacity. This article is not intended to serve as a reference for making investment decisions.
Understand the market, then trade.
Bitget offers one-stop trading for cryptocurrencies, stocks, and gold.
Trade now!
You may also like
Papa John's on a Quality Quest as its Shares Stall -- WSJ
Dow Jones•2026/09/16 15:16
OGE Energy Set for 'Steady Stream' of Positive Updates in Next 12 Months, RBC Says
MT newswire•2026/09/16 15:16
Solid Biosciences' Duchenne Muscular Dystrophy Approach, FDA Shift Support Upside, RBC Says
MT newswire•2026/09/16 15:16
Lahontan Gold to Acquire Emergent Metals in All-Shares Transaction
MT newswire•2026/09/16 15:15
Crypto prices
MoreBitcoin
BTC
$75,722.37
-0.44%
Ethereum
ETH
$2,390.29
-1.08%
Tether USDt
USDT
$0.9993
-0.01%
BNB
BNB
$710.36
-0.93%
XRP
XRP
$1.27
-8.62%
USDC
USDC
$0.9999
+0.00%
Solana
SOL
$97.06
-2.15%
TRON
TRX
$0.3348
-0.44%
Zcash
ZEC
$1,249.34
+11.89%
Hyperliquid
HYPE
$78.31
+1.28%
How to buy BTC
Bitget lists BTC – Buy or sell BTC quickly on Bitget!
Trade now
Become a trader now?A welcome pack worth 6200 USDT for new users!
Sign up now