Nova York, Nova York, 21 de maio de 2026, Chainwire
Certora, a plataforma de garantia de segurança ponta a ponta confiada pelas equipes mais avançadas da Web3, recebeu um subsídio de 2.010.000 Canton Coin (aproximadamente US$ 300 mil) do Canton Development Fund para desenvolver uma nova ferramenta de análise estática open source para projetos Daml. A iniciativa busca apoiar o trabalho contínuo da Certora para tornar o comportamento de smart contracts totalmente transparente e verificável por máquina, estendendo essa capacidade às instituições que constroem na Canton Network.
A ferramenta da Certora analisará arquivos .dar compilados, os pacotes de smart contracts compilados da Canton, para detectar e visualizar interações entre pacotes, um dos aspectos mais complexos e difíceis dos sistemas de smart contracts. Ela identificará cada instância em que um pacote tem autoridade para chamar outro, incluindo referências detalhadas como caminhos de arquivos-fonte e números de linha exatos. Rastrear toda a cadeia de suprimentos de cada contrato Daml é essencial para entender as implicações de privacidade ao interagir com um smart contract na Canton. Esse nível de visibilidade é crítico na arquitetura focada em privacidade da Canton, em que a divulgação não intencional de informações traz consequências sérias. A ferramenta da Certora automatiza a análise de que as empresas precisam antes de implantar ou interagir com um contrato Daml.
A delegação de autoridade entre pacotes é um dos aspectos mais difíceis de sistemas de smart contracts multipartidários de auditar manualmente. Ao automatizar esse processo, a ferramenta reduz a carga sobre as equipes de desenvolvimento, segurança e conformidade e aumenta a confiança para instituições que avaliam aplicações baseadas em Canton.
A ferramenta será lançada sob a licença Apache 2.0, integrada diretamente ao dpm, a ferramenta de linha de comando da Canton usada para criar, testar e executar aplicações Canton, tornando-a facilmente acessível para desenvolvedores que constroem aplicações multipartidárias em Daml.
Para bancos, instituições financeiras e provedores de infraestrutura que avaliam infraestrutura de registros distribuídos, compreender o comportamento preciso dos smart contracts antes da implantação é um pré‑requisito. A ferramenta da Certora traz esse rigor para o ecossistema Canton.
“À medida que instituições financeiras migram infraestrutura crítica para sistemas de registros distribuídos, o nível de exigência para garantia de smart contracts precisa acompanhar esse movimento. O trabalho da Certora com a Canton Foundation é sobre atender a esse nível, levando a mesma análise rigorosa e automatizada que construímos para DeFi às instituições que mais precisam dela", disse Mooly Sagiv, cofundador da Certora.
A confiança em sistemas distribuídos é um grande desafio na adoção de blockchain. A arquitetura voltada à privacidade da Canton oferece uma forma segura de participar de blockchains públicas, mas mesmo validadores confiáveis precisam ter o comportamento dos smart contracts totalmente compreendido e verificável.
A Certora dará a desenvolvedores e operadores uma visão clara e acionável sobre como contratos interagem entre pacotes, permitindo que avaliem riscos de segurança antes da implantação. Para saber mais, visite certora.com.
Sobre a Certora
Certora é a parceira de garantia de segurança em que confiam as equipes mais avançadas da Web3. Fundada em 2018 por pioneiros em linguagens de programação e métodos formais, a Certora ajuda protocolos líderes como Lido, Aave, Uniswap e Compound a proteger bilhões em valor com confiança.
Sobre a Canton Foundation
The Canton Foundation é o órgão de governança independente da Canton Network, a rede blockchain com foco em privacidade criada para serviços financeiros regulados. A Fundação supervisiona a governança da rede, o desenvolvimento do ecossistema e a integração de participantes.
Contact
Senior PR Manager
Lauren Bukoskey
[email protected]