エドワーズ曲線
TL; DR
zerochainキャッチ・アップがてらのコードリーディングで発見したJubjub上の点の表現について整理
エドワーズ曲線の点をアフィン座標で表す？
場所的にｈは
zero-chain/core/jubjub/src/curve/edwards.rs この辺りのお話
ソースコード
code: edwards.rs
// Represents the affine point (X/Z, Y/Z) via the extended
// twisted Edwards coordinates.
//
// See "Twisted Edwards Curves Revisited"
// Huseyin Hisil, Kenneth Koon-Ho Wong, Gary Carter, and Ed Dawson
pub struct Point<E: JubjubEngine, Subgroup> {
x: E::Fr,
y: E::Fr,
t: E::Fr,
z: E::Fr,
_marker: PhantomData<Subgroup>
}
https://gyazo.com/c0caeb911961422a80c9d20059e2f718
https://gyazo.com/510e64796fee49bdffa910a219d4da31
(from Designing efficient R1CS circuits)
birationally equivalent to Mongomery Curve?
birationally equivalent とは？
https://gyazo.com/e11e401bcd5f62a50e477542df4e14b6
参考資料