feat(bls12-381): pairing using direct Fp12 + non-native Eval() (#1349)

Consensys · Dec 14, 2024 · 148d5ec · 148d5ec
1 parent e5315fb
commit 148d5ec
Show file tree

Hide file tree

Showing 12 changed files with 1,327 additions and 2,276 deletions.
diff --git a/internal/stats/latest_stats.csv b/internal/stats/latest_stats.csv
@@ -153,14 +153,14 @@ pairing_bls12377,bls24_315,plonk,0,0
 pairing_bls12377,bls24_317,plonk,0,0
 pairing_bls12377,bw6_761,plonk,51280,51280
 pairing_bls12377,bw6_633,plonk,0,0
-pairing_bls12381,bn254,groth16,1419904,2366999
+pairing_bls12381,bn254,groth16,947528,1567714
 pairing_bls12381,bls12_377,groth16,0,0
 pairing_bls12381,bls12_381,groth16,0,0
 pairing_bls12381,bls24_315,groth16,0,0
 pairing_bls12381,bls24_317,groth16,0,0
 pairing_bls12381,bw6_761,groth16,0,0
 pairing_bls12381,bw6_633,groth16,0,0
-pairing_bls12381,bn254,plonk,5593770,5250897
+pairing_bls12381,bn254,plonk,3642638,3233378
 pairing_bls12381,bls12_377,plonk,0,0
 pairing_bls12381,bls12_381,plonk,0,0
 pairing_bls12381,bls24_315,plonk,0,0

diff --git a/std/algebra/emulated/fields_bls12381/doc.go b/std/algebra/emulated/fields_bls12381/doc.go
@@ -1,6 +1,10 @@
-// Package fields_bls12381 implements the fields arithmetic of the Fp12 tower
+// Package fields_bls12381 implements the fields arithmetic of the direct 𝔽p¹² extension
 // used to compute the pairing over the BLS12-381 curve.
 //
+//	𝔽p¹²[i] = 𝔽p/i¹²-2i⁶+2
+//
+// This direct tower is isomorphic to the 2-3-2 tower:
+//
 //	𝔽p²[u] = 𝔽p/u²+1
 //	𝔽p⁶[v] = 𝔽p²/v³-1-u
 //	𝔽p¹²[w] = 𝔽p⁶/w²-v