Bom dia, mundo. Qual é o seu podcast de criptomoedas favorito? Partilhe as suas recomendações, por favor 🔥

Os princípios fundamentais são importantes.

A parte que mais gosto de ser CEO da StarkWare é ouvir e ser corrigido pelos membros da minha equipe, que são mais inteligentes e mais conhecedores do que eu.

Hora da história -- O provador mais rápido do oeste e como tudo começou. Quando fundámos a StarkWare em 2018, estabelecemos o objetivo de construir o primeiro provador STARK de produção. Na altura, o fator limitante era o custo do gás na Ethereum. Era mais simples e barato construir um provador usando números enormes (de 256 bits). Isso levou a um provador STARK simples que sabíamos que poderia ser tornado mais eficiente ao reduzir o tamanho do campo. Avançando para 2023. O mundo inteiro agora está convencido de que os zkSTARKs são o jogo final, e muitas equipas começam a construir sistemas usando campos pequenos, que levam a provadores mais rápidos. No verão de 2023, começámos um projeto para escolher a próxima geração de tecnologia de prova. Fizemos um levantamento de todas as tecnologias de prova existentes -- SNARKs, coisas baseadas em folding, GKR, e mais. Percebemos muito rapidamente que o fator de desempenho dominante é o tamanho do campo finito, e que primos de 32 bits são os melhores. Por quê? (1) todas as arquiteturas de hardware modernas estão otimizadas para isso, (2) por que primos (e não binários?) porque as GPUs não suportam bem a multiplicação binária. Ok, então isso nos deixa com tecnologias de prova como GKR e STARK, sobre primos de 32b. Agora enfrentámos um problema. O melhor campo para cálculos rápidos é o M31, mas falta-lhe a estrutura de grupo para ter STARKs rápidos. Felizmente, o brilhante trio -- Ulrich Habock (então na Polygon, agora a tempo inteiro na StarkWare), David Levit e Shahar Papini descobriram uma maneira de usar o "grupo circular" sobre M31 para obter uma solução ótima. A nova equipa começou a implementar a matemática. Da maneira mais eficiente que conseguimos pensar, testando e validando a eficiência, e também construindo de uma forma que seja modular o suficiente para outras equipas usarem. Ao mesmo tempo, a infraestrutura de restrições AIR foi reconstruída do zero, com base na nossa experiência anterior, para levar a algo que seja sólido e eficiente. E agora, o Stwo está entrando em produção no Starknet, reduzindo custos e latência. Os benchmarks que testámos são de outro mundo. Ao mesmo tempo, várias equipas externas estão a usá-lo para construir a sua infraestrutura. Acho que será o padrão de ouro de provadores open source, e todos vocês estão convidados a usá-lo. FIM.

Por que estou otimista em relação ao Starknet? Melhor tecnologia. É verdade, o TVL e o volume de DeFi poderiam ser maiores. Mas estou pensando a longo prazo. O ecossistema está em ebulição, esperando por outra faísca, e a faísca virá. E quando isso acontecer, usuários e desenvolvedores descobrirão que a melhor tecnologia significa a melhor experiência do usuário, melhor segurança, melhores recursos, e isso não será reduzido uma vez que a atividade aumente. Por que é a melhor tecnologia? - Linguagem de contrato inteligente de próxima geração e a melhor de todas. Sim, Cairo é muito melhor que Solidity ou Rust do Solana. - Contas inteligentes de próxima geração (graças à abstração de conta nativa) -> melhor experiência do usuário para os usuários finais, juntamente com segurança de custódia própria de alto nível. - Maior poder de computação on-chain -> Exchanges perpétuas, desenvolvedores de jogos e outros aplicativos de computação pesada podem executar lógicas complexas que você não encontrará em nenhum outro lugar na blockchain. - Conectividade mais segura com Bitcoin e Ethereum. - O único L2 que está se movendo ativamente em direção à descentralização total e verdadeira. - Maior redundância quando se trata de sequenciadores e provadores. A tecnologia de prova mais segura, rápida e sólida que existe. Então estou pensando a longo prazo, e estou super otimista em relação ao Starknet. E você também deveria estar.

Starknet está a entrar em modo Grinta e estou um pouco surpreendido (triste?) que ninguém esteja a levar isto para o próximo nível com Margagrintas🍹🍹🍹

Como quase consegui um cubo de tungsténio do @ercwl Afirmo (e ainda afirmo) que as Provas de Fraude não funcionam. Ou seja, a promessa de que "qualquer um pode iniciar um processo de arbitragem" não pode ser mantida. Há vários anos, Eric perguntou-me durante o jantar: "Gostarias de apostar um cubo de tungsténio nisso?" Eu disse "Sim! Aposto que nos próximos 3 anos, nenhum sistema baseado em Provas de Fraude oferecerá verdadeira descentralização do sequenciador e do validador, e permitirá um vínculo de Disputa abaixo de $100, disponível para o utilizador médio." A razão simples pela qual os sistemas baseados em Provas de Fraude não podem oferecer um vínculo de Disputa a esse preço é que isso abre a porta para trolls/DoS no sistema. Nunca formalizamos isso por escrito, e acredito que já passou bastante tempo, mas ainda estou feliz em fazer essa aposta hoje, com ele ou com qualquer um que aceite o desafio.

Opinião: Os L2 devem ser descentralizados. *A descentralização é tão importante nos L2 quanto nos L1.* A Starknet publicou o seu roteiro de descentralização há algum tempo e tem seguido isso, passo a passo. Não vejo nenhuma outra equipa de L2 com planos reais ou trabalho nessa direção.

Adoro essas batalhas de "só ETH" e "só BTC". Depois de uma semana como esta, não fazem sentido nenhum.

No final desta semana cripto, aqui está a minha conclusão: (TL;DR - estão a ser construídas pontes entre dois mundos)