Biaya komunikasi minimum untuk bukti nol pengetahuan tiga warna


11

Bukti Goldreich et al. Bahwa tiga warna memiliki nol bukti pengetahuan menggunakan komitmen bit untuk seluruh pewarnaan grafik di setiap putaran [1] Jika grafik memiliki simpul dan tepi e , hash aman memiliki b bit, dan kami mencari probabilitas kesalahan p , total biaya komunikasi adalahnebp

O(benlog(1/p))

lebih dari putaran. Menggunakan secara bertahap mengungkapkan pohon Merkle, komunikasi total dapat dikurangi menjadi O ( b e log n log ( 1 / p ) ) pada biaya meningkatkan jumlah putaran untuk O ( log n ) .O(1)O(belognlog(1/p))O(logn)

Apakah mungkin melakukan lebih baik dari ini, baik dalam hal komunikasi total atau jumlah putaran?

  1. http://www.wisdom.weizmann.ac.il/~oded/X/gmw1j.pdf

Sunting : Terima kasih kepada Ricky Demer karena menunjukkan faktor yang hilang dari .e

Jawaban:


3

Jadi, inilah kertas yang tepat untuk tujuan saya:

Joe Kilian, "Catatan tentang bukti dan argumen nol-pengetahuan yang efisien." http://people.csail.mit.edu/vinodv/6892-Fall2013/efisienargs.pdf

Untuk mendapatkan hasil terkuat, kita perlu menerima nol argumen pengetahuan daripada bukti (prover terikat secara komputasi); ini adalah apa yang saya tertarik tetapi tidak tahu terminologinya.

Dengan asumsi asumsi kriptografi yang cukup, makalah ini tidak memberikan argumen pengetahuan dengan komunikasi total untuk c = O ( 1 ) .O(blogcnlog(1/p))c=O(1)

Hasil ini diperketat menjadi putaran oleh Ishai et al., "Tentang PCP Tanpa Pengetahuan yang Efisien", http://www.cs.virginia.edu/~mohammad/files/papers/13%20ZKPCPs.pdf .O(1)


Saya pikir lebih baik untuk menghapus jawaban ini dan memperbarui yang asli Anda menjadi jawaban yang benar.
Kaveh

2

Pembaruan : Jawaban ini sudah usang oleh jawaban saya yang lain, dengan batasan polylogarithmic sepenuhnya dari referensi yang sesuai.

Setelah dipikir-pikir, tidak perlu mengungkapkan pohon Merkle secara bertahap, sehingga versi komunikasi yang lebih rendah tidak memerlukan putaran tambahan. Langkah-langkah komunikasi adalah

  1. Prover P mengacak pewarnaannya, mengubahnya menjadi pohon Merkle (asin), dan mengirimkan root ke verifier V.
  2. e
  3. e

O(belognlog(1/p))O(1)

2ab2a+11b

Di babak pertama, prover hanya mengirim nilai root, yang tidak memberikan informasi karena hash dengan nonce root. Pada ronde ketiga, tidak ada informasi yang disampaikan tentang simpul yang tidak diperluas dalam pohon biner, karena simpul seperti itu di hash dengan nonce pada simpul itu. Di sini saya mengasumsikan bahwa prover dan verifier keduanya terikat secara komputasi dan tidak dapat menghancurkan hash.

Sunting : Terima kasih kepada Ricky Demer karena menunjukkan faktor yang hilang dari ee


Langkah 1 akan memberi verifier cara akurasi tinggi untuk menguji setiap tebakan pada pewarnaan pepatah, hanya menggunakan 6 kali kerja langkah-1 pepatah per tebakan. Juga, saya tidak melihat cara untuk menggunakan pohon Merkle yang dihitung oleh pepatah tanpa beralih dari bukti ke argumen .

Bagaimana pohon Merkle asin dapat digunakan untuk menebak pewarnaan?
Geoffrey Irving

1
Saya mengirim jawaban yang mengatakan mengapa saya pikir ide Merkle Tree asin tidak bekerja. Alih-alih, Anda harus mengubah komitmen menjadi pengacakan warna menjadi pohon Merkle. Saya juga memperhatikan bahwa Anda tampaknya kehilangan faktor number_of_edges dalam kompleksitas komunikasi.

1
Yah, orang bisa mempertimbangkan janji bahwa penugasan itu bisa menjadi 3-warna yang valid atau [setidaknyaδe ujung-ujungnya memiliki simpul berwarna sama]. Itu menjatuhkan kompleksitas komunikasi O(((bn)/δ)log(n)). (lanjutan ...)

1
(... lanjutan) Selanjutnya, orang dapat menerapkan mesin PCP untuk mengurangi standar hubungan 3-pewarnaan dengan hubungan-janji itu.Kemudian, membawa gagasan itu ke ekstremnya memberikan argumen universal tanpa pengetahuan .

1

Ada lonjakan baru-baru ini dalam aktivitas dalam argumen tanpa pengetahuan interaktif non-interaktif singkat. Diketahui bagaimana misalnya membangun argumen NIZK untuk Circuit-SAT di mana panjang argumen adalah jumlah elemen grup yang sangat kecil (lihat Groth 2010, Lipmaa 2012, Gennaro, Gentry, dll, Eurocrypt 2013, dll). Berdasarkan pengurangan NP Anda kemudian dapat dengan jelas membangun argumen untuk 3-colorability dengan komunikasi yang sama.

Tentu saja ini adalah model yang berbeda dibandingkan dengan pertanyaan awal Anda - misalnya, dalam argumen tersebut, panjang CRS linear dalam ukuran sirkuit, dan dalam beberapa hal dapat dianggap sebagai bagian dari komunikasi (meskipun dapat digunakan kembali dalam banyak argumen berbeda).


0

(Ini tidak cocok dengan komentar.)

Saya pikir saya sekarang melihat bagaimana menunjukkan bahwa pengasinan Anda tidak serta merta memberikan
pengetahuan nol yang jujur.H0
H0H1H0
H1H0
||H2


xz((3b)+6)y
mm=x||111...[b of them]...111||y||z,
Salah satu memilikiH2(m)=x||111...[b of them]...111||H1(m)||z



xrmxrm
H2(m)=x||111...[b of them]...111||H1(m)||x



m
H2(m)=
[b+3 bits whose values don't matter]||H1(m)||[3 bits whose values don't matter].


.



H1H2H1H1
H0H0H2


1/(2(b1))


Saya tidak yakin saya mengikuti notasi Anda, tetapi sepertinya Anda berpendapat bahwa Anda dapat mengambil sketsa saya dan mengisi rinciannya dengan cara yang jelas-jelas konyol, sehingga menghasilkan sistem yang tidak aman. Saya akan menambahkan versi aman dari detail untuk jawaban saya.
Geoffrey Irving

H2 Yang lainnya adalah apa yang saya pikir Anda maksud sebenarnya.

Tolong beri tahu saya apakah perincian yang ditambahkan ke jawaban saya memperjelas. Sangat mungkin bahwa saya kehilangan sesuatu dan konstruksi saya memang rusak.
Geoffrey Irving
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.