จากข้อความแนะนำเบื้องต้นไปจนถึงเส้นโค้งวงรี เลขคณิตการเข้ารหัสจุดได้มาจาก "การวิเคราะห์มาตรฐาน": ผลรวม (ลบ) ของ $P_1$ และ $P_2$ ถูกกำหนดเป็นจุด $P_3$ซึ่งอยู่บนเส้นเชื่อมต่อ $P_1$ และ $P_2$:
จากที่ได้มันมา
ในจำนวนจริงฉันจะเข้าใจอย่างถ่องแท้ แต่โดยทั่วไปแล้ว ECC จะดำเนินการภายในฟิลด์จำกัด (เฉพาะ) $\mathbb{F}_p$.
ฉันจะเข้าใจการคูณ/การหารในสูตรการบวกได้อย่างไร $m \cdot (x_1-x_3) $ เนื่องจาก m เป็น "เศษส่วน"?
ปกติฉันคาดหวังอย่างนั้น $m$ เป็น "จำนวนเศษส่วน" และโดยทั่วไปไม่อยู่ใน $\mathbb{F}_p$. แล้วเป็นอย่างไร $m$ ได้รับเนื่องจาก "การหาร" ไม่ใช่การดำเนินการในฟิลด์ - มีเพียงองค์ประกอบผกผันการคูณ:
หมายความว่าฉันต้องคำนวณ
$y_3 = (y_2-y_1)(x_2-x_1)^{-1}(x_1-x_3) - y_1$
เนื่องจากการผกผันได้รับการกำหนดไว้อย่างดีและมีอยู่ $y_3$ ยังกำหนดไว้อย่างดี ข้อสันนิษฐานของฉันถูกต้องหรือไม่หรืออะไรคือ "เศษส่วน" $m$?
มันหมายความว่า, รากเหง้าให้ความรู้สึก, เพราะอย่างเป็นทางการแต่ละการดำเนินการที่ดำเนินการใน $\mathbb{R}$ สามารถทำควบคู่กันได้ภายใน $\mathbb{F}_p$เนื่องจากทั้งคู่เป็นเขตข้อมูลและสัญกรณ์ $a/b$ หมายความโดยปริยาย $aข^{-1}$?