zecfoundation
/
zcash-fpga
mirror of https://github.com/ZcashFoundation/zcash-fpga.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Function updates to do inversion, and point add/ double in Fp2

This commit is contained in:
bsdevlin 2019-06-12 18:02:39 +08:00
parent 9c8657fe41
commit 18115bc7eb
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
zcash_fpga/src/rtl/bls12_381/bls12_381_pkg.sv
View File

@ -211,7 +211,7 @@ package bls12_381_pkg;
D = fe2_mul(fe2_mul(3, I_X), I_X);
X = fe2_mul(D, D);
X = fe2_sub(X, fe2_mul(2, B));
Y = fe2_mul(D, fe2_sub(B, X));
Y = fe2_sub(Y, C);
Z = fe2_mul(fe2_mul(2, I_Y), I_Z);
@ -334,6 +334,15 @@ package bls12_381_pkg;
to_affine.y = fe_mul(p.y, fe_inv(z_));
endfunction
function fp2_jb_point_t fp2_to_affine(fp2_jb_point_t p);
fe2_t z_;
z_ = fe2_mul(p.z, p.z);
fp2_to_affine.z = FE2_one;
fp2_to_affine.x = fe2_mul(p.x, fe2_inv(z_));
z_ = fe2_mul(z_, p.z);
fp2_to_affine.y = fe2_mul(p.y, fe2_inv(z_));
endfunction
function print_jb_point(jb_point_t p);
$display("x:%h", p.x);
$display("y:%h", p.y);