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 em Web3, recebeu um subsídio de 2.010.000 Canton Coin (cerca de US$ 300 mil) do Canton Development Fund para criar uma nova ferramenta open source de análise estática para projetos Daml. A iniciativa tem como objetivo apoiar o trabalho contínuo da Certora para tornar o comportamento de contratos inteligentes 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 contratos inteligentes compilados da Canton, para detectar e visualizar interações entre pacotes, um dos aspectos mais complexos e difíceis de sistemas de contratos inteligentes. Ela identificará todas as instâncias 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 fornecimento de cada contrato Daml é essencial para entender as implicações de privacidade ao interagir com um contrato inteligente na Canton. Esse nível de visibilidade é crítico na arquitetura de privacidade em primeiro lugar 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 contratos inteligentes multipartes para auditar manualmente. Ao automatizar esse processo, a ferramenta reduz a carga sobre as equipes de desenvolvimento, segurança e compliance e aumenta a confiança das 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 a desenvolvedores que constroem aplicações multipartes em Daml.
Para bancos, instituições financeiras e provedores de infraestrutura que avaliam infraestrutura de registro distribuído, entender o comportamento preciso de contratos inteligentes antes da implantação é um pré-requisito. A ferramenta da Certora leva esse rigor ao ecossistema Canton.
“À medida que instituições financeiras movem infraestrutura crítica para sistemas de registro distribuído, o nível de garantia de contratos inteligentes precisa aumentar junto. O trabalho da Certora com a Canton Foundation é sobre alcançar 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 para a adoção de blockchain. A arquitetura de privacidade em primeiro lugar da Canton oferece uma forma segura de participar de blockchains públicas, mas mesmo validadores confiáveis precisam ter o comportamento de contratos inteligentes 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 confiada pelas equipes mais avançadas em 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.
Contato
Gerente Sênior de PR
Lauren Bukoskey
[email protected]