Score:1

โปรโตคอลการสร้างคีย์ Gennaro & Goldfeder

ธง cn

ขณะที่ฉันกำลังจะผ่าน âเกณฑ์ ECDSA แบบหลายฝ่ายที่รวดเร็วพร้อมการตั้งค่าแบบไร้ความน่าเชื่อถือที่รวดเร็ว“กระดาษโดย Gennaro & Goldfeder, 2018 ฉันสะดุดกับโปรโตคอลการสร้างคีย์ (ส่วน 4.1, หน้า 10):

คลิปของโปรโตคอลการสร้างคีย์จาก Gennaro & Geldfeder, 2018

ในระยะที่ 1 พวกเขาสร้างคู่ (สัญญาผูกมัด, เลิกสัญญา) โดยใช้แผนสัญญา ก่อนหน้านี้ในรายงาน พวกเขากล่าวว่า "ในทางปฏิบัติ เราสามารถใช้ฟังก์ชันแฮชที่ปลอดภัยใดๆ ก็ได้ ชม และกำหนดปณิธานว่า x เช่น ชม. = ชม(x, ) สำหรับการเลือกแบบสม่ำเสมอ ความยาว ฉัน" และสันนิษฐานว่า ชม ทำตัวเป็นออราเคิลแบบสุ่ม เราใช้เวอร์ชัน oracle แบบสุ่มที่มีประสิทธิภาพนี้ในการนำไปใช้งานของเรา (ดูหน้า 6 ด้านล่าง) ตามที่ฉันเข้าใจ พวกเขาลดภาระผูกพันกับ HMAC ด้วยรหัส . สตริงการเลิกจ้างในกรณีนี้คืออะไร ใช่ไหม หรือว่าเป็น x? สตริงการเลิกจ้างมีไว้เพื่อจุดประสงค์ใด

ในระยะที่ 1 จะมีการออกอากาศสตริงข้อผูกมัด จากนั้นในเฟส 2 จะมีการออกอากาศสตริงการเลิกจ้าง อย่างที่ฉันเข้าใจ การแยกทางกันนั้นทำเพื่อให้ทุกคนมีพันธะผูกพันกันก่อนที่จะเห็นความผูกมัดของใครก็ตาม

ประโยคถัดไป: âปล่อยให้ ผม เป็นค่าที่เลิกใช้โดย พีผม. ก็เช่นกัน ผม = กก.ดสผม = ?

ประโยคถัดไป: âผู้เล่น พีผม ทำการ (ที, ) Feldman-VSS ของค่า ยูผม, กับ ผม เป็น âเทอมอิสระในเลขชี้กำลังâ ในการแบ่งปันความลับแบบพหุนามทั่วไปของคุณ (เช่น Shamir) ไม่ว่าคุณจะแบ่งปันค่าใดก็ตามจะเป็นคำศัพท์อิสระในพหุนาม สำหรับฉันแล้วมันดูเหมือนขัดแย้งกับตัวมันเองที่บอกว่าเรากำลังแบ่งปันกัน ยูผม และ ผม ในเวลาเดียวกัน. âพจน์อิสระในเลขยกกำลังâ ไม่ได้หมายถึงพจน์อิสระของพหุนามใช่หรือไม่ Feldman-VSS ทำงานแตกต่างจาก Shamir หรือไม่?

จากนั้น âค่าผลลัพธ์ xผม พื้นที่ (ที, ) การแบ่งปันความลับของ Shamirâ รหัสลับ x = $\ผลรวม$ผม ยูผม. ทำไม รหัสลับนี้จับคู่กับรหัสสาธารณะหรือไม่ ?

ความคิดเห็นใด ๆ จะยินดีมาก!

Score:1
ธง in

แบบแผนข้อผูกพันทั่วไปประกอบด้วยสองช่วง:

  1. ขั้นตอนการผูกมัด: ผู้ส่งเข้ารหัสข้อความเป็นค่าผูกมัดโดยใช้ ฟังก์ชันทางเดียวที่มีค่าสุ่มบางอย่าง เช่น การโยนเหรียญ ในโพสต์ของคุณ วลีนี้ช่วยให้แน่ใจว่าไม่มีผู้รับที่เป็นอันตรายได้รับข้อมูลใดๆ เกี่ยวกับข้อความ
  2. ขั้นตอนการยกเลิกสัญญา: ผู้ส่งควรส่งหลักฐานบางอย่างเพื่อพิสูจน์ว่ามูลค่าสัญญาผูกมัดข้างต้นถูกต้อง

ตัวอย่างเช่น สมมติว่าเรามีฟังก์ชันแฮชที่ปลอดภัย H(x,r)=H($X·h^r$) โดยที่ X=$ก^x$ เป็นรหัสสาธารณะ x คือค่าลับ r คือค่าสุ่ม จากนั้นเราสามารถสร้างข้อตกลง C= H($g^x·h^r$). ในการพิสูจน์ความถูกต้องของมูลค่าสัญญาผูกมัด C ผู้ส่งควรส่งมูลค่าการยกเลิกสัญญา = $h^r$ ไปยังเครื่องรับโดยมีหลักฐาน ZK ว่าทราบ r จากนั้นเครื่องรับจะตรวจสอบว่า C = H(X·R) ค้างอยู่หรือไม่

โครงการความมุ่งมั่นข้างต้นเป็นเพียงตัวอย่างที่ไม่สมควร แต่ในความเข้าใจของฉัน $y_i$ อาจจะ ฉันคิด.

โพสต์คำตอบ

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