Какой максимальный балл в игре Anoma на угадывание роста или падения?
Ранее я выиграл красный шар, сегодня пришел желтый шар, не знаю, есть ли еще?
Помню, когда я впервые узнал о нулевых доказательствах, я изучал одну классическую игру 👇 A дает слепому B по одному шару в каждую руку, эти два шара, кроме возможного различия в цвете, во всем остальном одинаковы, включая вес, тактильные ощущения и т. д. B может задавать A бесконечное количество вопросов, но вопросы не могут касаться цвета. Как слепой B может определить, одинакового цвета эти два шара или разного?
Слепой B может держать руки за спиной, чтобы A не видел его действий, затем B может обменять свои мячи за спиной или не обменивать их, а затем вынести их вперед и спросить A: обменивал ли я мячи. Если мячи разного цвета, A определенно знает, обменивал ли B их, если это мячи одного цвета, A не сможет определить, обменивал ли B их, и очень вероятно, что он ошибется. Таким образом, многократные операции и вопросы, лишь одно неверное ответ A позволит подтвердить, что два мяча одного цвета.
Игра: доказать, что "два шара разного цвета", не раскрывая конкретные значения их цветов. Применение ZK в Anoma: доказать, что "этот набор намерений соответствует сохранению активов + ограничениям", не раскрывая внутренних деталей (сумма, полные предпочтения). Аналогичное отображение: 1⃣Скрытое значение: конкретный цвет шара ↔ точный баланс счета / внутренний параметр намерения. 2⃣Необходимая открытость: имеются ли различные цвета ↔ Совпадение законно/достаточный баланс/соответствие ограничениям. 3⃣Способы доказательства: различимая перестановка (видимость обмена) ↔ доказательство удовлетворимости ограничений нулевых знаний. Основное общее: раскрывать только необходимые булевы/ограничительные истинности, не раскрывая оригинальные секреты.
Anoma масштабирует эту идею на реальной цепочке с помощью нулевых знаний: раскрывает только свойство "согласование и соблюдение условий", оставляя намерения и детали активов в тайне, достигая единства конфиденциальности и проверяемости.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Какой максимальный балл в игре Anoma на угадывание роста или падения?
Ранее я выиграл красный шар, сегодня пришел желтый шар, не знаю, есть ли еще?
Помню, когда я впервые узнал о нулевых доказательствах, я изучал одну классическую игру 👇
A дает слепому B по одному шару в каждую руку, эти два шара, кроме возможного различия в цвете, во всем остальном одинаковы, включая вес, тактильные ощущения и т. д. B может задавать A бесконечное количество вопросов, но вопросы не могут касаться цвета. Как слепой B может определить, одинакового цвета эти два шара или разного?
Слепой B может держать руки за спиной, чтобы A не видел его действий, затем B может обменять свои мячи за спиной или не обменивать их, а затем вынести их вперед и спросить A: обменивал ли я мячи. Если мячи разного цвета, A определенно знает, обменивал ли B их, если это мячи одного цвета, A не сможет определить, обменивал ли B их, и очень вероятно, что он ошибется. Таким образом, многократные операции и вопросы, лишь одно неверное ответ A позволит подтвердить, что два мяча одного цвета.
Игра: доказать, что "два шара разного цвета", не раскрывая конкретные значения их цветов. Применение ZK в Anoma: доказать, что "этот набор намерений соответствует сохранению активов + ограничениям", не раскрывая внутренних деталей (сумма, полные предпочтения).
Аналогичное отображение:
1⃣Скрытое значение: конкретный цвет шара ↔ точный баланс счета / внутренний параметр намерения.
2⃣Необходимая открытость: имеются ли различные цвета ↔ Совпадение законно/достаточный баланс/соответствие ограничениям.
3⃣Способы доказательства: различимая перестановка (видимость обмена) ↔ доказательство удовлетворимости ограничений нулевых знаний. Основное общее: раскрывать только необходимые булевы/ограничительные истинности, не раскрывая оригинальные секреты.
Anoma масштабирует эту идею на реальной цепочке с помощью нулевых знаний: раскрывает только свойство "согласование и соблюдение условий", оставляя намерения и детали активов в тайне, достигая единства конфиденциальности и проверяемости.