Score:2

การตรวจสอบการทำงานของโปรแกรม

ธง si

ฉันต้องการทราบว่าสามารถใช้การเข้ารหัสดั้งเดิมแบบใดสำหรับอลิซเพื่อพิสูจน์ให้บ็อบเห็นว่าเธอใช้งานโปรแกรมจริง เป้าหมายคือสร้างหลักฐานการทำงานที่เป็นประโยชน์ โดยที่อลิซพิสูจน์ว่าเธอยืนยันการทำธุรกรรม แต่หลักฐานนี้เชื่อมโยงกับกุญแจสาธารณะของอลิซ การสร้างการพิสูจน์จะต้องทำได้โดยการรันโปรแกรมเท่านั้น การตรวจสอบหลักฐานควรทำได้เร็วกว่ามากโดยใช้รหัสสาธารณะของอลิซ

อินพุต (ทุกคนรู้จัก):

  • ตัวตนของอลิซ (รวมถึงรหัสสาธารณะและเนื้อหาที่จำเป็นอื่นๆ)
  • อินพุตของโปรแกรม
  • โปรแกรมนั่นเอง
  • ผลลัพธ์ของโปรแกรม

ผลลัพธ์ (สร้างโดยอลิซ):

  • หลักฐานการดำเนินการ

การยืนยัน (ดำเนินการโดย Bob):

  • นำข้อมูลทั้งหมดบวกกับหลักฐานการดำเนินการ และตรวจสอบว่าถูกต้อง

ข้อ จำกัด:

  • แม้ว่าอีฟจะรู้อินพุตและเอาต์พุตทั้งหมด แต่ก็ไม่ควรทำให้เธอได้เปรียบในการสร้างหลักฐานการดำเนินการของเธอเอง
  • การตรวจสอบควรเร็วกว่าการสร้างหลักฐานใหม่

ขณะนี้ฉันกำลังดู Verifiable Delay Functions และ Verifiable Random Function แต่ดูเหมือนจะไม่เข้าเป้านัก บางทีอาจใช้ ZKP บางชนิดได้ แต่เพื่อพิสูจน์ว่าการดำเนินการทั่วไปของโปรแกรมนั้นดูเป็นเรื่องที่ยากมาก

cn flag
การคำนวณที่ตรวจสอบได้จะช่วยได้หรือไม่ เช่น https://eprint.iacr.org/2013/279.pdf คุณลักษณะที่สำคัญของ VC คือการตรวจสอบการคำนวณควรมีประสิทธิภาพมากกว่าการคำนวณเอง อย่างไรก็ตาม สิ่งเหล่านี้คือ ZKP เนื่องจากผู้ตรวจสอบจำเป็นต้องทราบอินพุต แต่ดูเหมือนว่าจะตรงกับความต้องการของคุณ
cn flag
ขออภัย พิมพ์ผิด ควรเป็น *ไม่ใช่ ZKP* ฉันไม่สามารถแก้ไขได้ด้วยเหตุผลบางประการ
si flag
ในกระดาษจะแสดงให้เห็นว่าสามารถใช้เป็น ZKP ได้อย่างไร อย่างไรก็ตาม หากอีฟต้องการพิสูจน์ว่าเธอได้ตรวจสอบโปรแกรมแล้ว เธอจะต้องโทรหา 'KeyGen' อีกครั้ง ซึ่งดูเหมือนจะมีค่าใช้จ่ายค่อนข้างสูง ฉันดูเอกสารที่อ้างถึงพินอคคิโอเล็กน้อย แต่ไม่พบสิ่งใดที่สามารถลบการเรียกหลายครั้งไปยัง `KeyGen` ได้
jp flag
ตามคำนิยาม ข้อมูลที่อลิซมีซึ่งบ๊อบไม่มีคือผลลัพธ์ของโปรแกรม เราสามารถสร้างผลลัพธ์ขั้นกลางทั้งหมดเพื่อพิสูจน์ว่าอลิซรู้ผลลัพธ์ขั้นกลางจริง ๆ แต่อีฟก็จะรู้เช่นกัน

โพสต์คำตอบ

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