Ibahagi ang artikulong ito
Certora Nagtaas ng $36M para sa Smart Contract Security Tools
Pinangunahan ng Jump Crypto ang pag-ikot ng pagpopondo para sa kompanya, na kumukuha ng $50 bilyon ng mga asset ng DeFi.
Ni Brandy Betz
Ang Smart contract security firm na Certora ay nakalikom ng $36 milyon sa isang Series B round na pinamunuan ng Jump Crypto upang pondohan ang pagpapaunlad at i-port ang Technology pag-detect ng bahid nito sa mga bagong blockchain.
Kasama sa iba pang mga kalahok sa round ang Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) at VMware (VMW), ayon sa draft blog post na ibinigay sa CoinDesk.
Ipagpatuloy Ang Kwento Sa Baba
Huwag palampasin ang isa pang kuwento.Mag-subscribe sa Crypto Daybook Americas Newsletter ngayon. Tingnan lahat ng newsletter
Ang mga paglabag sa seguridad ng Blockchain ay tumama sa mga ulo ng balita ngayong taon na ang ilan ay lumilikha ng siyam na figure na pagkalugi sa pananalapi. Kasama nila $326 milyon para sa blockchain bridge Wormhole at $625 milyon para sa Ronin Network, ang imprastraktura sa likod ng sikat na larong play-to-earn na Axie Infinity.
Idinisenyo ang Certora upang tulungan ang mga developer na matukoy at maiwasan ang mga pagkakamali sa seguridad bago i-deploy ang code. Ang tool ng Prover ng kumpanya ay nilalayong umakma sa mga pag-audit ng Human at mga bug bounty. Sinabi ni Certora na kasalukuyang sinisiguro nito ang $50 bilyon desentralisadong Finance (DeFi) na mga asset. Hinahanap at ipinapakita ng produkto ang anumang mga paglabag sa panuntunan o pormal na nagpapatunay na T .
Ang kumpanya ay pinamumunuan ni Shmuel "Mooly" Sagiv, computer science chair sa Tel Aviv University at isang pioneer ng pormal na pag-verify, isang field na gumagamit ng kumplikadong matematika upang patunayan o pabulaanan ang kawastuhan ng isang algorithm, tulad ng mga matalinong kontrata sa isang liquidity protocol.
Kasalukuyang pinangangasiwaan ng Certora ang mga blockchain na katugma sa Ethereum Virtual Machine (EVM). Ang susunod na pokus ay pagpapalawak ng suporta kay Solana, pagkatapos ay sumasanga pa patungo sa Polkadot.
"Ang gusto naming gawin sa susunod na taon ay upang masakop ang lahat ng mga blockchain," sinabi ni Sagiv sa CoinDesk sa isang pakikipanayam.
Paano ito gumagana
Tinutukoy ng Certora ang mga paglabag sa mga invariant, o mga panuntunang T dapat labagin, sa mga smart contract. Natukoy ng Technology ng kumpanya ang mga bug sa Aave, Compound, Balancer at Sushiswap. Karamihan sa mga bug ay natuklasan at naayos bago ang code ay na-deploy.
Halimbawa, pinigilan ni Certora ang isang kritikal na bug sa kontrata ng Trident liquidity pool ng SushiSwap. Sa Trident, ang mga gumagamit ay nagdaragdag ng mga pondo upang lumikha ng pool pagkatapos ay kumita ng mga bayarin para sa kanilang mga aktibidad sa pagpapautang at pagpapalit. Ang mga bayarin ay proporsyonal sa kanilang bahagi sa kabuuang pagkatubig.
Para gumana ang liquidity pool, kailangang may teknikal na panuntunan na hangga't may pool funds, dapat umiral ang mga share ng user dahil may nagbibigay ng liquidity na iyon. Ang isang paglabag sa panuntunang iyon ay nangangahulugan na ang mga bahagi ng pool ay walang halaga o ang mga pondo ay umiiral ngunit T maaaring i-claim ng mga gumagamit.
Sa kaso ng Trident, natagpuan ng Certora Prover ang isang paglabag sa panuntunan na maaaring nagpapahintulot sa isang umaatake na maubos ang mga pondo ng pool. Natukoy at naitama ang problema bago i-deploy ang code.
“Pinapatakbo ng mga world-class na eksperto, ginagamit ng Certora ang pormal na pag-verify para gumamit ng suite ng mga scalable at matatag na produkto na nag-aalok ng mas mataas na reusability at granular na pagsubok," sabi ng kasosyo sa Jump Crypto at pinuno ng pamumuhunan na si Saurabh Sharma sa isang pahayag.
Read More: Paano Gumagana ang Ethereum Smart Contracts?
Higit pang Para sa Iyo
Ano ang dapat malaman:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
Higit pang Para sa Iyo
Mas Lumalalim ang Pagsusulong ng JPMorgan sa Tokenization Gamit ang Pag-isyu ng Utang ng Galaxy sa Solana
Ang kasunduan sa utang sa onchain ng Galaxy, kung saan si JP Morgan ang nagsilbing tagapag-ayos, ay naayos sa USDC stablecoin at sinuportahan ng Coinbase at Franklin Templeton.
Ano ang dapat malaman:
- Inayos ni JP Morgan ang pagpapalabas ng komersyal na papel ng Galaxy Digital sa Solana blockchain, ONE sa una sa uri nito sa US
- Binili ng Coinbase at Franklin Templeton ang panandaliang instrumento sa utang, na nanirahan sa USDC
- Ang tokenization ng mga totoong asset ay nakakakuha ng atensyon, na may mga pagtataya na nagmumungkahi na ang merkado ay maaaring umabot sa $18.9 trilyon pagsapit ng 2033.
Top Stories
