#elliptic-curve #finite-fields #scalar-field #math

no-std ark-ed-on-bls12-381-bandersnatch

Bandersnatch: a curve defined over the scalar field of the BLS12-381 curve

5 releases

0.5.0 Oct 28, 2024
0.5.0-alpha.0 Jun 20, 2024
0.4.0 Jan 17, 2023
0.4.0-alpha.2 Dec 28, 2022
0.4.0-alpha.1 Nov 29, 2022

#2446 in Cryptography

Download history 39402/week @ 2024-08-04 51275/week @ 2024-08-11 33350/week @ 2024-08-18 44844/week @ 2024-08-25 51433/week @ 2024-09-01 44987/week @ 2024-09-08 41120/week @ 2024-09-15 44815/week @ 2024-09-22 45128/week @ 2024-09-29 43609/week @ 2024-10-06 41674/week @ 2024-10-13 47520/week @ 2024-10-20 36373/week @ 2024-10-27 50115/week @ 2024-11-03 38029/week @ 2024-11-10 38786/week @ 2024-11-17

165,270 downloads per month
Used in 17 crates (3 directly)

MIT/Apache

1MB
16K SLoC

This library implements the Bendersnatch curve, a twisted Edwards curve whose base field is the scalar field of the curve BLS12-381. This allows defining cryptographic primitives that use elliptic curves over the scalar field of the latter curve. This curve was generated by Simon Masson from Anoma, and Antonio Sanso from Ethereum Foundation, and is also known as bandersnatch.

See here for the specification of the curve. There was also a Python implementation here.

Curve information:

  • Base field: q = 52435875175126190479447740508185965837690552500527637822603658699938581184513
  • Scalar field: r = 13108968793781547619861935127046491459309155893440570251786403306729687672801
  • Valuation(q - 1, 2) = 32
  • Valuation(r - 1, 2) = 5
  • Curve equation: ax^2 + y^2 =1 + dx^2y^2, where
    • a = -5
    • d = 45022363124591815672509500913686876175488063829319466900776701791074614335719

Dependencies

~3.5–5MB
~88K SLoC