pub fn test_variable_independence_for_circuit<F: PrimeField>(
circuit_1: PlonkCircuit<F>,
circuit_2: PlonkCircuit<F>,
) -> Result<(), CircuitError>Expand description
two circuit with the same statement should have the same extended permutation polynomials even with different variable assignment