Tempo ZK-STARKs: O whitepaper ZK-STARK foi publicado em 2018 (juntamente com um componente principal chamado FRI). Naquela época, já víamos que os ZK-SNARKs baseados em curvas elípticas podiam resolver a privacidade para blockchains, e parecia ser tudo o que o mundo esperava. Então, por que uma construção completamente nova? O que estava em primeiro lugar na nossa mente? As principais vantagens dos ZK-STARKs eram as seguintes: • Transparência (o T de STARK) — Isso significa nenhuma configuração de "resíduos tóxicos", como necessária na cerimônia nos casos de SNARKs. Isso é muito importante para a confiança. Para explicar — Não há configuração confiável, portanto, ZK-STARKs transparentes podem ser confiáveis mesmo se usados por Darth Vader. • Segurança pós-quântica — Em 2018, não muitos falavam sobre a ameaça quântica e como ela poderia destruir a criptografia de curva elíptica. Mas os ZK-STARKs são seguros pós-quânticos e, na verdade, exigem apenas a existência de uma função hash segura. Isso acabou sendo importante na nossa era de superinteligência e sua ameaça às suposições padrão de dificuldade, como as que sustentam RSA, DH, ECDSA, construções baseadas em reticulados etc. • Independente de campo — Os ZK-SNARKs do Zcash exigiam estruturas algébricas muito específicas (campos finitos) e grandes, além disso. Já os STARKs funcionam em literalmente todos os campos finitos, incluindo campos binários e campos primos pequenos, o que é melhor para tempo de computação eficiente. Para os não matemáticos, isso significa muito maior velocidade e escala. Por exemplo, medimos a aritmética do campo M31 (usada pelo nosso mais recente e avançado provador STARK, S-two) como sendo 100x mais rápida que a aritmética usada no nosso provador de primeira geração, que exigia um campo de 256 bits (!). • Escalabilidade — O fato de funcionarem em qualquer campo, somado à ausência da necessidade de uma configuração confiável, significa que não precisamos alterar nada no verificador onchain mesmo à medida que escalávamos e reescalávamos o tamanho das computações que processávamos. Resumindo — transparência, segurança pós-quântica, eficiência e escala foram os grandes benefícios que os ZK-STARKs ofereceram ao mundo em 2018. Até agora, tornaram-se o padrão ouro para escala e privacidade seguras em ZK. FIM