Score:1

การลบจุด EC ที่มีตัวแทน Jacobi x,y,z

ธง om

ฉันกำลังสร้างไลบรารีขนาดเล็กสำหรับ Schnorr Signatures และ Oracle DLC ข้อความสำคัญคือ:

s_i G = R - h(i, R)V

  • R = k G; เครื่องกำเนิด G, k ไม่มีเลย
  • h(i, R) คือแฮชของข้อความ i (i เป็นหนึ่งในผลลัพธ์ที่จะลงนามโดย ออราเคิล)
  • V เป็นรหัสสาธารณะของ Oracle (= v G)

การดำเนินการ "เพิ่ม" และ "ทวีคูณ" ใช้การแสดง Jacobi เพื่อความรวดเร็ว ดังนั้นฉันต้องการการปฏิเสธเช่นกัน ค่าลบในการแทนค่า xy คือ (x, -y) ค่า xyz จะเป็นอย่างไร

นอกจากนี้ ในการทดลองของฉันพบว่าการนำไปใช้จริงนั้นเร็วกว่าในการดำเนินการเดี่ยว แต่ฉันไม่สามารถหาเอกสารเกี่ยวกับเรื่องนี้ได้มากนัก อะไรคือการนำไปใช้ที่เร็วที่สุดที่เป็นไปได้สำหรับการคำนวณลายเซ็น Schnorr

ขอบคุณ T.

แก้ไข: วิกิพีเดียบอกว่า -x แต่ฉันอ่านผิดหรืออยู่ในบริบทอื่น ถ้าฉันกด x,y,z -> x,-y,z ทุกอย่างจะเรียบร้อย ฉันอยากจะเข้าใจมากขึ้นว่าทำไม

poncho avatar
my flag
ไม่ใช่การปฏิเสธของ $(x,y)$ จริง ๆ แล้วเป็น $(x, -y)$ ใช่ไหม
T. Rossi avatar
om flag
อ๊ะ ใช่ ในการแทนค่า xy นั้นเป็นจริง
knaccc avatar
es flag
ไลบรารี Ed25519 มีสิ่งที่เรียกว่า "การคูณสเกลาร์สองเท่า" ซึ่งได้รับการปรับให้เหมาะสมสำหรับการตรวจสอบลายเซ็น Schnorr และมีประสิทธิภาพเป็นพิเศษบนเส้นโค้งนั้น
Score:2
ธง my

ค่าลบในการแทนค่า xy คือ (x, -y) ซึ่งจะเหมือนกันสำหรับการแทนค่า xyz หรือไม่

จุดเป็นตัวแทนของจาโคเบียน $(x, y, z)$ สอดคล้องกับการเป็นตัวแทนปกติ $(xz^{-2}, yz^{-3})$. การปฏิเสธที่จะเป็น $(xz^{-2}, -yz^{-3})$; วิธีง่ายๆ ในการรับสิ่งนั้นในการเป็นตัวแทนของจาโคเบียนก็คือ $(x, -y, z)$.

ใช่แล้ว การทำสิ่งที่ชัดเจนคือวิธีที่ถูกต้องในการคำนวณส่วนผกผัน

T. Rossi avatar
om flag
ขอบใจ! สำหรับคำอธิบายด้วย!

โพสต์คำตอบ

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