Nesta área de ZK, todos estão se esforçando para inovar nos algoritmos, mas, para ser honesto, o verdadeiro gargalo é se o poder de computação é suficiente. Aqueles fórmulas matemáticas parecem bonitas, mas a realidade é bastante dura — os recursos computacionais necessários para gerar um zk-SNARKs não podem ser resolvidos apenas com ajustes no nível do código.

Nestes dois últimos anos, você perceberá que, por mais que a otimização de software seja trabalhada, não se consegue ultrapassar a barreira do hardware. A demanda por poder de computação para a geração de provas está lá, é um custo fixo. Quer que o ZK se torne realmente escalável? Apenas ter matemáticos escrevendo algoritmos bonitos não é suficiente; é necessário ter recursos de poder de computação suficientes e baratos para acompanhar.