diff --git a/halo2_proofs/src/plonk.rs b/halo2_proofs/src/plonk.rs index 8674174036..5c475d699b 100644 --- a/halo2_proofs/src/plonk.rs +++ b/halo2_proofs/src/plonk.rs @@ -14,7 +14,7 @@ mod verifier { pub use keygen::{keygen_pk, keygen_pk_custom, keygen_vk, keygen_vk_custom}; -pub use prover::{create_proof, create_proof_with_engine, create_proof_custom_with_engine}; +pub use prover::{create_proof, create_proof_custom_with_engine, create_proof_with_engine}; pub use verifier::verify_proof; pub use error::Error; diff --git a/halo2_proofs/src/plonk/prover.rs b/halo2_proofs/src/plonk/prover.rs index 1b627212ca..01e220f6a8 100644 --- a/halo2_proofs/src/plonk/prover.rs +++ b/halo2_proofs/src/plonk/prover.rs @@ -37,7 +37,9 @@ pub fn create_proof_with_engine< where Scheme::Scalar: WithSmallOrderMulGroup<3> + FromUniformBytes<64>, { - create_proof_custom_with_engine::(engine, params, pk, true, circuits, instances, rng, transcript) + create_proof_custom_with_engine::( + engine, params, pk, true, circuits, instances, rng, transcript, + ) } /// This creates a proof for the provided `circuit` when given the public @@ -74,6 +76,7 @@ where /// generated previously for the same circuit. The provided `instances` /// are zero-padded internally. /// In addition, this needs the `compress_selectors` field. +#[allow(clippy::too_many_arguments)] pub fn create_proof_custom_with_engine< 'params, Scheme: CommitmentScheme, @@ -241,7 +244,7 @@ fn test_create_proof_custom() { .expect("keygen_pk_custom should not fail"); let mut transcript = Blake2bWrite::<_, _, Challenge255<_>>::init(vec![]); let engine = PlonkEngineConfig::build_default(); - + create_proof_custom_with_engine::, ProverSHPLONK<_>, _, _, _, _, _>( engine, ¶ms,