From afcfe27b5bc833cb8480bb2a59c17732089dd278 Mon Sep 17 00:00:00 2001 From: Neo Date: Thu, 15 Feb 2024 07:35:03 +0000 Subject: [PATCH] fmt --- src/air/traces.cairo | 4 +--- src/stark/stark_commit.cairo | 4 +--- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/src/air/traces.cairo b/src/air/traces.cairo index 688901105..7d74aafe3 100644 --- a/src/air/traces.cairo +++ b/src/air/traces.cairo @@ -92,9 +92,7 @@ impl TracesConfigImpl of TracesConfigTrait { // Reads the traces commitment from the channel. // Returns the commitment, along with GlobalValue required to evaluate the constraint polynomial. fn traces_commit( - ref channel: Channel, - unsent_commitment: TracesUnsentCommitment, - config: TracesConfig + ref channel: Channel, unsent_commitment: TracesUnsentCommitment, config: TracesConfig ) -> TracesCommitment { // Read original commitment. let original_commitment = table_commit( diff --git a/src/stark/stark_commit.cairo b/src/stark/stark_commit.cairo index 457b1f38b..049055f48 100644 --- a/src/stark/stark_commit.cairo +++ b/src/stark/stark_commit.cairo @@ -20,9 +20,7 @@ fn stark_commit( stark_domains: @StarkDomains, ) -> StarkCommitment { // Read the commitment of the 'traces' component. - let traces_commitment = traces_commit( - ref channel, *unsent_commitment.traces, *config.traces, - ); + let traces_commitment = traces_commit(ref channel, *unsent_commitment.traces, *config.traces,); // Generate interaction values after traces commitment. let composition_alpha = channel.random_felt_to_prover();