A nova biblioteca de contratos inteligentes da Cardano supera a meta original

A iniciativa ContractsLibrary da Cardano preparou seis contratos inteligentes reutilizáveis, superando a meta original de cinco. Robertino Martinez, que lidera a iniciativa Developer Experience na AlwaysTrue, revelou o progresso durante a discussão no X Space Decentralizing Cardano’s Core Development.

A biblioteca tem como objetivo oferecer a desenvolvedores componentes de contratos inteligentes prontos para integrar, em vez de exigir que implementem funcionalidades comuns do zero. Inspirado na abordagem da OpenZeppelin no ecossistema Ethereum, o projeto combina código on chain, ferramentas de construção de transações, especificações técnicas e verificação formal.

Os seis contratos chegaram à etapa final de revisão de código e especificações. Martinez enfatizou que eles não concluíram as auditorias de segurança e não devem ser implantados ainda na mainnet da Cardano.

Seis contratos avançam rumo aos testes públicos

Originalmente, esperava-se que a ContractsLibrary entregasse cinco contratos inteligentes reutilizáveis. Segundo Martinez, a equipe de desenvolvimento preparou seis e iniciou as verificações finais de qualidade antes de testes mais amplos pela comunidade.

A iniciativa se concentra em componentes completos orientados a aplicações, em vez de funções de programação isoladas. A ideia é que os desenvolvedores possam configurar contratos existentes, adaptar seu código-fonte ou combinar componentes para atender a diferentes requisitos de aplicação.

A biblioteca se baseia em padrões de desenvolvimento já estabelecidos dentro da Cardano, incluindo trabalhos da Anastasia Labs.

Martinez também confirmou que a equipe de alta garantia iniciou o trabalho de verificação formal. O foco inicial está em propriedades compartilhadas entre os contratos, seguido da verificação das implementações individuais.

A distinção entre trabalho de desenvolvimento concluído e prontidão para produção continua importante. Ter seis contratos preparados não significa que seis contratos auditados ou verificados formalmente já estejam disponíveis para uso irrestrito.

Uma pilha de desenvolvimento inspirada na OpenZeppelin para a Cardano

OpenZeppelin se tornou um recurso amplamente utilizado para componentes reutilizáveis de contratos inteligentes no Ethereum e em outros ecossistemas EVM. A ContractsLibrary busca fornecer um recurso de desenvolvimento comparável, adaptado à arquitetura extended UTxO da Cardano.

Cada implementação é projetada para combinar vários elementos conectados.

O componente on chain usa Aiken para definir as regras aplicadas pelo ledger da Cardano. Construtores de transações off chain, incluindo suporte para MeshJS e Tx3, ajudam as aplicações a construir as transações necessárias para interagir com esses validadores.

As especificações técnicas descrevem o comportamento pretendido de cada contrato, enquanto testes e verificação formal oferecem maneiras adicionais de avaliar se as implementações satisfazem os requisitos definidos.

O projeto também usa Lean 4 para provas verificadas por máquina de propriedades selecionadas dos contratos.

Essa estrutura integrada aborda um desafio prático no desenvolvimento na Cardano: construir uma aplicação descentralizada frequentemente requer coordenar a validação do contrato inteligente com a construção de transações off chain.

Ao fornecer componentes conectados, a ContractsLibrary busca reduzir o trabalho de desenvolvimento repetitivo e tornar mais fácil integrar padrões comuns de contratos em novas aplicações.

[NEWSBREAK]

Revisões de segurança continuam sendo o requisito final

A ContractsLibrary faz parte da iniciativa mais ampla Developer Experience, que foi transferida da Input Output para a AlwaysTrue sob a liderança contínua de Martinez.

A iniciativa inclui outras ferramentas como cardano-init, que ajuda desenvolvedores a gerar ambientes de desenvolvimento conectados da Cardano.

Para a ContractsLibrary, as prioridades imediatas são concluir as verificações de qualidade de código, tornar as implementações acessíveis para testes e dar continuidade à verificação formal.

Martinez aconselhou os desenvolvedores a tratar o lançamento inicial como uma oportunidade de testes, não como uma biblioteca pronta para produção. Ele também apontou o hard fork Dijkstra que se aproxima como um motivo adicional para cautela enquanto as ferramentas de desenvolvimento da Cardano se adaptam às mudanças de protocolo que vêm aí.

O projeto distingue contratos preparados para auditorias de segurança daqueles que concluíram as revisões exigidas e alcançaram status estável.

Seu repositório público fornece código e documentação de desenvolvimento, mas os materiais disponíveis não estabelecem que todos os seis contratos foram lançados como implementações estáveis.

A atualização de Martinez portanto estabelece um marco concreto de desenvolvimento: a equipe preparou um contrato a mais do que o planejado originalmente. Testes públicos, verificação individual e as revisões de segurança exigidas permanecem etapas distintas antes que essas implementações possam ser tratadas como componentes prontos para produção.