New York City, New York, 21 Mayıs 2026, Chainwire
Certora, Web3’teki en ileri düzey ekiplerin güvendiği uçtan uca güvenlik güvence platformu, Daml projeleri için yeni bir açık kaynak statik analiz aracı geliştirmek üzere Canton Geliştirme Fonu’ndan 2.010.000 Canton Coin (yaklaşık 300.000 ABD Doları) tutarında hibe aldı. Bu girişim, akıllı sözleşme davranışını tamamen şeffaf ve makine tarafından doğrulanabilir hale getirmeye yönelik Certora’nın devam eden çalışmalarını destekleyerek bu yeteneği Canton Ağı üzerinde inşa eden kurumlara genişletmeyi amaçlıyor.
Certora’nın aracı, Canton’un derlenmiş akıllı sözleşme paketleri olan derlenmiş .dar dosyalarını analiz ederek, akıllı sözleşme sistemlerinin en karmaşık ve zor yönlerinden biri olan paketler arası etkileşimleri tespit edip görselleştirecek. Araç, bir paketin başka bir paketi çağırma yetkisine sahip olduğu her örneği, kaynak dosya yolları ve tam satır numaraları gibi ayrıntılı referanslarla birlikte belirleyecek. Her bir Daml sözleşmesinin tam tedarik zincirini izlemek, Canton üzerinde bir akıllı sözleşmeyle etkileşime girmenin mahremiyet sonuçlarını anlamak için hayati önem taşır. Bu görünürlük düzeyi, istenmeyen bilgi ifşasının ciddi sonuçlar doğurduğu, gizlilik odaklı Canton mimarisinde kritiktir. Certora’nın aracı, işletmelerin bir Daml sözleşmesini dağıtmadan veya onunla etkileşime girmeden önce ihtiyaç duyduğu analizi otomatikleştirir.
Paketler arası yetki devri, çok taraflı akıllı sözleşme sistemlerinde elle denetlemesi en zor alanlardan biridir. Bu süreci otomatikleştirerek araç, geliştirme, güvenlik ve uyumluluk ekipleri üzerindeki yükü azaltır ve Canton tabanlı uygulamaları değerlendiren kurumlar için güveni artırır.
Araç, Apache 2.0 lisansı altında yayımlanacak ve Canton uygulamalarını oluşturmak, test etmek ve çalıştırmak için kullanılan Canton komut satırı aracı dpm’e doğrudan entegre edilecektir; böylece Daml üzerinde çok taraflı uygulamalar geliştiren geliştiriciler için kolayca erişilebilir hale gelecektir.
Dağıtık defter altyapısını değerlendiren bankalar, finansal kurumlar ve altyapı sağlayıcıları için, akıllı sözleşmelerin dağıtımdan önceki tam davranışını anlamak bir önkoşuldur. Certora’nın aracı bu titizliği Canton ekosistemine taşıyor.
“Finansal kurumlar ciddi altyapılarını dağıtık defter sistemlerine taşırken, akıllı sözleşme güvencesi için gereken seviye de onlarla birlikte yükselmek zorunda. Certora’nın Canton Vakfı ile çalışması, bu seviyeye ulaşmak; DeFi için inşa ettiğimiz aynı titiz, otomatikleştirilmiş analizi buna en çok ihtiyaç duyan kurumlara taşımakla ilgili,” dedi Certora Kurucu Ortağı Mooly Sagiv.
Dağıtık sistemlerde güven, blok zinciri benimsenmesinde büyük bir meydan okumadır. Canton’un gizlilik öncelikli mimarisi, kamu blok zincirlerine güvenli bir şekilde katılma imkânı sunar; ancak güvenilir doğrulayıcıların bile akıllı sözleşme davranışını tam olarak anlaması ve doğrulayabilmesi gerekir.
Certora, geliştiricilere ve operatörlere sözleşmelerin paketler arasında nasıl etkileşim kurduğuna dair net ve eyleme dönüştürülebilir içgörüler sağlayarak, dağıtımdan önce güvenlik risklerini değerlendirmelerine olanak tanıyacak. Daha fazla bilgi için certora.com adresini ziyaret edin.
Certora Hakkında
Certora, Web3’teki en ileri düzey ekiplerin güvendiği güvenlik güvence ortağıdır. 2018’de programlama dilleri ve biçimsel yöntemler alanındaki öncüler tarafından kurulan Certora, Lido, Aave, Uniswap ve Compound gibi önde gelen protokollerin milyarlarca dolarlık değeri güvenle korumasına yardımcı oluyor.
Canton Vakfı Hakkında
The Canton Foundation, düzenlenmiş finansal hizmetler için tasarlanmış, gizlilik özellikli blok zinciri ağı Canton Network’ün bağımsız idari organıdır. Vakıf, ağ yönetişimini, ekosistem geliştirmeyi ve katılımcıların ağa alınmasını denetler.
İletişim
Kıdemli PR Yöneticisi
Lauren Bukoskey
[email protected]