Continúa aprendiendo @brevis_zk, la quinta parte de la serie de explicación del White Paper ha llegado:

¿Cómo se prueba que un "pedido" se convierte en un "resultado confiable en la cadena"?

Esta es una divulgación que explica el proceso de prueba de Brevis ZK.

En los últimos artículos, compartí con todos ustedes los tres principales productos de Brevis:

Pico puede dividir grandes tareas y procesarlas en paralelo

El Data Coprocessor puede calcular y verificar correctamente los datos históricos en la cadena.

TODA permite realizar transacciones de "pruebas de generación" en la plataforma.

¿Qué procesos pasará esa prueba desde la presentación de la demanda hasta convertirse en un "resultado confiable en la cadena"?

------------------------------------

Primer paso: el usuario o el contrato publica una "tarea de prueba"

Pon 2 ejemplos comunes:

"Ayúdame a probar cuál es el volumen de transacciones en la cadena de un cierto usuario en los últimos 30 días"
"Ayúdame a probar que los datos registrados en esta cadena son verdaderos"

Cuando publicamos una tarea de prueba, solo necesitamos decirle a Brevis tres cosas:

- ¿Qué necesitas demostrar?
- ¿Qué tan rápido debe devolverse la prueba (por ejemplo, 3 segundos)?
- ¿Cuánto estás dispuesto a pagar?

Se puede entender simplemente como la publicación de una "tarea externa" en la cadena.

------------------------------------

Paso dos: El mercado TODA dividirá según la complejidad de la tarea y asignará a los verificadores adecuados.

Específicamente, la tarea después de la publicación en el mercado TODA de Brevis:

El sistema se dividirá automáticamente en múltiples tareas pequeñas (soportadas por Pico).

Varios validadores ofrecerán cotizaciones según su propia situación de hardware y capacidad.

TODA seleccionará automáticamente a los mejores validadores para completar las tareas correspondientes, sin necesidad de intervención manual.

------------------------------------

Paso tres: el probador comienza a realizar el trabajo de cálculo y genera la subprueba.

Cada validador utiliza diferentes hardware que puede satisfacer los requisitos de la tarea para realizar el trabajo computacional y generar la prueba correspondiente.

Cuarto paso: Hacer que todas las subpruebas se fusionen automáticamente en una "prueba total"
Este paso utiliza la capacidad recursiva de Brevis Pico, donde cada tarea publicada tiene finalmente una única prueba.

Paso cinco: Enviar la prueba a la cadena para su verificación
De esta manera, la verificación se puede completar en solo unos milisegundos y con una pequeña cantidad de Gas, sin necesidad de recalcular ninguna lógica compleja; la confirmación en la cadena garantiza la autenticidad.

Paso seis: los entregadores a tiempo recibirán una recompensa correspondiente, mientras que los que incumplen sufrirán una penalización.

Como se puede ver, Brevis utiliza tecnología y productos innovadores para transformar la «prueba ZK» de una ingeniería matemática compleja en un proceso de producción y liquidación automatizado.

El proceso de Brevis es muy claro e intuitivo, y además se ha automatizado, sin necesidad de confiar en terceros, garantizando transparencia y descentralización. No es de extrañar que haya obtenido la colaboración de numerosos proyectos de primer nivel.

Sigue teniendo confianza en @brevis_zk, continúa manteniendo la interacción, esperando el próximo gran movimiento oficial. #BrevisZK