Documentation

CompPoly.Fields.BN254.Fast

Fast BN254 Scalar Field #

A native eight-limb Montgomery implementation of BN254 scalar arithmetic (CompPoly.Fields.Montgomery.Native64x8Field). This module supplies the BN254 constants.

Parameters and carrier #

source
@[instance_reducible]
instance BN254.Fast.instGcdData :
Montgomery.Native64x8.GcdData scalarFieldSize

Divstep schedule of the binary-GCD inverse candidate.

source
@[instance_reducible]
instance BN254.Fast.instMont64x8Field :
Montgomery.Native64x8.Mont64x8Field scalarFieldSize

The per-field data realizing BN254's scalar field as a fast eight-limb (32-bit-limb) Montgomery field.

source
@[reducible, inline]
abbrev BN254.Fast.ScalarField :
Type

The eight-limb BN254 scalar field carrier, stored as a Montgomery residue.

Instances For
    source
    @[inline]
    def BN254.Fast.ofField (x : BN254.ScalarField) :
    ScalarField

    Convert from the canonical BN254.ScalarField field into fast Montgomery form.

    Instances For
      source
      def BN254.Fast.ringEquiv :
      ScalarField ≃+* BN254.ScalarField

      Ring equivalence between the eight-limb representation and the canonical BN254.ScalarField.

      Instances For