binius_core::protocols::gkr_gpa

Function construct_grand_product_witnesses

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