New York City, New York, 21 Mei 2026, Chainwire
Certora, platform jaminan keamanan end-to-end yang dipercaya oleh tim-tim paling maju di Web3, telah menerima hibah sebesar 2.010.000 Canton Coin (sekitar 300 ribu dolar AS) dari Canton Development Fund untuk membangun alat analisis statis sumber terbuka baru bagi proyek Daml. Inisiatif ini bertujuan mendukung kerja berkelanjutan Certora untuk membuat perilaku smart contract sepenuhnya transparan dan dapat diverifikasi mesin, memperluas kemampuan tersebut bagi institusi yang membangun di atas Canton Network.
Alat Certora akan menganalisis berkas .dar terkompilasi, paket smart contract terkompilasi Canton, untuk mendeteksi dan memvisualisasikan interaksi lintas paket, salah satu aspek paling kompleks dan sulit dalam sistem smart contract. Alat ini akan mengidentifikasi setiap instance di mana satu paket memiliki otoritas untuk memanggil paket lain, termasuk referensi rinci seperti jalur berkas sumber dan nomor baris yang tepat. Melacak seluruh rantai pasok setiap kontrak Daml sangat penting untuk memahami implikasi privasi saat berinteraksi dengan smart contract di Canton. Tingkat visibilitas ini krusial dalam arsitektur Canton yang mengutamakan privasi, di mana kebocoran informasi yang tidak disengaja membawa konsekuensi serius. Alat Certora mengotomatiskan analisis yang dibutuhkan perusahaan sebelum melakukan deployment atau berinteraksi dengan kontrak Daml.
Delegasi otoritas lintas paket adalah salah satu aspek tersulit dari sistem smart contract multi-pihak untuk diaudit secara manual. Dengan mengotomatiskan proses ini, alat tersebut mengurangi beban bagi tim pengembangan, keamanan, dan kepatuhan serta meningkatkan kepercayaan bagi institusi yang mengevaluasi aplikasi berbasis Canton.
Alat ini akan dirilis di bawah lisensi Apache 2.0, terintegrasi langsung ke dalam dpm, alat baris perintah Canton yang digunakan untuk membangun, menguji, dan menjalankan aplikasi Canton, sehingga mudah diakses oleh pengembang yang membangun aplikasi multi-pihak di Daml.
Bagi bank, lembaga keuangan, dan penyedia infrastruktur yang mengevaluasi infrastruktur distributed ledger, memahami perilaku smart contract secara tepat sebelum deployment adalah prasyarat. Alat Certora menghadirkan ketelitian tersebut ke dalam ekosistem Canton.
“Saat lembaga keuangan memindahkan infrastruktur penting ke sistem distributed ledger, standar jaminan smart contract harus ikut meningkat. Kerja Certora dengan Canton Foundation bertujuan memenuhi standar itu, membawa analisis otomatis dan ketat yang kami bangun untuk DeFi kepada institusi yang paling membutuhkannya," kata Mooly Sagiv, Co-Founder Certora.
Kepercayaan dalam sistem terdistribusi adalah tantangan utama dalam adopsi blockchain. Arsitektur Canton yang mengutamakan privasi menyediakan cara aman untuk berpartisipasi dalam blockchain publik, namun bahkan validator tepercaya pun perlu memiliki pemahaman dan verifikasi penuh terhadap perilaku smart contract.
Certora akan memberikan wawasan yang jelas dan dapat ditindaklanjuti kepada pengembang dan operator mengenai bagaimana kontrak berinteraksi lintas paket, memungkinkan mereka mengevaluasi risiko keamanan sebelum deployment. Untuk mempelajari lebih lanjut, kunjungi certora.com.
Tentang Certora
Certora adalah mitra jaminan keamanan yang dipercaya oleh tim-tim paling maju di Web3. Didirikan pada 2018 oleh pelopor di bidang bahasa pemrograman dan metode formal, Certora membantu protokol terkemuka seperti Lido, Aave, Uniswap, dan Compound mengamankan nilai bernilai miliaran dengan penuh keyakinan.
Tentang Canton Foundation
The Canton Foundation adalah badan pengelola independen dari Canton Network, jaringan blockchain berkemampuan privasi yang dibangun untuk layanan keuangan teregulasi. Foundation ini mengawasi tata kelola jaringan, pengembangan ekosistem, dan proses onboarding peserta.
Kontak
Senior PR Manager
Lauren Bukoskey
[email protected]