Score:0

ไลบรารีการเข้ารหัส Homomorphic รองรับการบวก การคูณ & การเปลี่ยนตรรกะ

ธง pk
Sam

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

ขอบคุณล่วงหน้า!

fgrieu avatar
ng flag
โดยปกติเราไม่อนุญาตให้ถามคำถามเพื่อขอคำแนะนำซอฟต์แวร์ แต่ฉันจะทำถ้าฉันได้อ่านคำถามว่าขอการเข้ารหัสแบบโฮโมมอร์ฟิค _method_ ที่สนับสนุนการบวก การคูณ & การเปลี่ยนเชิงตรรกะคุณควรระบุว่าค่าสัมประสิทธิ์สำหรับการคูณและจำนวนกะเป็นแบบสาธารณะหรือไม่ สิ่งต่างๆ จะง่ายกว่ามากหากเป็นเช่นนั้น นอกจากนี้ อาจระบุช่วงและความลึกของการแสดงออกที่ต้องการ ขอให้สังเกตว่าการเลื่อนทางตรรกะไปทางซ้ายคือการคูณด้วยกำลังสอง หากรองรับจำนวนจริงหรือจำนวนตรรกยะ จะใช้ได้กับการเลื่อนขวาด้วยพลังลบ
kelalaka avatar
in flag
ลองใช้ TFHE คีย์คือที่เก็บข้อมูลไบนารี
knaccc avatar
es flag
คุณสามารถอธิบายรายละเอียดเกี่ยวกับกรณีการใช้งานได้หรือไม่? แค่สร้างข้อผูกพัน Pedersen ง่ายๆ ของคุณเองด้วยไลบรารี EC อาจเพียงพอแล้ว
fgrieu avatar
ng flag
คิดดังๆ: [ALU](https://en.wikipedia.org/wiki/Arithmetic_logic_unit) ที่มีการเพิ่มและการคูณแบบ 32 บิต (modulo $2^{32}$) และ right shift สามารถสร้างได้โดยใช้เกทที่ค่อนข้างน้อย (มาก น้อยกว่าที่ต้องการแฮชที่ปลอดภัย) จากนั้นประตูเหล่านี้จะถูกนำไปใช้กับ TFHE ที่จะทำ?
kelalaka avatar
in flag
Shift ไม่ใช่ [ที่นี่](https://crypto.stackexchange.com/q/63781/18298) เนื่องจากไม่มีค่าใช้จ่ายในไบนารี
Sam avatar
pk flag
Sam
@fgrieur ขอบคุณที่แนะนำให้ใช้ TFHE เพื่อแก้ปัญหานี้ - ฉันตรวจสอบแล้วและดูเหมือนว่ามีแนวโน้มดีมาก ขอบคุณสำหรับคำแนะนำเกี่ยวกับคำถามของฉันด้วย
Sam avatar
pk flag
Sam
@kelalaka ขอบคุณสำหรับคำแนะนำของ TFHE
Sam avatar
pk flag
Sam
@knaccc ขอบคุณสำหรับคำแนะนำของคุณ - ฉันจะตรวจสอบ

โพสต์คำตอบ

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