ZK Básicos | Ep. 8: Por que as provas ZK custam tanto Verificar uma prova leva milissegundos. Criá-la é a parte cara. Eis para onde vai o dinheiro: 1. A computação é reescrita. Seu programa precisa ser transformado em uma forma que a matemática possa provar — um circuito. Nada nesse passo é gratuito. 2. Provar é pesado. Construir a prova pode levar milhares de vezes mais poder de computação do que apenas executar o programa normalmente. 3. Hardware especializado. Provas sérias são executadas em GPUs e chips personalizados, o que explica por que existe toda uma indústria voltada à infraestrutura de prova. 4. Os custos estão caindo rapidamente. Os custos caíram em ordens de grandeza em poucos anos, exatamente por isso que o ZK passou de artigos acadêmicos para produção. A compensação: pague uma vez para provar, e permita que todos verifiquem barato para sempre. Salve este 💜