binius_core::protocols::gkr_gpa

Function construct_grand_product_claims

source 
pub fn construct_grand_product_claims<F>(
    ids: &[OracleId],
    oracles: &MultilinearOracleSet<F>,
    products: &[F],
) -> Result<Vec<GrandProductClaim<F>>, Error>
where
    F: TowerField,