GO-2024-3122: Groth16 commitment extension unsound for more than one commitment in github.com/consensys/gnark

algebra

package

v0.9.0-alpha Latest Latest Go to latest Published: Aug 18, 2023 License: Apache-2.0 Imports: 0 Imported by: 25

Details

Valid go.mod file
Redistributable license
Tagged version
Stable version
Learn more about best practices

Repository

github.com/consensys/gnark

Documentation ¶

Overview ¶

Package algebra implements:

base finite field 𝔽p arithmetic,
extension finite fields arithmetic (𝔽p², 𝔽p⁴, 𝔽p⁶, 𝔽p¹², 𝔽p²⁴),
short Weierstrass curve arithmetic over G1 (E/𝔽p) and G2 (Eₜ/𝔽p² or Eₜ/𝔽p⁴)
twisted Edwards curve arithmetic

These arithmetic operations are implemented

using native field via the 2-chains BLS12-377/BW6-761 and BLS24-315/BW-633 (`native/`) or associated twisted Edwards (e.g. Jubjub/BLS12-381) and
using nonnative field via field emulation (`emulated/`). This allows to use any curve over any (SNARK) field (e.g. secp256k1 curve arithmetic over BN254 SNARK field or BN254 pairing over BN254 SNARK field). The drawback of this approach is the extreme cost of the operations.

Source Files ¶

View all Source files

doc.go

Directories ¶

Path	Synopsis
emulated
fields_bls12381 Package fields_bls12381 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BLS12-381 curve.	Package fields_bls12381 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BLS12-381 curve.
fields_bn254 Package fields_bn254 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BN254 curve.	Package fields_bn254 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BN254 curve.
sw_bls12381 Package sw_bls12381 implements G1 and G2 arithmetics and pairing computation over BLS12-381 curve.	Package sw_bls12381 implements G1 and G2 arithmetics and pairing computation over BLS12-381 curve.
sw_bn254 Package sw_bn254 implements G1 and G2 arithmetics and pairing computation over BN254 curve.	Package sw_bn254 implements G1 and G2 arithmetics and pairing computation over BN254 curve.
sw_emulated Package sw_emulated implements elliptic curve group operations in (short) Weierstrass form.	Package sw_emulated implements elliptic curve group operations in (short) Weierstrass form.
native
fields_bls12377 Package fields_bls12377 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BLS12-377 curve.	Package fields_bls12377 implements the fields arithmetic of the Fp12 tower used to compute the pairing over the BLS12-377 curve.
fields_bls24315 Package fields_bls24315 implements the fields arithmetic of the Fp24 tower used to compute the pairing over the BLS24-315 curve.	Package fields_bls24315 implements the fields arithmetic of the Fp24 tower used to compute the pairing over the BLS24-315 curve.
sw_bls12377 Package sw_bls12377 implements the arithmetics of G1, G2 and the pairing computation on BLS12-377 as a SNARK circuit over BW6-761.	Package sw_bls12377 implements the arithmetics of G1, G2 and the pairing computation on BLS12-377 as a SNARK circuit over BW6-761.
sw_bls24315 Package sw_bls24315 implements the arithmetics of G1, G2 and the pairing computation on BLS24-315 as a SNARK circuit over BW6-633.	Package sw_bls24315 implements the arithmetics of G1, G2 and the pairing computation on BLS24-315 as a SNARK circuit over BW6-633.
twistededwards Package twistededwards implements the arithmetic of twisted Edwards curves in native fields.	Package twistededwards implements the arithmetic of twisted Edwards curves in native fields.

?	: This menu
/	: Search site
f or F	: Jump to
y or Y	: Canonical URL