Dizer uma coisa interessante: a Cysic na verdade não está a fazer "provas de conhecimento nulas mais rápidas", mas sim a desmontar e reinstalar todo o caminho de execução.

Atualmente, o maior problema do ZKP, para ser honesto, é que o hardware não é compatível — GPUs e CPUs comuns não conseguem lidar com circuitos densos e cálculos não lineares, sem mencionar a extrema necessidade de paralelismo. A abordagem da Cysic é bastante direta: já que o hardware genérico não funciona, vamos personalizar um conjunto, indo na direção dos ASIC.

Isto é, na verdade, cortar na camada base, sem comprometer a arquitetura existente.