package bls12-381

You can search for identifiers within the package.

in-package search v0.2.0

package bls12-381

bls12-381
- Bls12_381
  - Elliptic_curve_sig
    
    T
  - Fq12
  - Fr
  - G1
    
    Compressed
    
    Uncompressed
  - G2
    
    Compressed
    
    Uncompressed
  - Pairing
  - Rustc_bls12_381_bindings
    
    Fq12
    
    F
    
    Fr
    
    F
    
    G1
    
    F
    
    G2
    
    F
    
    MakeFieldBindings
    
    F
    
    S
    
    MakeGroupBindings
    
    F
    
    S
    
    Pairing
    
    F
  - Rustc_bls12_381_stubs

Legend:
Library
Module
Module type
Parameter
Class
Class type

include Ff.BASE

exception Not_in_field of Stdlib.Bytes.t

type t

val order : Z.t

val size_in_bytes : int

val check_bytes : Stdlib.Bytes.t -> bool

val zero : t

val one : t

val is_zero : t -> bool

val is_one : t -> bool

val random : ?state:Stdlib.Random.State.t -> unit -> t

val non_null_random : ?state:Stdlib.Random.State.t -> unit -> t

val add : t -> t -> t

val (+) : t -> t -> t

val mul : t -> t -> t

val (*) : t -> t -> t

val eq : t -> t -> bool

val (=) : t -> t -> bool

val negate : t -> t

val (-) : t -> t

val inverse_exn : t -> t

val inverse_opt : t -> t option

val div_exn : t -> t -> t

val div_opt : t -> t -> t option

val (/) : t -> t -> t

val square : t -> t

val double : t -> t

val pow : t -> Z.t -> t

val (**) : t -> Z.t -> t

val of_bytes_exn : Stdlib.Bytes.t -> t

val of_bytes_opt : Stdlib.Bytes.t -> t option

val to_bytes : t -> Stdlib.Bytes.t

val of_string : 
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  Stdlib.String.t ->
  t

Construct an element of Fq12 based on the following pattern: Fq12 = Fq6 ( Fq2(x: x0, y: x1)) Fq2(x: x2, y: x3)) Fq2(x: x4, y: x5)), Fq6 ( Fq2(x: x6, y: x7)) Fq2(x: x8, y: x9)) Fq2(x: x10, y: x11)) x0, ..., x11 are the parameters of the function. No check is applied.

Example of usage (pairing result of the multiplicative neutre elements): Fq12.of_string "2819105605953691245277803056322684086884703000473961065716485506033588504203831029066448642358042597501014294104502" "1323968232986996742571315206151405965104242542339680722164220900812303524334628370163366153839984196298685227734799" "2987335049721312504428602988447616328830341722376962214011674875969052835043875658579425548512925634040144704192135" "3879723582452552452538684314479081967502111497413076598816163759028842927668327542875108457755966417881797966271311" "261508182517997003171385743374653339186059518494239543139839025878870012614975302676296704930880982238308326681253" "231488992246460459663813598342448669854473942105054381511346786719005883340876032043606739070883099647773793170614" "3993582095516422658773669068931361134188738159766715576187490305611759126554796569868053818105850661142222948198557" "1074773511698422344502264006159859710502164045911412750831641680783012525555872467108249271286757399121183508900634" "2727588299083545686739024317998512740561167011046940249988557419323068809019137624943703910267790601287073339193943" "493643299814437640914745677854369670041080344349607504656543355799077485536288866009245028091988146107059514546594" "734401332196641441839439105942623141234148957972407782257355060229193854324927417865401895596108124443575283868655" "2348330098288556420918672502923664952620152483128593484301759394583320358354186482723629999370241674973832318248497" (* source for the test vectors: https://docs.rs/crate/pairing/0.16.0/source/src/bls12_381/tests/mod.rs *)

Undefined behaviours if the given elements are not in the field or any other representation than decimal is used. Use this function carefully.

See https://docs.rs/crate/pairing/0.16.0/source/src/bls12_381/README.md for more information on the instances used by the library.

val of_z : 
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  Z.t ->
  t

Same than of_string, using Z.t elements