Skip to main content

verify

Function verify 

Source
pub fn verify(
    x: FieldElement,
    y: FieldElement,
    num_iterations: u64,
    claimed_x: FieldElement,
    claimed_y: FieldElement,
) -> Result<bool, Error>
Expand description

Verifies a MinRoot VDF evaluation by re-executing from the claimed inputs.

Returns true if the claimed output matches the re-computed result.

ยงErrors

Returns Error::ZeroIterations if num_iterations is zero.