ฉันกำลังอ่านคำอธิบายของ zkSnark ที่เขียนโดย Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf
ฉันเข้าใจทุกอย่างใน 15 หน้าแรก
ใน 3.4 การจำกัดพหุนาม (หน้า 16)
เราได้จำกัดผู้พิสูจน์ในการเลือกพลังการเข้ารหัสของ s แล้ว แต่ข้อจำกัดดังกล่าวไม่ได้ถูกบังคับใช้ เช่น สามารถใช้ วิธีที่เป็นไปได้ในการค้นหาค่าโดยพลการ $z_p$ และ $z_h$ ซึ่งเป็นไปตามสมการ $z_p = (z_h)^{t(s)}$ และมอบให้ผู้ตรวจสอบแทน $g^p$ และ $g^h$. ตัวอย่างเช่น สำหรับ r สุ่มบางตัว $z_h = g^r$ และ $z_p = (g^{t(s)})^{r}$, ที่ไหน $g^{t(s)}$ สามารถคำนวณได้จากพลังการเข้ารหัสที่ให้มา $s$. นั่นคือเหตุผลที่ผู้ตรวจสอบต้องการหลักฐานที่ให้เฉพาะการเข้ารหัสของพลังของ $s$ ถูกนำมาใช้ในการคำนวณ $g^p$ และ $g^h$ และไม่มีอะไรอื่น
ฉันไม่สามารถเข้าใจได้ว่าผู้พิสูจน์สามารถหาค่าโดยพลการของ $z_p$ และ $z_h$ ซึ่งตอบสนองความ $z_p = (z_h)^{t(s)}$? ตัวอย่างเช่น สำหรับ r สุ่มบางตัว $z_h = g^r$ และ $z_p = (g^{t(s)})^{r}$
ผู้พิสูจน์ไม่รู้ $s$ และเขาไม่รู้ $g$แล้วเขาจะทำอย่างไร?
ในระยะสั้น ฉันไม่สามารถเข้าใจได้ว่าอะไรคือการโจมตี (เพื่อป้องกัน) ซึ่งจำเป็นต้องมี "การจำกัดพหุนาม"
ต่อหน้า 15 ของกระดาษ บทพิสูจน์มีให้ด้วย $E(s^0)=E(1)=g$ (ผมจะเรียกสิ่งนี้ว่า $E_0$). ในทำนองเดียวกันพวกเขาให้ด้วย $$E_1:=E(s), E_1:=E(s^2),\cdots, E_d:=E(s^d).$$ อนุญาต $t(s)=\sum_{0\le i\le d}c_is^i$ (กับ $c_i$ รู้จักผู้พิสูจน์) แล้ว $g^{t(s)}=E(t(s))=\prod_{0\le i\le d}E_i^{c_i}$.
ดังนั้นผู้พิสูจน์รู้ทั้งสองอย่าง $g$ และ $g^{t(s)}$ และในกระดาษพวกเขาอาจเลือกแบบสุ่ม $r$ เพื่อสร้าง $z_h$ และ $z_p$ ด้วยการยกระดับคุณค่าเหล่านี้ให้เป็นพลัง $r$.
ประเด็นของการโจมตีคือการคำนวณข้างต้นไม่จำเป็นต้องมีความรู้ $p(x)$ ซึ่งเป็นสิ่งที่ผู้พิสูจน์ควรจะพิสูจน์ความรู้ ผู้ตรวจสอบโง่พอที่จะเชื่อว่าค่าสุ่ม $z_h$ ทำเท่ากัน $g^{h(s)}$ และนั่น $z_p$ ทำเท่ากัน $g^{p(s)}$ จะได้ไม่มีอะไรขัดแย้งกับความเชื่อของตน
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
