subspace_verification

Function verify_solution

source 
pub fn verify_solution<'a, PosTable, RewardAddress>(
    solution: &'a Solution<RewardAddress>,
    slot: SlotNumber,
    params: &'a VerifySolutionParams,
    kzg: &'a Kzg,
) -> Result<SolutionRange, Error>
where
    PosTable: Table,
Expand description

Verify whether solution is valid, returns solution distance that is <= solution_range/2 on success.