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.