ZK solo necesita memorizar esta oración. Convertir el resultado de la ejecución de un programa en una prueba matemáticamente verificable sin revelar el contenido. @brevis_zk es un coprocesador ZK que utiliza este ZK para ejecutar varios programas y proporciona los resultados para ser confiables junto con las pruebas ZK. Por ejemplo, alguien dijo: "Soy un OG que ha pagado 100 ether en tarifas de gas en Ethereum hasta ahora". Las personas que escuchan esto solo pueden creerlo. O bien, debe obtener una dirección de billetera y rastrear y calcular todas las transacciones usted mismo. En este proceso, también se divulga información como las direcciones de las billeteras. En este caso, se pueden utilizar coprocesadores ZK como Brevis para garantizar la confianza a través de pruebas ZK. De hecho, Brevis se está preparando para introducir un sistema con Kaito para impulsar las tablas de clasificación a través de pruebas ZK de las actividades en cadena de los ladridos de Kaito.