não acho que muitos saibam o quão incrivelmente complexa é a matemática por trás das provas ZK. Quando as provas são 1000 vezes mais caras do que as nativas, todos os recursos devem ser cuidadosamente otimizados. Essa engenharia de precisão é o motivo pelo qual a construção de um zkVM pronto para produção levou anos.