Score:0

ความหมายของความลึกของวงจรในการเข้ารหัสแบบโฮโมมอร์ฟิก

ธง tr

ขณะนี้ฉันกำลังพยายามเข้าใจการเข้ารหัสแบบโฮโมมอร์ฟิค และกำลังทำงานผ่านเอกสารโดย Armknecht et al (2558): https://eprint.iacr.org/2015/1192 ซึ่งให้ภาพรวมที่ดีและคำจำกัดความที่ชัดเจน

สิ่งเดียวที่ฉันสะดุดคือคำจำกัดความของ "ความลึกของวงจร" กระดาษกำหนดชุดของวงจร C เป็น

เราเริ่มต้นด้วยช่องว่าง P = {0, 1} ซึ่งเราเรียกว่าพื้นที่ข้อความธรรมดา และ ตระกูล F ของฟังก์ชันจาก tuples ของข้อความธรรมดาถึง P เราสามารถแสดงเช่น ทำหน้าที่เป็นวงจรบูลีนบนอินพุต ถ้าเราแสดงวงจรนี้ด้วย C เรา ใช้สัญกรณ์ฟังก์ชันสามัญ C(m1, m2, . . . , mn) เพื่อแสดงถึงการประเมินของ วงจรบนทูเพิล (m1, m2, . . . , mn)

ต่อมาจะกำหนด a รูปแบบโฮโมมอร์ฟิคปรับระดับ (คำจำกัดความที่ 8) เช่น

รูปแบบการประเมิน Câ (Gen, Enc, Eval, Dec) เรียกว่าแผนภาพโฮโมมอร์ฟิคแบบปรับระดับถ้ามันใช้ อินพุตเสริม α = d ถึง Gen ซึ่งระบุความลึกสูงสุดของวงจร ที่สามารถประเมินได้ ข้อกำหนดเพิ่มเติมคือความถูกต้องความกะทัดรัดและ ความยาวของผลลัพธ์การประเมินไม่ได้ขึ้นอยู่กับง.

สิ่งนี้นำเสนอแนวคิดของ ความลึกของวงจร.

คำถามของฉันนี่คือ

  1. ดังนั้น Circuit ในที่นี้จึงหมายถึงการรวมกันโดยพลการของวงจรลอจิคัลเบื้องต้น (และ หรือ xor ไม่ใช่)
  2. ความลึกของวงจรมากกว่าการพิจารณาจำนวน (น้อยที่สุด?) ของวงจร (เบื้องต้น?) รวมกันเป็นลำดับหรือไม่?

หรือระบุเป็นอย่างอื่น:

ข้อใดคือคำจำกัดความที่แน่นอนของ a วงจร, ก วงจรบูลีน และ ความลึกของวงจร?

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

kelalaka avatar
in flag
คำถามสองข้อนี้อาจครอบคลุมคำถามของคุณ [FHE: อะไรคือความแตกต่างระหว่างความลึกทวีคูณและระดับทวีคูณ?](https://crypto.stackexchange.com/q/72982/18298) [การแสดงฟังก์ชันเป็นวงจร FHE](https: //crypto.stackexchange.com/q/63781/18298)

โพสต์คำตอบ

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