package ff-pbt

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package ff-pbt

ff-pbt
- Library ff-pbt
  - Ff_pbt
    
    MakeValueGeneration
    
    MakeIsZero
    
    MakeEquality
    
    MakeFieldProperties
    
    MakeMemoryRepresentation
    
    MakeQuadraticResidue
    
    MakeSquareRoot
    
    MakeAll
    
    ValueGeneration
    
    IsZero
    
    Equality
    
    FieldProperties
    
    MemoryRepresentation
- Sources
  - ff-pbt
    
    ff_pbt.ml

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

Module `Ff_pbt.MakeFieldProperties`Source

Parameters

module FiniteField : Ff_sig.BASE

Signature

Sourceval zero_nullifier_random : unit -> unit

Sourceval zero_nullifier_zero : unit -> unit

Sourceval zero_nullifier_one : unit -> unit

Sourceval inverse_property : unit -> unit

Sourceval inverse_of_one_is_one : unit -> unit

Sourceval zero_has_no_inverse : unit -> unit

Sourceval inverse_of_non_null_does_exist : unit -> unit

Sourceval inverse_of_inverse : unit -> unit

Sourceval opposite_property : unit -> unit

Sourceval opposite_of_opposite : unit -> unit

Sourceval opposite_of_zero_is_zero : unit -> unit

Sourceval additive_associativity : unit -> unit

Sourceval distributivity : unit -> unit

Sourceval multiplicative_associativity : unit -> unit

Sourceval pow_zero_to_zero_is_one : unit -> unit

0**0 = 1

Sourceval pow_zero_to_non_null_exponent_is_zero : unit -> unit

0 ** n = 0, n != 0

Sourceval pow_zero_on_random_equals_one : unit -> unit

Sourceval pow_zero_on_one_equals_one : unit -> unit

Sourceval pow_one_on_random_element_equals_the_random_element : unit -> unit

Sourceval pow_two_on_random_element_equals_the_square : unit -> unit

Sourceval pow_to_negative_exponent : unit -> unit

x**(-n) = x**(g - 1 - n) where g is the order of the additive group

Sourceval pow_addition_property : unit -> unit

Sourceval pow_to_the_additive_group_order_equals_same_element : unit -> unit

x**g = x where g = |(F, +, 0)|

Sourceval pow_to_the_multiplicative_group_order_equals_one : unit -> unit

x**g = 1 where g = |(F, *, 1)|

Sourceval pow_add_multiplicative_group_order_to_a_random_power : unit -> unit

x**(n + g) = x**n where g = |(F, *, 1)|

Sourceval sub_definition : unit -> unit

Sourceval get_tests : unit -> string * unit Alcotest.test_case list

package ff-pbt

Module Ff_pbt.MakeFieldPropertiesSource

Parameters

Signature

Module `Ff_pbt.MakeFieldProperties`Source