Kadena lança linguagem de contrato inteligente atualizada para 'blockchains híbridos'

"O Pacto 3.0 geralmente disponibiliza os recursos que tornam os blockchains híbridos uma realidade. ... Agora temos a linguagem de contrato inteligente para blockchains híbridos."

Esse é Stuart Popejoy, ex-líder da equipe de blockchain do gigante banco de investimentos JP Morgan e fundador de uma startup multimilionária de blockchain chamada Kadena.

Hoje, Popejoy e a equipe Kadena lançaram uma nova versão de sua linguagem nativa de programação de computador, chamada Pact, projetada para permitir o desenvolvimento seguro e simples de contratos inteligentes no blockchain. O terceiro grande lançamento do código, Popejoy argumenta que o conjunto de recursos expandido do Pact 3.0 finalmente suporta a execução de contratos inteligentes cross-blockchain entre redes privadas e públicas.

Atualmente, a Kadena já construiu uma plataforma blockchain privada chamada BFT escalávele será lançadoem outubrodeste ano uma plataforma pública de blockchain chamada Chainweb.

"Um programador [agora] é capaz de escrever um contrato inteligente muito simples que é capaz de trocar dados entre as partes pública e privada de um aplicativo de blockchain híbrido sem nunca sair do conforto do contrato inteligente Pact", disse Popejoy ao CoinDesk .

Mais especificamente, o lançamento de hoje do Pact 3.0 tem três conjuntos de recursos principais.

Primeiro, o Pact 3.0 oferece suporte a verificação de pagamento simples (SPV). Isso significa que os desenvolvedores podem implementar ambientes de contrato inteligente em um blockchain Kadena que verifica de forma independente transações que acontecem off-chain em outras redes blockchain.

Algumas das implicações imediatas dessa ferramenta, conforme descritas por Popejoy, incluem "provar que algo aconteceu em um blockchain público em um blockchain privado, provar que algo aconteceu em um blockchain privado em um blockchain público, [e] provar que algo aconteceu em algum outro blockchain [de prova de trabalho] (ou seja, Bitcoin, Ethereum)."

Em segundo lugar, o Pact 3.0 introduz uma funcionalidade chamada "capacidades" que ajudam a garantir computação segura e baseada em direitos no blockchain.

"No sentido mais geral, uma capacidade pode ser vista como um direito de fazer algo que existe nos dados", explicou Popejoy.

Um exemplo de uma capacidade que já existe em redes tradicionais de blockchain como Bitcoin é o uso de chaves privadas e públicas para transferir tokens. Ao possuir uma representação específica de dados, os usuários podem acessar outros recursos e funções, como swaps atômicos em um aplicativo de contrato inteligente.

Imutabilidade vs atualizações

Por fim, o Pact 3.0 também introduz governança modular diversificando como os desenvolvedores podem mudar ou atualizar de forma confiável o código do contrato inteligente. Ao contrário da maioria das outras linguagens de contrato inteligente, comoSolidez na blockchain Ethereum , Pact não é uma linguagem Turing-completa e não possui aplicativos descentralizados imutáveis ​​(dapps).

Desde o seu início, qualquer dapp criado usando o Pact pode ser alterado e atualizado após a execução por meio da aprovação de uma ou mais partes interessadas designadas.

"Tínhamos contratos inteligentes atualizáveis ​​desde o início, mas T era governança completa porque um modelo de assinatura única ou múltipla é basicamente um modelo centralizado", destacou Popejoy. "Agora, você pode ter governança controlada por qualquer lógica que você possa imaginar e um exemplo óbvio seria algum tipo de governança baseada em [detentor de token] como vemos em qualquer tipo de sistema de staking."

A falta de imutabilidade quando se trata de aplicativos codificados pelo Pact pode colidir com o que alguns consideram ser uma característica definidora dos contratos inteligentes em geral, observou Popejoy.

"É muito fácil confundir os dois, [imutabilidade e contratos inteligentes.]" No entanto, Popejoy sustenta que os contratos inteligentes T são, na verdade, sobre aplicativos imutáveis ​​e autoexecutáveis. Eles são sobre permitir que modelos de negócios sejam executados com segurança em uma plataforma de blockchain.

Popejoy enfatizou:

"Os contratos inteligentes começam com a ideia de que você pode mover mais modelos de negócios para um blockchain, mas o problema imediato é que eles precisam ser realmente seguros, e não apenas seguros, mas simples... Acreditamos que você precisa ter contratos inteligentes que sejam simples, que um usuário não técnico possa entender e até mesmo codificar."

Imagem de Stuart Popejoy cortesia de Kadena