package tezos-bls12-381-polynomial

  1. Overview
  2. Docs
package tezos-bls12-381-polynomial
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Bls12_381_polynomial.DomainSource

Sourcemodule Fr = Bls12_381.Fr
Sourcemodule Stubs : sig ... end
Sourcemodule Domain_impl : sig ... end
Sourcemodule type Domain_sig = sig ... end
Sourcemodule type Domain_unsafe_sig = sig ... end
include Domain_sig with type t = Domain_unsafe.t and type scalar = Domain_unsafe.scalar
Sourceval length : t -> int

length p returns the length of a given array p

Sourceval get : t -> int -> scalar

get p i returns the i-th element of a given array p

Sourceval build : log:int -> t

build log computes [one; g; ..; g^{n-1}] where g is a primitive n-th root of unity and n = 2^log

Sourceval subgroup : log:int -> t -> t

subgroup log d returns a subgroup of d of order 2^log

Sourceval inverse : t -> scalar array

inverse d returns for a domain wⁱᵢ its inverse domain w⁻ⁱᵢ

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct