O ZK tem sido exaltado há vários anos, mas quantos realmente resolveram problemas de forma concreta? Poucos.

Cysic é um exemplo. Enquanto outros ainda discutem as rotas tecnológicas e narrativas de mercado, este grupo já se aprofundou na camada de validação, redesenhando a arquitetura de hardware. O objetivo é claro: resolver os três problemas mais críticos do ZK - validação muito lenta, custo muito alto e a incapacidade de escalonar.

A abordagem deles é muito hardcore. Não fazem coisas superficiais, otimizam diretamente o processo de geração e verificação de provas ZK a partir do nível de hardware. Este trabalho árduo e cansativo não apresenta dados impressionantes a curto prazo, mas a longo prazo? Esta é a infraestrutura fundamental que realmente levará a tecnologia ZK a uma aplicação em larga escala.

A indústria precisa não apenas de pioneiros conceituais, mas também de práticos que consigam superar um a um os gargalos tecnológicos.