Há uma questão muito real: todos querem verificar a autenticidade dos dados na cadeia, mas a autoridade das ferramentas de verificação é controlada por um pequeno número de jogadores. Quer verificar livremente? Pode, mas terá de suportar velocidades lentas, altos custos e ainda rezar para que as ferramentas não falhem.

Recentemente estou a estudar projetos de provas de conhecimento zero, e isso parece-me muito familiar. A tecnologia ZK em si é poderosa, mas o processo de geração de provas é simplesmente um desastre — os requisitos de hardware são elevados, o tempo de prova é longo e os custos são elevados. A "verificação sem confiança" teórica ainda depende, na prática, das poucas instituições capazes de fornecer serviços de prova de alto desempenho.

Dito de forma simples, por mais avançada que a tecnologia seja, se a infraestrutura não acompanhar, os desenvolvedores comuns não conseguirão trabalhar. Se o gargalo da prova não for resolvido, a aplicação em larga escala do ZK ficará apenas na fase de PPT.