Certora Meluncurkan Platform Pengkodean AI Aman Pertama untuk Smart Contract

21 November 2025 – Tel Aviv-Yafo, Israel

Certora, platform jaminan keamanan full-stack yang dipercaya oleh tim paling maju di Web3, hari ini mengumumkan Certora AI Composer, sebuah platform coding AI open-source yang menggabungkan kecerdasan buatan dengan verifikasi formal untuk membuat pengembangan smart contract menjadi lebih cepat dan aman.

Tidak seperti alat “AI-for-code” generik yang berfokus pada kecepatan dan kenyamanan, Certora AI Composer memastikan setiap potongan kode yang dihasilkan AI mematuhi aturan keamanan matematis sebelum dijalankan. Dengan menanamkan teknologi verifikasi formal Certora yang telah terbukti langsung ke dalam loop generasi AI, para pengembang dapat mengeksplorasi ide desain dengan percaya diri, mengetahui bahwa invarian keamanan terus-menerus diperiksa, bukan hanya ditambahkan belakangan.

“Menggunakan AI seharusnya tidak pernah berarti mengorbankan keamanan. Certora AI Composer membuktikan bahwa AI dan verifikasi formal dapat bekerja sama untuk membuat pengembangan smart contract dapat dipercaya secara default,” jelas Pendiri Certora, Mooly Sagiv. “Rilis alpha ini adalah undangan kami kepada komunitas untuk membantu membentuk masa depan coding otonom yang aman.”

Certora AI Composer Alpha akan menjadi open source mulai 4 Desember dan akan tersedia untuk komunitas di GitHub. Para pengembang didorong untuk bereksperimen, memberikan masukan, dan berkontribusi dalam membentuk standar baru untuk pengembangan berbasis AI yang terverifikasi.

Fitur Utama:

• Pemeriksaan verifikasi formal terintegrasi untuk kode yang dihasilkan AI
• Ekstensibilitas open-source untuk membangun modul keamanan Anda sendiri
• Didukung oleh Certora Prover, mesin verifikasi yang dipercaya industri dari Certora

Certora juga akan mengadakan acara livestream pada 4 Desember berjudul “AI Meets Verification: An Open Discussion with Certora Researchers,” yang akan memberikan penjelasan rinci tentang bagaimana Certora AI Composer beroperasi dan apa yang dapat dilakukan untuk meningkatkan keamanan. 

Pengguna dapat mendaftar untuk acara tersebut DI SINI, dan mengikuti mereka di Twitter di @CertoraInc untuk pembaruan dan pengingat di masa mendatang.

Tentang Certora

Certora adalah mitra jaminan keamanan yang dipercaya oleh tim paling maju di Web3. Didirikan pada 2018 oleh para pionir di bidang bahasa pemrograman dan metode formal, Certora membantu protokol terkemuka seperti Lido, Aave, Uniswap, dan Compound mengamankan nilai miliaran dengan penuh keyakinan.