StarkNet revisa a linguagem de programação Cairo para impulsionar a adoção do desenvolvedor

A plataforma de dimensionamento de camada 2 da Ethereum, StarkNet, reformulou sua linguagem de codificação interna do Cairo para tornar o desenvolvimento Web3 acessível aos desenvolvedores.

Um anúncio compartilhado com o Cointelegraph descreve as atualizações para o Cairo 1.0, que é apresentado para emular as características da popular linguagem de programação Rust. A revisão pretende permitir que desenvolvedores com experiência geral em codificação comecem a criar aplicativos descentralizados na rede Ethereum de camada 2 da StarkNet.

O cofundador e presidente da StarkWare, Eli Ben-Sasson, disse ao Cointelegraph que tornar o desenvolvimento da camada 2 mais acessível para desenvolvedores de origens variadas foi o principal motivo da reformulação do Cairo:

“Os principais impulsionadores eram a segurança e a facilidade de uso, e a realização da revisão apresentou uma excelente oportunidade para remover a entrada para desenvolvedores com experiência em idiomas convencionais.”

As especificações técnicas descritas no lançamento de 5 de janeiro abrangem uma série de melhorias para a linguagem do Cairo, incluindo sintaxe aprimorada e construções de linguagem, um sistema de tipo holístico, bibliotecas intuitivas, código otimizado e digitação forte por especificação exigente de tipos de dados.

A StarkNet destacou a Sierra - que significa Representação Intermediária Segura - como a principal adição à revisão do Cairo. O Sierra atua como uma nova camada de representação intermediária entre o Cairo 1.0 e o código de bytes do Cairo.

Como explicou Ben-Sasson, o Sierra é um aspecto importante para garantir uma rede sem permissão. A atualização permite que as transações revertidas sejam incluídas nos blocos StarkNet, ajudando o protocolo a evitar a adição de “mecanismos criptográficos” complexos.

Relacionado: StarkNet torna o Cairo 1.0 open source no primeiro passo para o controle da comunidade

Ben-Sasson disse que a Sierra permitirá que a StarkNet “herde toda a resistência à censura do Ethereum” e proteja principalmente contra ataques de negação de serviço do Sequencer.

As relatado anteriormente pela Cointelegraph, Ben-Sasson foi pioneiro zk-STARK criptografia ao lado de outros cientistas da computação. Zero-Knowledge Scalable Transparent Arguments of Knowledge é um sistema de prova que criptografa e verifica dados de transação para fornecer segurança, escalabilidade e resistência à computação quântica.

De acordo com a StarkNet, Cairo é a quarta linguagem de contrato inteligente mais popular por valor total bloqueado. É a base de aplicativos que processaram mais de 300 milhões de transações, cunharam 90 milhões de tokens não fungíveis e facilitaram US$ 790 milhões em transações liquidadas na Ethereum.