New York City, New York, 21 mei 2026, Chainwire
Certora, het end‑to‑end platform voor beveiligingsgaranties dat wordt vertrouwd door de meest geavanceerde teams in Web3, heeft een subsidie van 2.010.000 Canton Coin (ongeveer 300.000 USD) ontvangen van het Canton Development Fund om een nieuwe open‑source statische analyse‑tool voor Daml‑projecten te bouwen. Het initiatief ondersteunt Certora’s voortdurende werk om het gedrag van smart contracts volledig transparant en machinaal verifieerbaar te maken, en breidt deze mogelijkheid uit naar instellingen die bouwen op het Canton‑netwerk.
Certora’s tool zal gecompileerde .dar‑bestanden, Cantons gecompileerde smart‑contractpakketten, analyseren om interacties tussen pakketten te detecteren en te visualiseren, een van de meest complexe en moeilijke aspecten van smart‑contractsystemen. De tool identificeert elke situatie waarin het ene pakket de bevoegdheid heeft om een ander pakket aan te roepen, inclusief gedetailleerde verwijzingen zoals padnamen van bronbestanden en exacte regelnummers. Het volledig in kaart brengen van de supply chain van elk Daml‑contract is essentieel om de privacy‑implicaties te begrijpen van de interactie met een smart contract op Canton. Dit niveau van zichtbaarheid is cruciaal in Cantons privacy‑first‑architectuur, waar onbedoelde openbaarmaking van informatie ernstige gevolgen kan hebben. Certora’s tool automatiseert de analyse die ondernemingen nodig hebben voordat zij een Daml‑contract uitrollen of ermee interageren.
Delegatie van bevoegdheden tussen pakketten is een van de moeilijkste aspecten van multipartij‑smart‑contractsystemen om handmatig te auditen. Door dit proces te automatiseren vermindert de tool de belasting voor ontwikkelings‑, beveiligings‑ en compliance‑teams en vergroot hij het vertrouwen van instellingen die Canton‑gebaseerde applicaties evalueren.
De tool wordt uitgebracht onder de Apache 2.0‑licentie en direct geïntegreerd in dpm, Cantons command‑line tool die wordt gebruikt om Canton‑applicaties te bouwen, testen en uitvoeren, zodat hij gemakkelijk toegankelijk is voor ontwikkelaars die multipartij‑applicaties op Daml bouwen.
Voor banken, financiële instellingen en infrastructuurproviders die distributed‑ledger‑infrastructuur evalueren, is het begrijpen van het precieze gedrag van smart contracts vóór implementatie een vereiste. Certora’s tool brengt die mate van nauwkeurigheid naar het Canton‑ecosysteem.
“Nu financiële instellingen serieuze infrastructuur naar distributed‑ledger‑systemen verplaatsen, moet de lat voor zekerheid rond smart contracts evenredig omhoog. Certora’s samenwerking met de Canton Foundation is erop gericht die lat te halen en dezelfde rigoureuze, geautomatiseerde analyse die we voor DeFi hebben ontwikkeld te brengen naar de instellingen die die het hardst nodig hebben," aldus Mooly Sagiv, medeoprichter van Certora.
Vertrouwen in gedistribueerde systemen is een grote uitdaging voor de adoptie van blockchain. Cantons privacy‑first‑architectuur biedt een veilige manier om deel te nemen aan publieke blockchains, maar zelfs vertrouwde validators moeten het gedrag van smart contracts volledig begrijpen en kunnen verifiëren.
Certora zal ontwikkelaars en operators duidelijke, actiegerichte inzichten geven in hoe contracts over pakketten heen interacteren, zodat zij beveiligingsrisico’s vóór implementatie kunnen evalueren. Ga voor meer informatie naar certora.com.
Over Certora
Certora is de partner voor beveiligingsgaranties die wordt vertrouwd door de meest geavanceerde teams in Web3. Certora, opgericht in 2018 door pioniers op het gebied van programmeertalen en formele methoden, helpt toonaangevende protocollen zoals Lido, Aave, Uniswap en Compound om miljarden aan waarde met vertrouwen te beveiligen.
Over de Canton Foundation
The Canton Foundation is het onafhankelijke bestuursorgaan van het Canton‑netwerk, het privacy‑enabled blockchain‑netwerk dat is gebouwd voor gereguleerde financiële diensten. De Foundation houdt toezicht op netwerkgovernance, ecosysteemontwikkeling en de onboarding van deelnemers.
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]