New York City, New York, 21 maggio 2026, Chainwire
Certora, la piattaforma end‑to‑end di assurance della sicurezza di cui si fidano i team più avanzati del Web3, ha ricevuto una sovvenzione di 2.010.000 Canton Coin (circa 300.000 USD) dal Canton Development Fund per creare un nuovo strumento open source di analisi statica per progetti Daml. L’iniziativa mira a supportare il lavoro continuo di Certora per rendere il comportamento degli smart contract completamente trasparente e verificabile in modo automatico, estendendo questa capacità alle istituzioni che costruiscono sulla Canton Network.
Lo strumento di Certora analizzerà i file .dar compilati, i pacchetti di smart contract compilati di Canton, per rilevare e visualizzare le interazioni tra pacchetti, uno degli aspetti più complessi e difficili dei sistemi di smart contract. Identificherà ogni istanza in cui un pacchetto ha l’autorità di chiamarne un altro, includendo riferimenti dettagliati come i percorsi dei file sorgente e i numeri di riga esatti. Tracciare l’intera supply chain di ciascun contratto Daml è essenziale per comprendere le implicazioni sulla privacy dell’interazione con uno smart contract su Canton. Questo livello di visibilità è fondamentale nell’architettura privacy‑first di Canton, in cui divulgazioni indesiderate di informazioni comportano conseguenze gravi. Lo strumento di Certora automatizza l’analisi di cui le imprese hanno bisogno prima di distribuire o interagire con un contratto Daml.
La delega di autorità tra pacchetti è uno degli aspetti più difficili da verificare manualmente nei sistemi di smart contract multi‑parte. Automatizzando questo processo, lo strumento riduce l’onere per i team di sviluppo, sicurezza e conformità e aumenta la fiducia delle istituzioni che valutano applicazioni basate su Canton.
Lo strumento sarà rilasciato sotto licenza Apache 2.0 e integrato direttamente in dpm, lo strumento da riga di comando di Canton utilizzato per creare, testare ed eseguire applicazioni Canton, rendendolo facilmente accessibile agli sviluppatori che costruiscono applicazioni multi‑parte su Daml.
Per banche, istituzioni finanziarie e fornitori di infrastrutture che valutano infrastrutture di registro distribuito, comprendere il comportamento preciso degli smart contract prima della distribuzione è un prerequisito. Lo strumento di Certora porta questo rigore nell’ecosistema Canton.
«Man mano che le istituzioni finanziarie spostano infrastrutture critiche su sistemi di registro distribuito, l’asticella per l’assicurazione degli smart contract deve crescere insieme a loro. Il lavoro di Certora con la Canton Foundation riguarda il raggiungimento di quell’asticella, portando la stessa analisi rigorosa e automatizzata che abbiamo costruito per la DeFi alle istituzioni che ne hanno più bisogno», ha dichiarato Mooly Sagiv, co‑fondatore di Certora.
La fiducia nei sistemi distribuiti è una sfida fondamentale per l’adozione della blockchain. L’architettura privacy‑first di Canton offre un modo sicuro per partecipare alle blockchain pubbliche, ma persino i validatori fidati devono poter comprendere e verificare pienamente il comportamento degli smart contract.
Certora fornirà a sviluppatori e operatori una visione chiara e azionabile di come i contratti interagiscono tra pacchetti, consentendo loro di valutare i rischi di sicurezza prima della distribuzione. Per saperne di più, visitare certora.com.
Informazioni su Certora
Certora è il partner di assurance della sicurezza di cui si fidano i team più avanzati nel Web3. Fondata nel 2018 da pionieri nei linguaggi di programmazione e nei metodi formali, Certora aiuta protocolli leader come Lido, Aave, Uniswap e Compound a proteggere in sicurezza valori per miliardi.
Informazioni sulla Canton Foundation
The Canton Foundation è l’organo di governo indipendente della Canton Network, la rete blockchain abilitata alla privacy costruita per i servizi finanziari regolamentati. La Foundation supervisiona la governance della rete, lo sviluppo dell’ecosistema e l’onboarding dei partecipanti.
Contatti
Senior PR Manager
Lauren Bukoskey
[email protected]