Hmm, mas ao olhar para o ranking do Miden, parece que há mais Hardcore do que Casual, certo? Então, isso significa que a proporção de usuários que realmente contribuem, interpretam e estão mais envolvidos é maior do que aqueles que apenas conversam casualmente? -> @0xMiden, vou ter que escrever um pouco mais a fundo. Até agora, parece que foi um pouco de sorte? A sorte de um iniciante? De qualquer forma, parece que a própria natureza é mais voltada para a Infra Layer técnica do que para dAPP. ----- Então, vamos tentar criar um exemplo de Hardcore para @0xMiden (ninguém vai ler...) O que o Miden tem de diferente em relação ao zkVM existente? A maioria dos zkVM foca em provar o VM existente como zk -> execução é off-chain -> prova é gerada posteriormente O Miden é um "VM projetado com a prova como premissa" desde o início. A diferença é simples: O zkVM existente faz operações gerais -> prova pesada O Miden faz operações amigáveis ao STARK -> minimiza o custo de prova A sensação é que zk não é uma opção, mas sim o padrão? Para dizer de forma ainda mais simples: Se o zkVM existente prova a computação como Zk, @0xMiden redesenha a computação com ZK como premissa. Para dizer de forma ainda mais simples: Se o zkVM existente faz o trabalho e depois tira uma foto como prova,...