เป็นที่ทราบกันว่าเราสามารถถ่ายโอนอินสแตนซ์ ECDLP บนเส้นโค้งได้ $E$ กำหนดมากกว่า $\mathbb{F}_p$ สำหรับนายกรัฐมนตรี $p$ไปยังอินสแตนซ์ล็อกแบบไม่ต่อเนื่อง $\mathbb{F}_{p^k}$ สำหรับบางคน $k$. มันถูกเรียกว่า ระดับการฝังและเป็นจำนวนเต็มที่น้อยที่สุด $k$ เพื่อให้ลำดับของเส้นโค้งแบ่งออก $p^k-1$.
(วิธีหนึ่งในการทำเช่นนี้คือการใช้การจับคู่)
ฉันสนใจเกี่ยวกับเส้นโค้งไบนารี เช่น กำหนดมากกว่า $\mathbb{F}_{2^m}$ และต้องการทำสิ่งที่คล้ายกัน แต่ฉันไม่พบข้อมูลเกี่ยวกับระดับการฝังในกรณีนี้ (ตัวอย่างเช่น ฐานข้อมูลของเส้นโค้งไม่มีการกล่าวถึงระดับการฝังสำหรับเส้นโค้งไบนารี เช่น https://neuromancer.sk/std/secg/sect233k1). บางทีอาร์กิวเมนต์เกี่ยวกับพีชคณิตอาจล้มเหลว แต่ฉันไม่เห็นว่าทำไม
บริบท: ฉันต้องการพิสูจน์คำสั่งใน ZK เกี่ยวกับบันทึกที่ไม่ต่อเนื่องสองรายการบนเส้นโค้งที่ต่างกัน ฉันคิดว่าถ้าเส้นโค้งหนึ่งถูกกำหนดเป็น $\mathbb{F}_{2^m}$ และอื่น ๆ ใน $\mathbb{F}_{2^n}$ถ้าฉันสามารถโอนอินสแตนซ์ทั้งสองไปยังฟิลด์จำกัดได้ $\mathbb{F}_{2^{km}}, \mathbb{F}_{2^{ln}}$ ที่ไหน $k,l$ เป็นองศาการฝัง ฉันสามารถถือว่าสิ่งนี้เป็นส่วนขยายของฟิลด์และใช้เลขคณิต