En el actual campo de Web3, muchos proyectos afirman que utilizan la tecnología de zk-SNARKs, pero en la práctica enfrentan numerosos desafíos. La mayoría de los proyectos simplemente están ejecutando un programa de generación de pruebas (prover) en sus propios servidores, en lugar de integrar y aplicar verdaderamente la tecnología de zk-SNARKs.

Esta situación se debe a la complejidad de la integración de la tecnología zk-SNARKs: la falta de estándares de interfaz unificados, la necesidad de adaptar por separado diferentes sistemas de prueba, y la transmisión de parámetros dinámicos y la combinación de tareas son aún más difíciles. Esto ha llevado a que la aplicación de la tecnología zk-SNARKs en Web3 no haya alcanzado ni de lejos el nivel de difusión y conveniencia que debería tener.

Sin embargo, el modelo de Proof Request propuesto por la red Boundless podría cambiar esta situación. Este modelo innovador tiene como objetivo estandarizar, crear interfaces y ser combinable en las solicitudes de prueba, lo que se espera que se convierta en un avance clave de la tecnología ZK en el ámbito de Web3.

La Solicitud de Prueba se puede considerar un "contenedor de tareas en la cadena", cuyos componentes centrales incluyen:
1. Proof Spec: El sistema de prueba que se debe invocar, como Halo2 o Plonky2.
2. Especificación de entrada: define la estructura de los parámetros de entrada de la tarea, admitiendo múltiples tipos de datos.
3. Configuración de restricciones: establece las condiciones de restricción para la ejecución del circuito, incluyendo duración, uso de memoria y formato de salida, entre otros.
4. Regla de Callback: especifica la ruta de retorno del resultado, que puede ser en cadena o fuera de cadena.

La importancia de este modelo radica en que no es solo otro motor de pruebas, sino que proporciona una capa de API estandarizada para la tecnología ZK. A través de la Solicitud de Prueba, los desarrolladores pueden integrar y utilizar más fácilmente la tecnología ZK sin tener que profundizar en los detalles específicos de cada sistema de pruebas.

Este enfoque de estandarización y abstracción promete reducir significativamente la barrera de entrada para el uso de la tecnología ZK, convirtiéndola en un módulo verdaderamente universal dentro del ecosistema Web3. Con innovaciones como esta, podemos esperar ver más proyectos de Web3 que puedan aprovechar eficazmente la tecnología ZK, impulsando así el avance de toda la industria.