package bls12-381

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package bls12-381

bls12-381
- README
- Library bls12-381
  - Bls12_381
    
    Elliptic_curve_sig
    
    T
    
    Scalar
    
    Fq12
    
    Fr
    
    G1
    
    Uncompressed
    
    Scalar
    
    Compressed
    
    Scalar
    
    G2
    
    Uncompressed
    
    Scalar
    
    Compressed
    
    Scalar
    
    Pairing
    
    Rustc_bls12_381_bindings
    
    MakeFieldBindings
    
    Fq12
    
    Fr
    
    MakeGroupBindings
    
    G1
    
    G2
    
    Pairing
    
    Rustc_bls12_381_stubs
    
    CI
- Sources
  - bls12-381
    
    Fq12.ml
    
    Fr.ml
    
    bls12_381.ml
    
    g1.ml
    
    g2.ml
    
    pairing.ml
    
    rustc_bls12_381_bindings.ml
    
    rustc_bls12_381_stubs.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Rustc_bls12_381_bindings.G2`Source

Parameters

module F : Cstubs.FOREIGN

Signature

include sig ... end

Source

val uncompressed_check_bytes : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result

Source

val compressed_check_bytes : 
  (bytes Ctypes_static.ocaml -> bool F.return) F.result

Sourceval one : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval random : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Source

val add : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val double : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val negate : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val eq : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

Sourceval is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result

Source

val mul : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Sourceval compressed_one : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval compressed_zero : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Sourceval compressed_random : (bytes Ctypes_static.ocaml -> unit F.return) F.result

Source

val compressed_add : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val compressed_negate : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val compressed_eq : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

Sourceval compressed_is_zero : (bytes Ctypes_static.ocaml -> bool F.return) F.result

Source

val compressed_double : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val compressed_mul : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val compressed_of_uncompressed : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val uncompressed_of_compressed : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    unit F.return)
    F.result

Source

val build_from_components : 
  (bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bytes Ctypes_static.ocaml ->
    bool F.return)
    F.result

package bls12-381

Module Rustc_bls12_381_bindings.G2Source

Parameters

Signature

Module `Rustc_bls12_381_bindings.G2`Source