Renovação da programação do Cairo pela StarkNet, mas por quê?

StarkNet é um Validity-Rollup descentralizado e sem permissão. Ele opera como uma rede L2 sobre Ethereum. Ele permite que qualquer dApp alcance escala ilimitada para sua computação – sem comprometer a capacidade de composição e segurança do Ethereum.

A partir da recente atualização do StarkNet, ele revisou sua linguagem de programação Cairo interna para tornar o desenvolvimento Web3 acessível aos desenvolvedores. Em uma postagem no blog Medium da StarkWare, soluções de dimensionamento baseadas em Stark, delineou as atualizações para o Cairo 1.0.

De acordo com a postagem do blog, “os desenvolvedores podem começar a escrever, compilar e testar os programas Cairo 1.0!” A plataforma está incentivando os desenvolvedores a começar a experimentar o Cairo 1.0 e se acostumar com a nova sintaxe e recursos.”

O que é Cairo 1.0?

O Cairo foi introduzido pela primeira vez em 2020 e, seguindo a evolução, sua primeira versão pública, o Cairo 1.0, agora está disponível. Também é uma “linguagem de programação completa” para escrever programas STARK com eficiência. “O Cairo 1.0 é uma linguagem de alto nível semelhante ao Rust. Assim como o Rust, o objetivo é permitir que os desenvolvedores escrevam códigos eficientes e seguros com facilidade.”

O co-fundador e presidente da StarkWare, Eli Ben-Sasson, compartilhou o motivo da reformulação do Cairo ao dizer: “Os principais impulsionadores foram 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 linguagem convencional fundos”.

O Cairo 1.0 apresenta ainda o Sierra, uma nova representação intermediária que garante que todas as execuções do Cairo possam ser comprovadas. Isso torna o Cairo 1.0 particularmente adequado para uso em uma rede sem permissão como a StarkNet, onde pode fornecer proteção robusta contra DoS e resistência à censura.

O Sr. Ben-Sasson explicou o Sierra como “um aspecto importante para garantir uma rede sem permissão”. Além disso, 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. Ele 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.

A postagem no blog da StarkNet também mencionou que Cairo é a quarta linguagem de contrato inteligente mais popular por valor total bloqueado. Ele lidou com mais de $ 790 bilhões em negócios, processou mais de 300 milhões de transações e cunhou mais de 90 milhões de NFTs, todos realizados fora da cadeia e liquidados no Ethereum com a integridade matemática garantida pelas provas STARK.

“No entanto, a StarkNet ainda não suporta a implantação e execução dos contratos Cairo 1.0. O StarkNet Alpha V0.11.0, planejado para as próximas semanas, apresentará a capacidade de implantar e executar contratos do Cairo 1.0. A atualização para v0.11.0 marcará o início do período de transição para um sistema que executa apenas contratos Cairo 1.0”, de acordo com a StarkNet.

Nancy J. Allen é uma entusiasta de criptomoedas e acredita que as criptomoedas inspiram as pessoas a serem seus próprios bancos e se afastarem dos sistemas tradicionais de câmbio monetário. Ela também está intrigada com a tecnologia blockchain e seu funcionamento.

Últimos posts de Nancy J. Allen (ver todos)