diff --git a/src/air.cairo b/src/air.cairo index 1d720d2a2..3ec2c7ea5 100644 --- a/src/air.cairo +++ b/src/air.cairo @@ -7,4 +7,4 @@ mod diluted; mod pedersen; mod autogenerated; mod traces; -mod config; \ No newline at end of file +mod config; diff --git a/src/air/config.cairo b/src/air/config.cairo index 5b82d83b6..9441c40ea 100644 --- a/src/air/config.cairo +++ b/src/air/config.cairo @@ -8,5 +8,5 @@ struct TracesConfig { original: TableCommitmentConfig, interaction: TableCommitmentConfig, } +// TODO traces_config_validate -// TODO traces_config_validate \ No newline at end of file diff --git a/src/air/traces.cairo b/src/air/traces.cairo index 6870f8d66..ce90f444f 100644 --- a/src/air/traces.cairo +++ b/src/air/traces.cairo @@ -1,6 +1,7 @@ use cairo_verifier::channel::channel::ChannelTrait; use cairo_verifier::table_commitment::{ - TableUnsentCommitment, TableCommitment, TableDecommitment, TableCommitmentWitness, table_commit, table_decommit, + TableUnsentCommitment, TableCommitment, TableDecommitment, TableCommitmentWitness, table_commit, + table_decommit, }; use cairo_verifier::air::{public_input::PublicInput, config::TracesConfig}; use cairo_verifier::channel::channel::Channel; @@ -83,16 +84,6 @@ fn traces_decommit( decommitment: TracesDecommitment, witness: TracesWitness, ) { - table_decommit( - commitment.original, - queries, - decommitment.original, - witness.original - ); - table_decommit( - commitment.interaction, - queries, - decommitment.interaction, - witness.interaction - ) -} \ No newline at end of file + table_decommit(commitment.original, queries, decommitment.original, witness.original); + table_decommit(commitment.interaction, queries, decommitment.interaction, witness.interaction) +}