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.