não acho que muitos saibam quão incrivelmente complexa é a matemática por trás das provas ZK. Quando as provas são 1000x mais caras do que as nativas, cada recurso deve ser cuidadosamente otimizado. Esta engenharia de precisão é a razão pela qual construir um zkVM pronto para produção levou anos.