Skip to content

Commit

Permalink
fixes after rebase
Browse files Browse the repository at this point in the history
  • Loading branch information
neotheprogramist committed Jan 16, 2024
1 parent efcdfc4 commit 5a5cfb0
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 6 deletions.
1 change: 1 addition & 0 deletions run.sh
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
#!/usr/bin/env bash

scarb build && \
cargo run --release -- ./target/dev/cairo_verifier.sierra.json < ./resources/in.txt
8 changes: 4 additions & 4 deletions src/stark.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -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::{
Expand Down Expand Up @@ -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,
// );
}
}

Expand Down
4 changes: 2 additions & 2 deletions src/stark/stark_commit.cairo
Original file line number Diff line number Diff line change
Expand Up @@ -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,
};

Expand All @@ -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();

Expand Down

0 comments on commit 5a5cfb0

Please sign in to comment.