บรรจวบ เข้าสู่ระบบ
Score:1
张海军 avatar Crypto

ทำไม Kate Commitment และ Algebraic Group Model จึงถูกนำมาใช้มากในระบบพิสูจน์ zk-SNARKs ตั้งแต่ปี 2019ï¼

ธง lb
张海军

ฉันมีส่วนร่วมในการวิจัยของ zk-SNARK หลังจากที่ฉันอ่านบทความเกี่ยวกับ zk-SNARKs ฉันก็รู้ว่า ความมุ่งมั่นของเคท และ โมเดลกลุ่มพีชคณิต ถูกใช้มากตั้งแต่ปี 2019 ใช้ใน โซนิค, ก้อน, มาร์ลิน และอื่น ๆ เอกสารเหล่านี้ส่วนใหญ่เป็นเรื่องเกี่ยวกับ "zk-SNARK ที่เป็นสากลและอัปเดตได้" ฉันต้องการทราบว่า Kate Commitment, AGM และ "zk-SNARK ที่เป็นสากลและอัปเดตได้" มีความเชื่อมโยงบางอย่างหรือไม่ และอะไรเป็นแรงบันดาลใจให้ Kate Commitment, AGM ถูกใช้บ่อยใน "zk-SNARK ที่เป็นสากลและอัปเดตได้"

หวังว่าจะมีคนช่วยฉันแก้ปัญหานี้ ขอบคุณล่วงหน้า!

98
0 + 0
Bean Guy avatar
in flag
Bean Guy
zk-SNARK เหล่านี้เป็นสากลและอัปเดตได้เพราะ Kate เป็น แม่นยำยิ่งขึ้น สตริงอ้างอิงแบบมีโครงสร้าง (srs) ที่ใช้ในข้อตกลงของ Kate มีแนวโน้มที่จะเป็นข้อผูกมัดของพลังของตัวเลขลับบางตัว $s$ จนถึงเลขชี้กำลังบางตัว $n$ ตราบใดที่วงจรของคุณไม่เกินเกต $n$ คุณสามารถใช้ srs เดิมต่อไปได้ ยิ่งไปกว่านั้น คุณสามารถเปลี่ยน srs นี้กับอันอื่นได้ตลอดเวลา (นี่คือเหตุผลว่าทำไมจึงอัปเดตได้)
1
ตอบกลับ
张海军 avatar
lb flag
张海军
ฉันคิดว่าคุณพูดถูกเกี่ยวกับ Kate Commitment แล้ว AGM ล่ะ? ทำไมถึงใช้กันเยอะตั้งแต่ปี 2019? เอกสารเหล่านี้เกือบทั้งหมดเกี่ยวกับ zk-SNARK
0
ตอบกลับ
Bean Guy avatar
in flag
Bean Guy
นี่เป็นเพราะเหตุผลทางทฤษฎีมากกว่า AGM ถูกนำมาใช้เนื่องจากเป็นแบบจำลองความปลอดภัยซึ่งง่ายกว่ามากที่จะสันนิษฐานว่าใช้ Q-Discrete Logarithm Assumption (ซึ่งจำเป็นต่อการทำให้ระบบสอดคล้องกัน)
0
ตอบกลับ
张海军 avatar
lb flag
张海军
จากข้อมูลของ Plonk “การตรวจสอบการจับคู่จริง” หมายถึงการตรวจสอบความสัมพันธ์ขององค์ประกอบใน Gi และ “การตรวจสอบการจับคู่ในอุดมคติ” หมายถึงการตรวจสอบความสัมพันธ์ขององค์ประกอบที่เกี่ยวข้องใน Fp สมมติฐาน q-Dlog ใช้เพื่อพิสูจน์ช่องว่างความน่าจะเป็นระหว่างการตรวจสอบทั้งสองนี้ว่าไม่มีนัยสำคัญ มันใช่เหรอ?
0
ตอบกลับ
us flag
AntonioFa
สมมติฐาน AGM เทียบกับ KoE อนุญาตให้มีองค์ประกอบกลุ่มครึ่งหนึ่งทั้งใน SRS และการพิสูจน์ ดังนั้นสำหรับความสามารถในการปรับขนาดจึงมีประโยชน์จริงๆ เอกสารฉบับแรกของ AGM ได้รับการตีพิมพ์ในปี 2560 และฉันคิดว่าบางครั้งผู้คนจำเป็นต้องตระหนักว่ามันมีประโยชน์เพียงใด
0
ตอบกลับ
ธงชาติไทย
Kulap
คำถามนี้เป็นภาษาอื่นๆ:

โพสต์คำตอบ

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