package bls12-381-unix

You can search for identifiers within the package.

in-package search v0.2.0

package bls12-381-unix

bls12-381-unix
- Library bls12-381-unix
  - Bls12_381
    
    Fr
    
    G1
    
    G2
    
    Fq12
    
    Pairing
    
    Signature
    
    Poseidon128
  - Fq12
    
    Stubs
    
    Fq12
  - Fr
    
    Stubs
    
    Fr
    
    M
    
    M
  - G1
    
    Stubs
    
    G1
    
    Scalar
    
    M
    
    Scalar
    
    M
  - G2
    
    Stubs
    
    G2
    
    Scalar
    
    M
    
    Scalar
    
    M
  - Pairing
    
    Stubs
  - Poseidon128
    
    Stubs
  - Signature
    
    CommonStubs
    
    MinPk
    
    Stubs
    
    Basic
    
    Aug
    
    Pop
    
    MinSig
    
    Stubs
    
    Basic
    
    Aug
    
    Pop
- Sources
  - bls12-381-unix
    
    bls12_381.ml
    
    fq12.ml
    
    fr.ml
    
    g1.ml
    
    g2.ml
    
    pairing.ml
    
    poseidon128.ml
    
    signature.ml

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

Module `MinPk.Pop`Source

Sourcetype proof = Bytes.t

Sourceval sign : Fr.Stubs.scalar -> Bytes.t -> bytes

Sourceval verify : Bytes.t -> Bytes.t -> Bytes.t -> bool

Sourceval pop_prove : Fr.Stubs.scalar -> bytes

Sourceval pop_verify : Bytes.t -> Bytes.t -> bool

Sourceval aggregate_verify : (Bytes.t * Bytes.t) list -> Bytes.t -> Bytes.t -> bool