binius_core::protocols::gkr_gpa

Function construct_grand_product_witnesses

source
pub fn construct_grand_product_witnesses<'a, U, F>(
    ids: &[OracleId],
    witness_index: &MultilinearExtensionIndex<'a, U, F>,
) -> Result<Vec<GrandProductWitness<'a, PackedType<U, F>>>, Error>
where U: UnderlierType + PackScalar<F>, F: Field,