package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

bls12-381-unix
- Bls12_381
- Fq12
  - Fq12
  - Stubs
- Fr
  - Fr
    
    M
  - Stubs
- G1
  - G1
    
    M
  - Stubs
- G2
  - G2
    
    M
  - Stubs
- Pairing
  - Stubs
- Poseidon128
  - Stubs
- Signature
  - Aug
  - Basic
  - Pop
  - Stubs

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ctxt

val keygen : 
  Fr.Stubs.scalar ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  unit

val sk_to_pk : G1.t -> Fr.Stubs.scalar -> unit

val sign : G2.t -> G2.t -> Fr.Stubs.scalar -> unit

val allocate_ctxt : unit -> ctxt

val pairing_init : ctxt -> bool -> Stdlib.Bytes.t -> Unsigned.Size_t.t -> unit

val aggregate_signature : 
  ctxt ->
  G1.t ->
  G2.t ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  int

val pairing_commit : ctxt -> unit

val pairing_finalverify : ctxt -> bool

val pairing_chk_n_mul_n_aggr_pk_in_g1 : 
  ctxt ->
  G1.Stubs.affine ->
  bool ->
  G2.Stubs.affine option ->
  bool ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  Stdlib.Bytes.t ->
  Unsigned.Size_t.t ->
  int