Inilunsad ng Certora ang Unang Ligtas na AI Coding Platform para sa Smart Contracts
Nobyembre 21, 2025 – Tel Aviv-Yafo, Israel
Inanunsyo ngayon ng Certora, ang full-stack security assurance platform na pinagkakatiwalaan ng pinaka-advanced na mga team sa Web3, ang Certora AI Composer, isang open-source na AI coding platform na pinagsasama ang artificial intelligence at formal verification upang gawing mas mabilis at mas ligtas ang pag-develop ng smart contract.
Hindi tulad ng mga generic na “AI-for-code” na mga tool na nakatuon lamang sa bilis at kaginhawaan, tinitiyak ng Certora AI Composer na ang bawat AI-generated na snippet ay sumusunod sa mga matematikal na panuntunan ng kaligtasan bago pa ito patakbuhin. Sa pamamagitan ng direktang pag-embed ng napatunayang formal verification technology ng Certora sa AI generation loop, maaaring mag-explore ng mga ideya sa disenyo ang mga developer nang may kumpiyansa, alam na ang mga security invariant ay tuloy-tuloy na sinusuri at hindi lamang idinadagdag pagkatapos.
“Ang paggamit ng AI ay hindi dapat mangahulugan ng pagsasakripisyo ng kaligtasan. Pinapatunayan ng Certora AI Composer na maaaring magsanib ang AI at formal verification upang gawing mapagkakatiwalaan ang smart contract development bilang default,” paliwanag ni Certora Founder Mooly Sagiv. “Ang alpha release na ito ay paanyaya namin sa komunidad upang tulungan kaming hubugin ang hinaharap ng ligtas na autonomous coding.”
Ang Certora AI Composer Alpha ay magiging open source simula Disyembre 4 at magiging available sa komunidad sa GitHub. Hinihikayat ang mga developer na mag-eksperimento, magbigay ng feedback, at tumulong sa paghubog ng bagong pamantayan para sa verified AI-driven development.
Pangunahing Tampok:
- Integrated na formal verification checks para sa AI-generated na code
- Open-source extensibility upang makagawa ng sarili mong safety modules
- Sinusuportahan ng Certora Prover, ang industry-trusted verification engine ng Certora
Magho-host din ang Certora ng isang livestream event sa Disyembre 4 na pinamagatang “AI Meets Verification: An Open Discussion with Certora Researchers,” na magbibigay ng detalyadong paglalarawan kung paano gumagana ang Certora AI Composer at kung paano nito mapapalakas ang seguridad.
Maaaring mag-sign up ang mga user para sa event DITO, at sundan sila sa Twitter sa @CertoraInc para sa mga susunod na update at paalala.
Tungkol sa Certora
Ang Certora ay ang security assurance partner na pinagkakatiwalaan ng pinaka-advanced na mga team sa Web3. Itinatag noong 2018 ng mga pioneer sa programming languages at formal methods, tinutulungan ng Certora ang mga nangungunang protocol tulad ng Lido, Aave, Uniswap, at Compound na maprotektahan ang bilyon-bilyong halaga ng asset nang may kumpiyansa.
Disclaimer: Ang nilalaman ng artikulong ito ay sumasalamin lamang sa opinyon ng author at hindi kumakatawan sa platform sa anumang kapasidad. Ang artikulong ito ay hindi nilayon na magsilbi bilang isang sanggunian para sa paggawa ng mga desisyon sa investment.
Baka magustuhan mo rin
Malapit na sa $2 bilyon ang crypto liquidations habang lumalalim ang pagbagsak ng bitcoin
Ayon sa datos ng CoinGlass, halos $2 bilyon na leveraged na crypto positions ang nalikida sa nakalipas na 24 oras. Bumagsak ang Bitcoin sa $82,000, ang pinakamababang antas mula noong Abril, bago bahagyang bumawi. Sinabi ng mga analyst na ang pagkatakot ng mga short-term holder at ang numinipis na liquidity ang nananatiling pangunahing dahilan ng paggalaw ng merkado.
LeverageShares magde-debut ng unang 3x bitcoin at ether ETFs sa Europe sa gitna ng retail-led na pagbebenta ng crypto
Ang paglulunsad ay naganap sa gitna ng matinding pagbaba ng bitcoin at ether, na nagdadagdag ng panganib sa timing para sa mga highly leveraged na ETP. Patuloy na pinipili ng mga retail investor ang equity ETFs kahit na ang mga crypto-focused funds ay nakakaranas ng malalaking paglabas ng pondo.
Ang BitMine ni Tom Lee ay magsisimulang mag-alok ng taunang dibidendo habang bumababa ang mNAV ng ETH treasury
Naglabas ang BitMine ng kanilang resulta para sa fiscal year nitong Biyernes, na nagpapakitang may $328 milyon na netong kita o $13.39 sa fully diluted earnings kada share. Ang pinakamalaking ETH-focused na digital asset treasury ay nakaranas ng pagbaba ng mNAV nito sa ibaba ng 1x dahil sa humihinang crypto market. Ang BMNR, na bumaba ng halos 50% sa nakalipas na 30 araw, bagaman malaki ang pagtaas mula simula ng taon, ay magbibigay ng dividend na $0.01 bawat share.
Ang Pang-araw-araw: Lalong lumalalim ang pagbebenta ng crypto, sinisisi ng JPMorgan ang paglabas ng retail BTC at ETH ETF, umabot sa mahigit $2 billion ang 24-oras na liquidations, at iba pa
Mabilisang Balita: Ang Bitcoin ay nakikipagkalakalan malapit sa $84,000, bumabawi matapos bumagsak sa bagong lokal na mababang presyo na humigit-kumulang $80,500 kaninang Biyernes, na dulot ng mas malakas kaysa sa inaasahang datos ng trabaho sa U.S. Ayon sa mga analyst ng JPMorgan, ang pinakahuling pagwawasto sa crypto ay pangunahing hinahatak ng mga retail outflows mula sa spot Bitcoin at Ethereum ETF, kung saan halos $4 na bilyon ang nailabas mula sa mga pondo ngayong Nobyembre.
Trending na balita
Higit paMga presyo ng crypto
Higit pa
