From e4ca8eb4fc7f5973ef2e523e5f1cf307f08270e0 Mon Sep 17 00:00:00 2001 From: Filip Krawczyk Date: Tue, 10 Sep 2024 08:35:43 +0200 Subject: [PATCH] Fix blake2s tests --- src/stark/tests/test_stark_commit.cairo | 2 +- src/stark/tests/test_stark_proof_verify.cairo | 2 +- src/stark/tests/test_stark_verify.cairo | 4 ++-- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/stark/tests/test_stark_commit.cairo b/src/stark/tests/test_stark_commit.cairo index 2e013acb..2cf800a7 100644 --- a/src/stark/tests/test_stark_commit.cairo +++ b/src/stark/tests/test_stark_commit.cairo @@ -18,7 +18,7 @@ fn test_stark_commit() { assert( stark_commit( - ref channel, @public_input, @unsent_commitment, @config, @stark_domains + ref channel, @public_input, @unsent_commitment, @config, @stark_domains, 0.try_into().unwrap() ) == stone_proof_fibonacci::stark::commitment::get(), 'Invalid value' ); diff --git a/src/stark/tests/test_stark_proof_verify.cairo b/src/stark/tests/test_stark_proof_verify.cairo index aab66d1c..7cec1fde 100644 --- a/src/stark/tests/test_stark_proof_verify.cairo +++ b/src/stark/tests/test_stark_proof_verify.cairo @@ -16,7 +16,7 @@ fn test_stark_proof_fibonacci_verify() { witness: stone_proof_fibonacci::stark::witness::get(), }; - stark_proof.verify_initial(security_bits); + stark_proof.verify_initial(security_bits, 0.try_into().unwrap(), 0.try_into().unwrap()); } #[cfg(feature: 'keccak')] diff --git a/src/stark/tests/test_stark_verify.cairo b/src/stark/tests/test_stark_verify.cairo index 220c6f74..911208e2 100644 --- a/src/stark/tests/test_stark_verify.cairo +++ b/src/stark/tests/test_stark_verify.cairo @@ -14,8 +14,8 @@ fn test_stark_verify() { let stark_domains = stone_proof_fibonacci::stark::domains::get(); stark_verify( - NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains, - ) + NUM_COLUMNS_FIRST, NUM_COLUMNS_SECOND, queries, commitment, witness, stark_domains, 0.try_into().unwrap() + ); } #[cfg(feature: 'keccak')]