diff --git a/run.sh b/run.sh index 8beaea595..181e757da 100755 --- a/run.sh +++ b/run.sh @@ -1,3 +1,4 @@ #!/usr/bin/env bash +scarb build && \ cargo run --release -- ./target/dev/cairo_verifier.sierra.json < ./resources/in.txt diff --git a/src/stark.cairo b/src/stark.cairo index 5e92ec254..5faafacbe 100644 --- a/src/stark.cairo +++ b/src/stark.cairo @@ -10,7 +10,7 @@ use cairo_verifier::{ fri::{FriUnsentCommitment, FriWitness, FriCommitment} }, domains::StarkDomainsImpl, - table_commitment::{ + table_commitment::table_commitment::{ TableCommitmentConfig, TableCommitmentWitness, TableDecommitment, TableCommitment }, proof_of_work::{ @@ -46,9 +46,9 @@ impl StarkProofImpl of StarkProofTrait { let digest = self.public_input.get_public_input_hash(); let mut channel = ChannelImpl::new(digest); - stark_commit::stark_commit( - ref channel, self.public_input, self.unsent_commitment, self.config, @stark_domains, - ); + // stark_commit::stark_commit( + // ref channel, self.public_input, self.unsent_commitment, self.config, @stark_domains, + // ); } } diff --git a/src/stark/stark_commit.cairo b/src/stark/stark_commit.cairo index 37ff96e01..fe9580e20 100644 --- a/src/stark/stark_commit.cairo +++ b/src/stark/stark_commit.cairo @@ -11,7 +11,7 @@ use cairo_verifier::{ channel::channel::Channel, common::powers_array::powers_array, domains::StarkDomains, oods::OodsValues, fri::fri::fri_commit, stark::{StarkUnsentCommitment, StarkConfig, StarkCommitment}, - proof_of_work::proof_of_work::proof_of_work_commit, table_commitment::table_commit, + proof_of_work::proof_of_work::proof_of_work_commit, table_commitment::table_commitment::table_commit, oods::verify_oods, }; @@ -37,7 +37,7 @@ fn stark_commit( 1, composition_alpha, N_CONSTRAINTS.try_into().unwrap(), ); - let composition_commitment = table_commit(*unsent_commitment.composition, *config.composition,); + let composition_commitment = table_commit(ref channel, *unsent_commitment.composition, *config.composition,); let interaction_after_composition = channel.random_felt_to_prover();