Nuestro informe de auditoría para la Máquina de Recursos de @anoma y el Adaptador de Protocolo EVM ya está disponible. Revisamos la implementación de RISC Zero, la arquitectura de pruebas de conocimiento cero y la integración con Ethereum.