Module mimc_vdf

MiMC VDF https://vitalik.eth.limo/general/2018/07/21/starks_part_3.html

Constants

L_FERMAT_EXPONENT 🔒

An exponent to perform inverse of x^3 on prime field based on Fermat’s Little Theorem

MODULUS 🔒

Modulus of prime field 2^256 - 2^32 * 351 + 1

Functions

backward_mimc 🔒

Executes num_steps of MiMC-calculation in backward direction for the given input.

calculate_round_constants 🔒

Calculates set of round constants to perform MiMC-calculation on.

eval

Performs an Eval() step of the MiMC-based VDF

forward_mimc 🔒

Executes num_steps of MiMC-calculation in forward direction for the given input

verify

Performs a Verify() step for the MiMC-based VDF result