Score:2

รับโปรแกรม รับโปรแกรมที่สามารถทำงานกับข้อมูลที่เข้ารหัส

ธง in

สมมติว่าฉันมีโปรแกรม $พี$. ฉันต้องการรับฟังก์ชันการเข้ารหัส $e$ฟังก์ชันการถอดรหัส $d$และโปรแกรม $คิว$ ดังนั้น $P(x) = d(Q(e(x)))$ สำหรับอินพุตทั้งหมด $x$. ตามหลักการแล้ว การเข้ารหัสจะไม่สมมาตร ($d$ ไม่สามารถหาได้จาก $e$).

สิ่งนี้จะช่วยให้สามารถสร้างแพลตฟอร์มคอมพิวเตอร์แบบกระจายศูนย์ที่คล้ายกับ Ethereum แต่ที่ซึ่งสัญญาสามารถจัดเก็บข้อมูลส่วนตัวได้ ซึ่งสามารถเข้าถึงได้โดยผู้ที่มีคีย์ถอดรหัสเท่านั้น

สิ่งนี้มีอยู่จริงหรือไม่?

Manish Adhikari avatar
us flag
มีสิ่งที่เรียกว่ารูปแบบการเข้ารหัสแบบโฮโมมอร์ฟิคคุณสามารถตรวจสอบได้
fgrieu avatar
ng flag
คุณจะต้องจำกัดสิ่งที่ $P$ สามารถทำได้ โชคดีถ้าเป็นเช่นนั้น โปรแกรมที่ส่งออกถ้า $x$ เป็นจำนวนเฉพาะ
SEJPM avatar
us flag
ข้อกำหนดดังกล่าวมีลักษณะเหมือนกับคุณสมบัติความถูกต้องของการเข้ารหัสแบบโฮโมมอร์ฟิกอย่างสมบูรณ์
fgrieu avatar
ng flag
@SEJPM: ใช่ _looks_ เหมือนเป็นข้อกำหนดสำหรับการเข้ารหัสแบบโฮโมมอร์ฟิคอย่างสมบูรณ์ แต่จะไม่ใช่ FHE เนื่องจากเรารู้ว่ามันจำกัด $P$ ให้เป็นฟังก์ชันพหุนามของ $x$; แล้วในเขตจำกัดเฉพาะ? สำหรับโปรแกรมวัตถุประสงค์ทั่วไป $P$ zk-SNARK อยู่ในใจ แต่ฉันไม่สบายใจกับสิ่งเหล่านี้ ดังนั้นจะไม่พยายามตอบ
SEJPM avatar
us flag
@fgrieu โดยไม่ต้องตรวจสอบฉันแน่ใจ 95% ว่าคุณสามารถสร้างวงจร (เลขคณิต) ตามอำเภอใจด้วยโครงร่าง FHE ส่วนใหญ่ (ในฟิลด์ที่กำหนดแน่นอน) ซึ่งควรอนุญาตให้คุณกำหนดการคำนวณตามอำเภอใจ (โดยใช้วงจร) และไม่ใช่แค่พหุนาม
fgrieu avatar
ng flag
@SEJPM: ในระดับทฤษฎีไม่มีความแตกต่างระหว่าง "โพลิโนเมียล .. ในฟิลด์ที่มีขอบเขตเฉพาะ" และ "วงจรโดยพลการ (เลขคณิต) .. ในฟิลด์ที่กำหนด" หากฟิลด์มีคำสั่ง $n$ มันง่ายที่จะสร้างรูปหลายเหลี่ยมของระดับ $n-1$ ที่ประเมินค่าเป็น 1 ที่จุดที่ระบุ และเป็น 0 ที่ส่วนอื่นทั้งหมด และจากนั้นสร้างรูปหลายระดับของ $n-1$ สำหรับฟังก์ชันใดๆ ดังนั้นฉันเห็นด้วยกับสิ่งที่คุณแน่ใจ 95% ทั้งทางทฤษฎีและทางปฏิบัติสำหรับสนามขนาดเล็ก แต่ฉันมีข้อสงสัยมากสำหรับการฝึกซ้อมและสนามขนาดใหญ่ หากคำถามให้แนวคิดว่าต้องการคำนวณอะไร นั่นจะช่วย...

โพสต์คำตอบ

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