pub fn prove_batch<F: Field>(
challenger: &mut impl FieldChallenger<F>,
input_layer_by_instance: Vec<Layer<F>>,
) -> (GkrBatchProof<F>, GkrArtifact<F>)Expand description
Batch proves lookup circuits with GKR.
The input layers should be committed to the channel before calling this function.