เพิ่งเจอมาครับ กระดาษที่น่าสนใจนี้และกำลังสงสัยว่า GL-SPHF ที่กระดาษสร้างขึ้นสามารถใช้เพื่อสร้างโครงร่างการเข้ารหัสพยานสำหรับโปรแกรมแยกย่อยพีชคณิตได้หรือไม่ นั่นคือหากอลิซสามารถรับค่าพารามิเตอร์ที่เหมาะสมได้ $\แกมม่า$ และ $\theta$ สำหรับ GL-SPHF สำหรับโปรแกรมการแตกกิ่งพีชคณิตที่กำหนด จากนั้นเธอสามารถรับคีย์สมมาตรจากแฮช $H$ คำนวณจากคีย์แฮชส่วนตัว $hk$เข้ารหัสข้อมูลบางส่วน จากนั้นส่งข้อมูลที่เข้ารหัสพร้อมกับรหัสแฮชสาธารณะ $hp$ และพารามิเตอร์สาธารณะให้กับ Bob ตอนนี้ Bob จะสามารถรับรหัสสมมาตรได้ก็ต่อเมื่อเขารู้จักพยานที่เหมาะสม
เมื่อนำไปใช้กับโปรแกรมแยกย่อยพีชคณิต ดูเหมือนว่าจะเป็นเทคนิคที่มีประโยชน์ แต่ไม่มีการกล่าวถึงแอปพลิเคชันเพื่อเป็นสักขีพยานในการเข้ารหัส ฉันพลาดอะไรไป รูปแบบข้างต้นไม่ปลอดภัยด้วยเหตุผลบางประการหรือไม่? หรือ ABPs ไม่ทรงพลังอย่างที่ฉันเข้าใจ? หรืออย่างอื่น?
ขอบคุณและขออภัยหากคำตอบนั้นชัดเจน
ใช่ คุณสามารถได้รับการเข้ารหัสพยานสำหรับภาษาที่เกี่ยวข้องกับ ABP จากผลลัพธ์นี้ - โดยทั่วไป การสร้างการเข้ารหัสพยานสำหรับภาษานั้นเป็นเรื่องง่าย $\mathcal{L}$ กำหนด SPHF สำหรับภาษาเดียวกัน
อย่างไรก็ตาม เราต้องระวังประเภทของภาษาที่เรากำลังพูดถึง เอกสารนี้มุ่งเป้าไปที่ภาษาที่ใช้ยืนยันและพิสูจน์โดยเฉพาะ ในบริบทของ ABP หมายความว่าเราสามารถรับการเข้ารหัสพยานสำหรับภาษาของแบบฟอร์มได้
$\mathcal{L}_F = \{(c_1, \cdots, c_n) \;:\; c_1 = \mathsf{Com}(x_1) \wedge \cdots \wedge c_n = \mathsf{Com}(x_n) \wedge F(x_1, \cdots, x_n) = 1\},$
ที่ไหน $\mathsf{คอม}$ เป็นรูปแบบความมุ่งมั่นและ $F$ เป็นโปรแกรมแยกสาขาเลขคณิต (ทางเลือกของค่าคงที่ $1$ ในความเท่าเทียมกันโดยพลการ) นี่เป็นตระกูลภาษาที่ค่อนข้างมีประโยชน์และเป็นตระกูลทั่วไป แต่ก็ยังเป็นตระกูลที่จำกัด
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
