Update the order of macros in some files
MODIFY
kimchi/src/circuits/gate.rs
kimchi/src/circuits/gate.rs
@@ -57,6 +57,7 @@ impl CurrOrNext {
/// they cannot be used at the same time on single row.
/// If we were ever to support this feature, we would have to make sure
/// not to re-use powers of alpha across constraints.
+#[allow(clippy::module_name_repetitions)]
#[repr(C)]
#[derive(
Clone,
@@ -78,7 +79,6 @@ impl CurrOrNext {
)]
#[cfg_attr(feature = "wasm_types", wasm_bindgen::prelude::wasm_bindgen)]
#[cfg_attr(test, derive(proptest_derive::Arbitrary))]
-#[allow(clippy::module_name_repetitions)]
pub enum GateType {
/// Zero gate
Zero = 0,
@@ -160,9 +160,9 @@ pub enum CircuitGateError {
/// Gate result
pub type CircuitGateResult<T> = std::result::Result<T, CircuitGateError>;
+#[allow(clippy::module_name_repetitions)]
#[serde_as]
#[derive(Clone, Debug, Serialize, Deserialize)]
-#[allow(clippy::module_name_repetitions)]
/// A single gate in a circuit.
pub struct CircuitGate<F: PrimeField> {
/// type of the gate

MODIFY
kimchi/src/circuits/lookup/lookups.rs
kimchi/src/circuits/lookup/lookups.rs
@@ -25,8 +25,8 @@ fn max_lookups_per_row(kinds: &[LookupPattern]) -> usize {
/// Specifies whether a constraint system uses joint lookups. Used to make sure we
/// squeeze the challenge `joint_combiner` when needed, and not when not needed.
-#[derive(Copy, Clone, Debug, Serialize, Deserialize)]
#[allow(clippy::module_name_repetitions)]
+#[derive(Copy, Clone, Debug, Serialize, Deserialize)]
pub enum LookupsUsed {
Single,
Joint,

MODIFY
kimchi/src/proof.rs
kimchi/src/proof.rs
@@ -42,13 +42,13 @@ pub struct LookupEvaluations<Field> {
/// Polynomial evaluations contained in a `ProverProof`.
/// - **Chunked evaluations** `Field` is instantiated with vectors with a length that equals the length of the chunk
/// - **Non chunked evaluations** `Field` is instantiated with a field, so they are single-sized#[serde_as]
+#[allow(clippy::module_name_repetitions)]
#[serde_as]
#[derive(Clone, Serialize, Deserialize)]
#[serde(bound(
serialize = "Vec<o1_utils::serialization::SerdeAs>: serde_with::SerializeAs<Field>",
deserialize = "Vec<o1_utils::serialization::SerdeAs>: serde_with::DeserializeAs<'de, Field>"
))]
-#[allow(clippy::module_name_repetitions)]
pub struct ProofEvaluations<Field> {
/// witness polynomials
#[serde_as(as = "[Vec<o1_utils::serialization::SerdeAs>; COLUMNS]")]
@@ -99,10 +99,10 @@ pub struct ProverCommitments<G: AffineCurve> {
}
/// The proof that the prover creates from a [ProverIndex](super::prover_index::ProverIndex) and a `witness`.
+#[allow(clippy::module_name_repetitions)]
#[serde_as]
#[derive(Clone, Serialize, Deserialize)]
#[serde(bound = "G: ark_serialize::CanonicalDeserialize + ark_serialize::CanonicalSerialize")]
-#[allow(clippy::module_name_repetitions)]
pub struct ProverProof<G: AffineCurve> {
/// All the polynomial commitments required in the proof
pub commitments: ProverCommitments<G>,

MODIFY
kimchi/src/verifier_index.rs
kimchi/src/verifier_index.rs
@@ -35,9 +35,9 @@ use std::{
};
//~spec:startcode
+#[allow(clippy::module_name_repetitions)]
#[serde_as]
#[derive(Serialize, Deserialize, Debug, Clone)]
-#[allow(clippy::module_name_repetitions)]
pub struct LookupVerifierIndex<G: CommitmentCurve> {
pub lookup_used: LookupsUsed,
#[serde(bound = "PolyComm<G>: Serialize + DeserializeOwned")]

Update the order of macros in some files