From e174bc3f1b1d399f2f28f0b359ae5f67a33ea08f Mon Sep 17 00:00:00 2001 From: Neo Date: Wed, 10 Jan 2024 12:58:40 +0100 Subject: [PATCH] rename config to traces_config --- src/air.cairo | 2 +- src/air/traces.cairo | 2 +- src/air/{config.cairo => traces_config.cairo} | 0 src/deserialization/stark.cairo | 2 +- src/deserialization/traces.cairo | 3 ++- src/stark.cairo | 14 +++++++------- 6 files changed, 12 insertions(+), 11 deletions(-) rename src/air/{config.cairo => traces_config.cairo} (100%) diff --git a/src/air.cairo b/src/air.cairo index 3ec2c7ea5..275d373f9 100644 --- a/src/air.cairo +++ b/src/air.cairo @@ -7,4 +7,4 @@ mod diluted; mod pedersen; mod autogenerated; mod traces; -mod config; +mod traces_config; diff --git a/src/air/traces.cairo b/src/air/traces.cairo index c8989a685..57b8a3789 100644 --- a/src/air/traces.cairo +++ b/src/air/traces.cairo @@ -3,7 +3,7 @@ use cairo_verifier::table_commitment::{ TableUnsentCommitment, TableCommitment, TableDecommitment, TableCommitmentWitness, table_commit, table_decommit, }; -use cairo_verifier::air::{public_input::PublicInput, config::TracesConfig}; +use cairo_verifier::air::{public_input::PublicInput, traces_config::TracesConfig}; use cairo_verifier::channel::channel::Channel; // A protocol component (see stark.cairo for details about protocol components) for the traces diff --git a/src/air/config.cairo b/src/air/traces_config.cairo similarity index 100% rename from src/air/config.cairo rename to src/air/traces_config.cairo diff --git a/src/deserialization/stark.cairo b/src/deserialization/stark.cairo index 6ac3d63e5..95888c2d0 100644 --- a/src/deserialization/stark.cairo +++ b/src/deserialization/stark.cairo @@ -1,6 +1,6 @@ use cairo_verifier::{ air::{ - config::TracesConfig, public_input::{ContinuousPageHeader, PublicInput, SegmentInfo}, + traces_config::TracesConfig, public_input::{ContinuousPageHeader, PublicInput, SegmentInfo}, public_memory::{AddrValue, Page}, }, deserialization::{ diff --git a/src/deserialization/traces.cairo b/src/deserialization/traces.cairo index ec32edb6d..879abb114 100644 --- a/src/deserialization/traces.cairo +++ b/src/deserialization/traces.cairo @@ -1,6 +1,7 @@ use cairo_verifier::{ air::{ - config::TracesConfig, traces::{TracesUnsentCommitment, TracesDecommitment, TracesWitness} + traces_config::TracesConfig, + traces::{TracesUnsentCommitment, TracesDecommitment, TracesWitness} }, deserialization::{ vector::{ diff --git a/src/stark.cairo b/src/stark.cairo index a65ad411d..dd8b9ec24 100644 --- a/src/stark.cairo +++ b/src/stark.cairo @@ -1,15 +1,15 @@ -use cairo_verifier::fri::fri_config::FriConfigTrait; -use cairo_verifier::vector_commitment::vector_commitment::VectorCommitmentConfigTrait; -use cairo_verifier::air::config::TracesConfigTrait; -use cairo_verifier::proof_of_work::config::ProofOfWorkConfigTrait; use cairo_verifier::{ air::{ - config::{TracesConfig}, public_input::PublicInput, + traces_config::{TracesConfig, TracesConfigTrait}, public_input::PublicInput, traces::{TracesUnsentCommitment, TracesDecommitment, TracesWitness} }, - fri::{fri_config::FriConfig, fri::{FriUnsentCommitment, FriWitness}}, + fri::{fri_config::{FriConfig, FriConfigTrait}, fri::{FriUnsentCommitment, FriWitness}}, table_commitment::{TableCommitmentConfig, TableCommitmentWitness, TableDecommitment}, - proof_of_work::{config::ProofOfWorkConfig, proof_of_work::ProofOfWorkUnsentCommitment}, + proof_of_work::{ + config::{ProofOfWorkConfig, ProofOfWorkConfigTrait}, + proof_of_work::ProofOfWorkUnsentCommitment + }, + vector_commitment::vector_commitment::VectorCommitmentConfigTrait, }; mod stark_commit;