package octez-proto-libs

  1. Overview
  2. Docs
package octez-proto-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Make.VdfSource

Sourceval form_size_bytes : int

Size of a group element, also called form, in bytes

Sourceval discriminant_size_bytes : int

Size of the class group discriminant in bytes

Sourcetype discriminant

Class group discriminant, prime number uniquely defining a class group

Sourcetype challenge

VDF challenge

Sourcetype result

VDF result

Sourcetype proof

VDF proof

Sourcetype difficulty = Int64.t

VDF difficulty, that is log of the number of group element compositions done in the prover

Sourceval discriminant_to_bytes : discriminant -> bytes
Sourceval discriminant_of_bytes_opt : bytes -> discriminant option
Sourceval challenge_to_bytes : challenge -> bytes
Sourceval challenge_of_bytes_opt : bytes -> challenge option
Sourceval result_to_bytes : result -> bytes
Sourceval result_of_bytes_opt : bytes -> result option
Sourceval proof_to_bytes : proof -> bytes
Sourceval proof_of_bytes_opt : bytes -> proof option
Sourceval generate_discriminant : ?seed:Bytes.t -> int -> discriminant

generate_discriminant ?seed size, function generating a discriminant/group

Sourceval generate_challenge : discriminant -> Bytes.t -> challenge

generate_challenge discriminant seed, function generating a class group element used as a VDF challenge

prove_vdf discriminant challenge difficulty, function taking a class group/discriminant, a vdf challenge and a difficulty and returning a vdf result and proof

Sourceval verify : discriminant -> challenge -> difficulty -> result -> proof -> bool

verify_vdf discriminant challenge difficulty result proof function taking a class group/discriminant, a vdf challenge, difficulty, result and proof and returning true if the proof verifies else false

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