message: Add test for all-zero public input
diff: @@ -38,3 +38,21 @@ fn test_generic_gate_pub() {
  .setup()
  .prove_and_verify();
  }
  +
  +#[test]
  +fn test_generic_gate_pub_all_zeros() {
  + let public = vec![Fp::from(0u8); 5];
  + let gates = create_circuit(0, public.len());
  +
  + // create witness
  + let mut witness: [Vec<Fp>; COLUMNS] = array_init(|_| vec![Fp::zero(); gates.len()]);
  + fill_in_witness(0, &mut witness, &public);
  +
  + // create and verify proof based on the witness
  + TestFramework::default()
  + .gates(gates)
  + .witness(witness)
  + .public_inputs(public)
  + .setup()
  + .prove_and_verify();
  +}
  