Cuando se trata de sistemas de conocimiento cero, la mayoría de los diseños enfrentan eventualmente la misma elección.

zk-SNARKs o zk-STARKs.

Ambos son poderosos. Ambos tienen compromisos.

Para una capa de cómputo infinita que necesita empujar datos históricos masivos fuera de la cadena, @brevis_zk tomó una decisión muy deliberada.

Construyeron en torno a zk-SNARKs.

Por qué esto importa:

→ Pruebas extremadamente pequeñas mantienen la verificación en la cadena económica
→ La verificación rápida permite lógica de dApp casi en tiempo real
→ Las herramientas son maduras y probadas en batalla
→ Ideal para resumir conjuntos de datos históricos grandes de manera eficiente

Esto permite que una dApp demuestre algo como
que un usuario realizó 100 intercambios en los últimos 30 días
sin revelar cuáles intercambios ni detalles sensibles

Todo comprimido en una prueba que solo tiene unos pocos cientos de bytes de longitud.

Decisiones de diseño simples como esta son las que hacen que el cómputo verificable a gran escala realmente funcione.