Concordo totalmente com essa perspetiva. Os primeiros sistemas de provas de conhecimento zero enfrentaram alguns desafios bastante fundamentais que atrasaram a adoção.

A primeira barreira foi óbvia—a geração de provas custava demasiado. A sobrecarga computacional tornava-se impraticável para muitas aplicações do mundo real. Fazer provas ZK significava consumir recursos consideráveis.

Mas há algo mais profundo também. Para além do espaço cripto, a proposta de valor não era totalmente clara. Por que motivo aplicações mainstream ou empresas precisariam realmente de provas de conhecimento zero? Que problema é que elas resolvem de facto para eles? Essa questão de ajuste produto-mercado estava completamente em aberto.

Depois, as coisas começaram a mudar. Os SNARKs apareceram e fizeram algumas melhorias. Seguiram-se os STARKs. Gradualmente, a parte mais pesada—a geração de provas cara—começou a tornar-se mais gerível. A matemática melhorou, as implementações tornaram-se mais inteligentes.

É o tipo de tecnologia que precisava tanto de avanços de desempenho como de casos de uso realmente relevantes para finalmente encaixar.