可參照博客Extended twisted Edwards curve坐標系及相互轉換第2.3.2節，有：
$$2(X_0:Y_0:Z_0:T_0)=(X:Y:Z:T)$$
$X=(2X_0{Y}_0)(Z_0^2?d{T}_0^2)=eh$
$Y=(Y_0^2?a{X}_0^2)(Z_0^2+d{T}_0^2)=gf$
$T=(Y_0^2?a{X}_0^2)(2X_0{Y}_0)=eg$
$Z=(Z_0^2?d{T}_0^2)(Z_0^2+d{T}_0^2)=fh$
其中：
$e=2X_0{Y}_0,g=Y_0^2?a{X}_0^2,f=Z_0^2+d{T}_0^2,h=Z_0^2?d{T}_0^2$

對應的Extended坐標系表示為：
$${\epsilon }_{a,d}:=\{(X:Y:Z:T)\in P^3(F):XY=ZTanda?X^2+Y^2=Z^2+d?T^2\}$$

batch_invert的原理見博客curve25519-dalek中Scalar的Montgomery inversion及batch_invert算法第四節內容。

extended坐標系下的壓縮原理見博客ristretto255 point壓縮和解壓縮算法（2）——extended坐標系下中第2節。

總結

以上是生活随笔為你收集整理的curve25519-dalek中RistrettoPoint的double_and_compress_batch原理梳理的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。