¿Cuál es la puntuación máxima en el juego de adivinar subir o caída de Anoma?
Antes saqué una bola roja, hoy salió una bola amarilla, no sé si hay más arriba.
Recuerdo que cuando comencé a conocer las pruebas de conocimiento cero, supe de un juego clásico 👇 A coloca una bola en cada mano de B, que es ciego. Estas dos bolas son idénticas en todo, excepto por el color que puede ser diferente, incluyendo peso, textura, etc. B puede hacerle a A un número ilimitado de preguntas, pero las preguntas no pueden estar relacionadas con el color. ¿Cómo puede B, el ciego, determinar si las dos bolas son del mismo color o de colores diferentes?
El ciego B puede tener las manos detrás de la espalda, de modo que A no pueda ver sus movimientos, y luego B puede intercambiar o no las bolas con las manos detrás de la espalda. Luego, las saca al frente y le pregunta a A: ¿he intercambiado las bolas? Si las bolas son de diferentes colores, A sabe con certeza si B ha intercambiado. Si son del mismo color, A no puede darse cuenta de si ha habido intercambio y es muy probable que se equivoque. Al repetir esta operación y preguntar varias veces, siempre que A se equivoque una vez, se puede determinar que los colores de las dos bolas son iguales.
Juego: demostrar "dos bolas de diferentes colores" sin revelar los valores específicos de cada color. Uso de ZK en Anoma: demostrar "este conjunto de intenciones cumple con la conservación de activos + restricciones" sin revelar detalles internos (monto, preferencias completas). Analogía de mapeo: 1⃣Valor oculto: color específico de la bola ↔ saldo exacto de la cuenta / parámetros internos de intención. 2⃣ Naturaleza a ser revelada: ¿es de color diferente ↔ emparejamiento legal/saldo suficiente/satisfacción de restricciones. 3⃣Método de prueba: permutaciones distinguibles (si el intercambio es visible) ↔ prueba de satisfacibilidad de circuitos de conocimiento cero. Punto en común clave: solo expone los valores de verdad booleanos/restricciones necesarios, no expone el secreto original.
Anoma escala esta idea en la cadena real utilizando pruebas de cero conocimiento: solo expone la propiedad de 'formación de coincidencias y restricciones', mientras mantiene en privado las intenciones y los detalles de los activos, logrando así la unidad entre privacidad y verificabilidad.
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
¿Cuál es la puntuación máxima en el juego de adivinar subir o caída de Anoma?
Antes saqué una bola roja, hoy salió una bola amarilla, no sé si hay más arriba.
Recuerdo que cuando comencé a conocer las pruebas de conocimiento cero, supe de un juego clásico 👇
A coloca una bola en cada mano de B, que es ciego. Estas dos bolas son idénticas en todo, excepto por el color que puede ser diferente, incluyendo peso, textura, etc. B puede hacerle a A un número ilimitado de preguntas, pero las preguntas no pueden estar relacionadas con el color. ¿Cómo puede B, el ciego, determinar si las dos bolas son del mismo color o de colores diferentes?
El ciego B puede tener las manos detrás de la espalda, de modo que A no pueda ver sus movimientos, y luego B puede intercambiar o no las bolas con las manos detrás de la espalda. Luego, las saca al frente y le pregunta a A: ¿he intercambiado las bolas? Si las bolas son de diferentes colores, A sabe con certeza si B ha intercambiado. Si son del mismo color, A no puede darse cuenta de si ha habido intercambio y es muy probable que se equivoque. Al repetir esta operación y preguntar varias veces, siempre que A se equivoque una vez, se puede determinar que los colores de las dos bolas son iguales.
Juego: demostrar "dos bolas de diferentes colores" sin revelar los valores específicos de cada color. Uso de ZK en Anoma: demostrar "este conjunto de intenciones cumple con la conservación de activos + restricciones" sin revelar detalles internos (monto, preferencias completas).
Analogía de mapeo:
1⃣Valor oculto: color específico de la bola ↔ saldo exacto de la cuenta / parámetros internos de intención.
2⃣ Naturaleza a ser revelada: ¿es de color diferente ↔ emparejamiento legal/saldo suficiente/satisfacción de restricciones.
3⃣Método de prueba: permutaciones distinguibles (si el intercambio es visible) ↔ prueba de satisfacibilidad de circuitos de conocimiento cero. Punto en común clave: solo expone los valores de verdad booleanos/restricciones necesarios, no expone el secreto original.
Anoma escala esta idea en la cadena real utilizando pruebas de cero conocimiento: solo expone la propiedad de 'formación de coincidencias y restricciones', mientras mantiene en privado las intenciones y los detalles de los activos, logrando así la unidad entre privacidad y verificabilidad.