miden-stdlib 0.19.1

Miden VM standard library
Documentation
#! Processes the out-of-domain (OOD) evaluations of all committed polynomials.
#!
#! Takes as input an RPO hasher state and a pointer, and loads from the advice provider the OOD
#! evaluations and stores at memory region using pointer `ptr` while absorbing the evaluations
#! into the hasher state and simultaneously computing a random linear combination using Horner
#! evaluation.
#! 
#!
#! Inputs:  [R2, R1, C, ptr, acc1, acc0]
#! Outputs: [R2, R1, C, ptr, acc1`, acc0`]
#!
#! Cycles: 72
export.process_row_ood_evaluations
    repeat.24
        adv_pipe
        horner_eval_ext
        hperm
    end
end