Score:2

พิสูจน์ความรู้เป็นศูนย์: groth16. รหัสพิสูจน์สามารถเปิดเผยต่อสาธารณะได้หรือไม่

ธง in

นี่คือคำพูดจากเอกสารของ gnark

โปรดทราบว่าขั้นตอนนี้ต้องได้รับการพิจารณาอย่างรอบคอบในสภาพแวดล้อมการผลิต groth16.Setup ใช้การสุ่มเพื่อคำนวณคีย์พิสูจน์และยืนยันล่วงหน้า หากกระบวนการหรือเครื่องจักรรั่วไหลจากการสุ่มนี้ ผู้โจมตีอาจทำลายโปรโตคอล ZKP ได้

ดูเหมือนว่าจะมี ความบังเอิญบางอย่าง ในขั้นตอนการตั้งค่า ฉันจะแบ่งปันรหัสการตรวจสอบ ดังนั้นจึงเป็นเหมือน PublicKey มากกว่า แต่ฉันต้องเก็บรหัสการพิสูจน์ไว้เป็นความลับและทำลายมันในภายหลังหรือไม่?

ปล คีย์ Prover และ Verifier เป็นสิ่งที่เรียกว่า "พารามิเตอร์สาธารณะ" หรือไม่

Score:2
ธง ru

ใช่. รหัส Prover สามารถเป็นสาธารณะ

https://consensys.net/blog/developers/introduction-to-zk-snarks/

ตัวสร้างคีย์ G ใช้พารามิเตอร์ลับแลมบ์ดาและโปรแกรม C และสร้าง สองคีย์ที่เปิดเผยต่อสาธารณะ, คีย์พิสูจน์ pk และคีย์ยืนยัน vk

โพสต์คำตอบ

คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา