From 735f1649758fd6fd83ed0e9e46178d4b06aed369 Mon Sep 17 00:00:00 2001 From: guorong009 Date: Fri, 5 Jul 2024 20:40:13 +0800 Subject: [PATCH] chore: fmt + clippy --- halo2_proofs/benches/plonk.rs | 11 ++++------- halo2_proofs/tests/compress_selectors.rs | 12 +++++++----- halo2_proofs/tests/shuffle.rs | 1 - halo2_proofs/tests/shuffle_api.rs | 13 +++++-------- halo2_proofs/tests/vector-ops-unblinded.rs | 2 +- 5 files changed, 17 insertions(+), 22 deletions(-) diff --git a/halo2_proofs/benches/plonk.rs b/halo2_proofs/benches/plonk.rs index 513c8e5f8..dc5ceb19b 100644 --- a/halo2_proofs/benches/plonk.rs +++ b/halo2_proofs/benches/plonk.rs @@ -10,13 +10,10 @@ use halo2curves::pasta::{EqAffine, Fp}; use rand_core::OsRng; use halo2_proofs::{ - poly::{ - ipa::{ - commitment::{IPACommitmentScheme, ParamsIPA}, - multiopen::ProverIPA, - strategy::SingleStrategy, - }, - VerificationStrategy, + poly::ipa::{ + commitment::{IPACommitmentScheme, ParamsIPA}, + multiopen::ProverIPA, + strategy::SingleStrategy, }, transcript::{TranscriptReadBuffer, TranscriptWriterBuffer}, }; diff --git a/halo2_proofs/tests/compress_selectors.rs b/halo2_proofs/tests/compress_selectors.rs index 7c9a66ff3..a11fb16e5 100644 --- a/halo2_proofs/tests/compress_selectors.rs +++ b/halo2_proofs/tests/compress_selectors.rs @@ -376,12 +376,14 @@ fn test_mycircuit( let mut verifier_transcript = Blake2bRead::<_, G1Affine, Challenge255<_>>::init(proof.as_slice()); if !verify_proof::, VerifierSHPLONK, _, _, SingleStrategy<_>>( - &verifier_params, - &vk, - instances.as_slice(), - &mut verifier_transcript, + &verifier_params, + &vk, + instances.as_slice(), + &mut verifier_transcript, ) { - return Err(halo2_proofs::plonk::Error::Backend(halo2_backend::plonk::Error::Opening)); + return Err(halo2_proofs::plonk::Error::Backend( + halo2_backend::plonk::Error::Opening, + )); }; Ok(proof) diff --git a/halo2_proofs/tests/shuffle.rs b/halo2_proofs/tests/shuffle.rs index eb13ed8bf..1fdeca261 100644 --- a/halo2_proofs/tests/shuffle.rs +++ b/halo2_proofs/tests/shuffle.rs @@ -13,7 +13,6 @@ use halo2_proofs::{ multiopen::{ProverIPA, VerifierIPA}, strategy::AccumulatorStrategy, }, - VerificationStrategy, }, transcript::{ Blake2bRead, Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer, diff --git a/halo2_proofs/tests/shuffle_api.rs b/halo2_proofs/tests/shuffle_api.rs index cd5dce12e..272e1ca85 100644 --- a/halo2_proofs/tests/shuffle_api.rs +++ b/halo2_proofs/tests/shuffle_api.rs @@ -10,15 +10,12 @@ use halo2_proofs::{ create_proof, keygen_pk, keygen_vk, verify_proof, Advice, Circuit, Column, ConstraintSystem, ErrorFront, Fixed, Selector, }, - poly::Rotation, - poly::{ - ipa::{ - commitment::{IPACommitmentScheme, ParamsIPA}, - multiopen::{ProverIPA, VerifierIPA}, - strategy::AccumulatorStrategy, - }, - VerificationStrategy, + poly::ipa::{ + commitment::{IPACommitmentScheme, ParamsIPA}, + multiopen::{ProverIPA, VerifierIPA}, + strategy::AccumulatorStrategy, }, + poly::Rotation, transcript::{ Blake2bRead, Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer, }, diff --git a/halo2_proofs/tests/vector-ops-unblinded.rs b/halo2_proofs/tests/vector-ops-unblinded.rs index 46139a71c..b49240b0b 100644 --- a/halo2_proofs/tests/vector-ops-unblinded.rs +++ b/halo2_proofs/tests/vector-ops-unblinded.rs @@ -16,7 +16,7 @@ use halo2_proofs::{ multiopen::{ProverIPA, VerifierIPA}, strategy::AccumulatorStrategy, }, - Rotation, VerificationStrategy, + Rotation, }, transcript::{ Blake2bRead, Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer,