mclbn256 0.3.1

Python bindings for the BN254/256 pairing-friendly curve supported by the MCl library

Python library that serves as an API for the BN254/256 pairing-friendly curve implemented in MCl in C.

Package Installation and Usage

The package is available on PyPI:

pip install mclbn256

The library can be imported in the usual ways:

import mclbn256  # All required data structures
from mclbn256 import mclbn256  # Extended attributes, internals, classes, test methods

Examples

This library supports concise construction of elliptic curve points (groups G1 and G2) and scalars (group Fr):

from mclbn256 import G1, G2, Fr
>>> p = G1().hash("some row")
>>> q = G2().hash("another row")
>>> p.valid()
True
>>> q.valid()
True
>>> s = Fr(6)
>>> t = Fr(857462736753)
>>> ((p * s) @ (q * t)) == (p @ (q * s * t))
True
>>> ((p * s * ~t) @ (q * t)) == (p @ (q * s))
True
>>> ((p * s) @ q) == ((p * ~t) @ (q * s * t))
True

Data structures for the relevant curve subgroups and finite fields are included as well:

>>> len(Fr().randomize().serialize())
32
>>> len(G1().randomize().serialize())
32
>>> len(G2().randomize().serialize())
64
>>> len((G1().randomize() @ G2().randomize()).serialize()) <= 384
True

Please see the package oblivious (which extends this package) for more examples of how to use the BN254 curve.

Contributions

In order to contribute to the source code, open an issue or submit a pull request on the GitHub page for this library.

Versioning

Beginning with version 0.1.0, the version number format for this library and the changes to the library associated with version number increments conform with Semantic Versioning 2.0.0.

Naming Notes

BN-256 was an old name for the Barreto–Naehrig(2,254) Weierstrass curve, when it was though to have close to 256 bits of security. It has since been estimated to have at least 90 bits of security (compared to symmetric ciphers) and is now more commonly refered to by BN254, after the number of bits in its prime modulus. Specifically, mclbn256 is the name of the subset of the MCl library containing the support for this curve.