- Charles Hoskinson revelou que Cardano desenvolverá uma DSL (Domain Specific Language) para especificações de smart contracts, a fim de permitir contratos certificados.
- O CEO da IOHK também revelou os esforços crescentes na DeFi para Cardano, com anúncios concretos a serem seguidos no final do mês, o mais cedo possível.
Numa nova surpresa da AMA, Charles Hoskinson, CEO da IOHK, revelou novos planos para o ecossistema Cardano e falou sobre o progresso dos últimos dias. Como explicou o inventor de Cardano, Cardano está a caminho de se tornar uma rede totalmente descentralizada. Com a era atual, as participações já estão assumindo 24% da produção do bloco, enquanto 76% é validada pelos nós federados da IOHK.
Além disso, a IOHK implementará a governança peer-to-peer para Cardano em setembro. Isto melhorará ainda mais o desempenho e descentralizará ainda mais a rede, como declarou Hoskinson:
Isso irá melhorar consideravelmente o desempenho em certos aspectos. […] e também é uma rede totalmente descentralizada quando você não está mais utilizando relés de operadores de pool de estacas ou de nós.
Além disso, os portfólios das delegações e das associações de estacas já estão em discussão durante a era Shelley. A principal prioridade, no entanto, segundo Hoskinson, é atualmente a delegação “um-para-muitos”, com implementação “o mais rápido possível”. Em paralelo, as equipas Goguen estão trabalhando numa implementação em 3 fases, consistindo dos ativos nativos, das fundações Plutus e, na fase final, da Estrutura de Aplicação Plutus. Com relação às duas últimas fases do lançamento, Hoskinson explicou:
As fundações Plutus são como a JVM vs. Java, são as fundações base, o núcleo de uma linguagem, para que você possa escrever uma assembléia e as representações de nível superior dela. Você será capaz de escrever smart contracts, mas isto não será muito fácil de usar. Mas você tem que ter a JVM para ter Java. […] Portanto, faz sentido lançar isso primeiro e depois colocar em cima da bela experiência de desenvolvimento.
A Hoskinson também anunciou que a IOHK desenvolverá uma DSL (Domain Specific Language) para especificação de smart contract. Isto permitirá que os desenvolvedores tenham a opção de smart contract certificado, pois eles serão capazes de combinar o projeto e a implementação e, assim, provar que a implementação está correta em comparação com o projeto. De acordo com Hoskinson, isto já foi feito várias vezes, por exemplo, através de tokens ERC20 certificadas. No entanto, existem atualmente alguns desafios:
É geralmente muito difícil porque as ferramentas não são tão boas, requerem muita experiência de domínio e são muito pesadas. Portanto, há muita discussão sobre como construímos uma DSL de especificação de peso leve que pode ser feita em conjunto com seu contrato e, em seguida, você pode verificar as propriedades sobre ela. Para verificação do modelo e verificação rápida […] para verificar se o seu contrato está correto.
Como Hoskinson também explicou, isto acontecerá independentemente de Marlowe, a linguagem para smart contracts já desenvolvidos pela IOHK.
O foco da Cardano em finanças descentralizadas
Hoskinson também admitiu que investiu muito tempo recentemente no tópico de finanças descentralizadas (DeFi). Além do planejamento, o CEO da IOHK referiu-se à parceria com Emurgo, que visa desenvolver uma moeda estável para o ecossistema Cardano. Isto deve ser testado primeiro na blockchain Ergo e depois migrado para o ecossistema Cardano. Hoskinson também acrescentou:
Esta será uma moeda estável algorítmica. Pensamos que será significativamente melhor do que a MakerDAO. Essa é apenas uma das muitas coisas de DeFi que estão acontecendo neste momento. Mas não vamos anunciar nada disso até um pouco mais tarde. […]
A realidade é que a vantagem de ser o primeiro a mover-se é na verdade uma desvantagem na DeFi. Esses efeitos de rede são freqüentemente cobertos com erros e cicatrizes e explosão. Você realmente quer ser o imitador, na categoria de segundo mover para a DeFi e […] vai haver um êxodo em massa porque essas arquiteturas e projetos de primeiro mover são muito inflexíveis e Cardano é muito mais adequado como uma plataforma.
