Anoma tebak naik turun permainan skor tertinggi berapa?
Sebelumnya saya sudah mendapatkan bola merah, hari ini ada bola kuning, tidak tahu apakah masih ada yang lain?
Ingat ketika pertama kali mengenal bukti nol pengetahuan, saya mempelajari sebuah permainan klasik 👇 A memberi orang buta B satu bola di tangan kiri dan satu bola di tangan kanan. Kedua bola ini sama kecuali warna yang mungkin berbeda, termasuk berat, sentuhan, dll. B dapat bertanya kepada A berkali-kali, tetapi pertanyaan tidak boleh terkait dengan warna. Apa yang harus dilakukan orang buta B untuk memastikan apakah kedua bola tersebut berwarna sama atau berbeda?
Orang buta B bisa menyembunyikan gerakannya dari A, kemudian B di belakang bisa menukar bola di tangannya atau tidak menukarnya, lalu membawanya ke depan dan bertanya kepada A: Apakah saya sudah menukar bola? Jika bolanya berwarna berbeda, A pasti tahu apakah B telah menukar atau tidak, jika bolanya berwarna sama, A tidak bisa melihat apakah B telah menukar, kemungkinan besar A akan salah menebak, sehingga dengan mengulangi operasi dan pertanyaan berkali-kali, selama A salah satu kali, dapat dipastikan bahwa kedua bola berwarna sama.
Permainan: Membuktikan "dua bola berwarna berbeda" tanpa mengungkapkan nilai warna masing-masing. Penggunaan ZK di Anoma: Membuktikan "set niat ini memenuhi konservasi aset + batasan" tanpa mengungkapkan detail internal (jumlah, preferensi lengkap). Pemetaan analogi: 1⃣Nilai tersembunyi: Warna spesifik bola ↔ Saldo akurat akun / Parameter internal niat. 2⃣Sifat yang perlu diungkapkan: Apakah warna berbeda ↔ Pencocokan legal / Saldo cukup / Pembatasan terpenuhi. 3⃣Metode pembuktian: pertukaran yang dapat dibedakan (apakah pertukaran terlihat) ↔ pembuktian kepuasan batasan sirkuit pengetahuan nol. Titik bersama inti: hanya mengungkap nilai kebenaran Boolean/batasan yang diperlukan, tidak mengungkap rahasia asli.
Anoma mengskalakan pemikiran ini di rantai nyata dengan bukti nol-pengetahuan: hanya mengungkapkan sifat 'pertemuan dan pemenuhan batasan', sementara menjaga niat dan rincian aset tetap rahasia, sehingga mewujudkan kesatuan privasi dan verifikasi.
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Anoma tebak naik turun permainan skor tertinggi berapa?
Sebelumnya saya sudah mendapatkan bola merah, hari ini ada bola kuning, tidak tahu apakah masih ada yang lain?
Ingat ketika pertama kali mengenal bukti nol pengetahuan, saya mempelajari sebuah permainan klasik 👇
A memberi orang buta B satu bola di tangan kiri dan satu bola di tangan kanan. Kedua bola ini sama kecuali warna yang mungkin berbeda, termasuk berat, sentuhan, dll. B dapat bertanya kepada A berkali-kali, tetapi pertanyaan tidak boleh terkait dengan warna. Apa yang harus dilakukan orang buta B untuk memastikan apakah kedua bola tersebut berwarna sama atau berbeda?
Orang buta B bisa menyembunyikan gerakannya dari A, kemudian B di belakang bisa menukar bola di tangannya atau tidak menukarnya, lalu membawanya ke depan dan bertanya kepada A: Apakah saya sudah menukar bola? Jika bolanya berwarna berbeda, A pasti tahu apakah B telah menukar atau tidak, jika bolanya berwarna sama, A tidak bisa melihat apakah B telah menukar, kemungkinan besar A akan salah menebak, sehingga dengan mengulangi operasi dan pertanyaan berkali-kali, selama A salah satu kali, dapat dipastikan bahwa kedua bola berwarna sama.
Permainan: Membuktikan "dua bola berwarna berbeda" tanpa mengungkapkan nilai warna masing-masing. Penggunaan ZK di Anoma: Membuktikan "set niat ini memenuhi konservasi aset + batasan" tanpa mengungkapkan detail internal (jumlah, preferensi lengkap).
Pemetaan analogi:
1⃣Nilai tersembunyi: Warna spesifik bola ↔ Saldo akurat akun / Parameter internal niat.
2⃣Sifat yang perlu diungkapkan: Apakah warna berbeda ↔ Pencocokan legal / Saldo cukup / Pembatasan terpenuhi.
3⃣Metode pembuktian: pertukaran yang dapat dibedakan (apakah pertukaran terlihat) ↔ pembuktian kepuasan batasan sirkuit pengetahuan nol. Titik bersama inti: hanya mengungkap nilai kebenaran Boolean/batasan yang diperlukan, tidak mengungkap rahasia asli.
Anoma mengskalakan pemikiran ini di rantai nyata dengan bukti nol-pengetahuan: hanya mengungkapkan sifat 'pertemuan dan pemenuhan batasan', sementara menjaga niat dan rincian aset tetap rahasia, sehingga mewujudkan kesatuan privasi dan verifikasi.