=== HerodotusDev/integrity-f3beacec8 === >>> git clone --depth 1 --no-tags https://github.com/HerodotusDev/integrity . [err] Cloning into '.'... >>> maat-check-versions [out] Name Version Source Installed [out] nodejs 23.11.0 ASDF_NODEJS_VERSION true [out] scarb 2.9.4 ASDF_SCARB_VERSION true [out] starknet-foundry 0.43.0 ASDF_STARKNET-FOUNDRY_VERSION true >>> maat-patch [err] Installed 1 package in 2ms [out] diff --git a/Scarb.toml b/Scarb.toml [out] index b9c9605..9403c1a 100644 [out] --- a/Scarb.toml [out] +++ b/Scarb.toml [out] @@ -7,6 +7,7 @@ readme = "README.md" [out] repository = "https://github.com/HerodotusDev/integrity" [out] license = "Apache-2.0" [out] keywords = ["STARK proof", "verifier", "cairo_verifier"] [out] +cairo-version = "2.9.4" # NOTE: added by maat-patch, was: None [out] [out] [dependencies] [out] starknet = "2.8.4" [out] @@ -40,3 +41,20 @@ monolith = [] [out] split = [] [out] [out] default = ["recursive", "keccak", "monolith"] [out] + [out] +[scripts] [out] +test = "scarb cairo-test" # NOTE: added by maat-patch, was: None [out] + [out] +[tool.scarb] [out] +allow-prebuilt-plugins = ["snforge_std"] # NOTE: maat-patch added 'snforge_std' [out] + [out] +[patch.scarbs-xyz] [out] +assert_macros = "2.9.4" # NOTE: added by maat-patch, was: None [out] +starknet = "2.9.4" # NOTE: added by maat-patch, was: None [out] +cairo_test = "2.9.4" # NOTE: added by maat-patch, was: None [out] +snforge_std = "0.43.0" # NOTE: added by maat-patch, was: None [out] +snforge_scarb_plugin = "0.43.0" # NOTE: added by maat-patch, was: None [out] + [out] +[patch."https://github.com/foundry-rs/starknet-foundry.git"] [out] +snforge_std = "0.43.0" # NOTE: added by maat-patch, was: None [out] +snforge_scarb_plugin = "0.43.0" # NOTE: added by maat-patch, was: None >>> scarb fetch [out] warn: `edition` field not set in `[package]` section for package `integrity` >>> scarb tree -q --workspace [out] error: no such command: `tree` [out] [out] Stack backtrace: [out] 0: anyhow::kind::Adhoc::new [out] 1: anyhow::__private::format_err.100887 [out] 2: scarb::commands::run [out] 3: scarb::main [out] 4: std::sys::backtrace::__rust_begin_short_backtrace [out] 5: main [out] 6: __libc_start_call_main [out] 7: __libc_start_main_impl [out] 8: _start Process finished with exit code 1 >>> scarb build --workspace --test [out] warn: `edition` field not set in `[package]` section for package `integrity` [out] Compiling test(integrity_unittest) integrity v2.0.0 (/mnt/maat-workbench/Scarb.toml) [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:8:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:15:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:21:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:8:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:15:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:21:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] Finished `dev` profile target(s) in 9 seconds >>> scarb lint --workspace --deny-warnings [out] error: no such command: `lint` [out] [out] Stack backtrace: [out] 0: anyhow::kind::Adhoc::new [out] 1: anyhow::__private::format_err.100887 [out] 2: scarb::commands::run [out] 3: scarb::main [out] 4: std::sys::backtrace::__rust_begin_short_backtrace [out] 5: main [out] 6: __libc_start_call_main [out] 7: __libc_start_main_impl [out] 8: _start Process finished with exit code 1 >>> SNFORGE_FUZZER_SEED=1 SNFORGE_IGNORE_FORK_TESTS=1 scarb test --workspace [out] warn: `edition` field not set in `[package]` section for package `integrity` [out] Running test integrity (scarb cairo-test) [out] warn: `edition` field not set in `[package]` section for package `integrity` [out] Compiling test(integrity_unittest) integrity v2.0.0 (/mnt/maat-workbench/Scarb.toml) [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:8:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:15:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:21:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:8:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:15:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] warn: Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [out] --> /mnt/maat-workbench/src/settings.cairo:21:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] ^******************************************************^ [out] [out] Finished `dev` profile target(s) in 9 seconds [out] testing integrity ... [out] running 97 tests [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_2 ... ok (gas usage est.: 10764) [out] test integrity::fri::tests::test_next_layer::test_next_layer13 ... ok (gas usage est.: 693840) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_9_reversed ... ok (gas usage est.: 535180) [out] test integrity::air::public_input::tests::test_get_public_input_hash ... ok (gas usage est.: 787441) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_3 ... ok (gas usage est.: 5932) [out] test integrity::channel::tests::test_random_felt_to_prover::test_random_felts_to_prover_0 ... ok (gas usage est.: 2891) [out] test integrity::fri::tests::test_next_layer::test_next_layer14 ... ok (gas usage est.: 660560) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_10_reversed ... ok (gas usage est.: 592570) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_4 ... ok (gas usage est.: 5932) [out] test integrity::channel::tests::test_random_felt_to_prover::test_random_felts_to_prover_1 ... ok (gas usage est.: 2891) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_10_random ... ok (gas usage est.: 621290) [out] test integrity::fri::tests::test_next_layer::test_next_layer15 ... ok (gas usage est.: 848870) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_5 ... ok (gas usage est.: 5932) [out] test integrity::channel::tests::test_random_felts_to_prover::test_random_felts_to_prover ... ok (gas usage est.: 33764) [out] test integrity::fri::tests::test_next_layer::test_next_layer16 ... ok (gas usage est.: 820080) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_27_random ... ok (gas usage est.: 2002510) [out] test integrity::channel::tests::test_read_felt_from_prover::test_read_felt_from_prover_0 ... ok (gas usage est.: 14162) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_6 ... ok (gas usage est.: 5832) [out] test integrity::common::tests::test_powers_array::test_powers_array_0 ... ok (gas usage est.: 124650) [out] test integrity::oods::tests::test_verify_oods ... ok (gas usage est.: 5259000) [out] test integrity::channel::tests::test_read_felt_from_prover::test_read_felt_from_prover_1 ... ok (gas usage est.: 14162) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_7 ... ok (gas usage est.: 10764) [out] test integrity::proof_of_work::tests::test_proof_of_work::test_verify_proof_of_work_0 ... ok (gas usage est.: 680158) [out] test integrity::domains::tests::test_domain_creation ... ok (gas usage est.: 6989290) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_256 ... ok (gas usage est.: 11164) [out] test integrity::channel::tests::test_read_felt_vector_from_prover::test_read_felt_vector_from_prover_0 ... ok (gas usage est.: 342043) [out] test integrity::proof_of_work::tests::test_proof_of_work::test_verify_proof_of_work_1 ... ok (gas usage est.: 680158) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula2 ... ok (gas usage est.: 39660) [out] test integrity::channel::tests::test_read_uint64_from_prover::test_read_uint64_from_prover_0 ... ok (gas usage est.: 14162) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_0 ... ok (gas usage est.: 5540) [out] test integrity::queries::tests::test_generate_queries::test_generate_queries_0 ... ok (gas usage est.: 740631) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula4 ... ok (gas usage est.: 40060) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_1 ... ok (gas usage est.: 8110) [out] test integrity::common::tests::test_array_append::test_array_append_le_1 ... ok (gas usage est.: 10490) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula8 ... ok (gas usage est.: 40860) [out] test integrity::queries::tests::test_queries_to_points::test_queries_to_points_0 ... ok (gas usage est.: 6741032) [out] test integrity::common::tests::test_array_append::test_array_append_le_2 ... ok (gas usage est.: 10590) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_2 ... ok (gas usage est.: 17990) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula16 ... ok (gas usage est.: 42460) [out] test integrity::queries::tests::test_usort::test_usort_0 ... ok (gas usage est.: 36370) [out] test integrity::common::tests::test_array_append::test_array_append_le_3 ... ok (gas usage est.: 23690) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_3 ... ok (gas usage est.: 40220) [out] test integrity::queries::tests::test_usort::test_usort_1 ... ok (gas usage est.: 16950) [out] test integrity::fri::tests::test_last_layer::test_verify_last_layer1 ... ok (gas usage est.: 9497340) [out] test integrity::common::tests::test_array_append::test_array_append_le_4 ... ok (gas usage est.: 26230) [out] test integrity::common::tests::test_math::test_pow_1 ... ok (gas usage est.: 1126970) [out] test integrity::queries::tests::test_usort::test_usort_2 ... ok (gas usage est.: 660170) [out] test integrity::fri::tests::test_last_layer::test_verify_last_layer2 ... ok (gas usage est.: 1826710) [out] test integrity::common::tests::test_array_append::test_array_append_le_5 ... ok (gas usage est.: 137640) [out] test integrity::common::tests::test_math::test_pow_2 ... ok (gas usage est.: 2744240) [out] test integrity::fri::tests::test_next_layer::test_next_layer1 ... ok (gas usage est.: 244770) [out] test integrity::queries::tests::test_usort::test_usort_3 ... ok (gas usage est.: 654030) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_0 ... ok (gas usage est.: 65096) [out] test integrity::common::tests::test_math::test_div_rem_felt252 ... ok (gas usage est.: 14510) [out] test integrity::fri::tests::test_next_layer::test_next_layer2 ... ok (gas usage est.: 283440) [out] test integrity::queries::tests::test_usort::test_usort_4 ... ok (gas usage est.: 607410) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_1 ... ok (gas usage est.: 33048) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_0 ... ok (gas usage est.: 22350) [out] test integrity::queries::tests::test_usort::test_usort_5 ... ok (gas usage est.: 97900) [out] test integrity::fri::tests::test_next_layer::test_next_layer3 ... ok (gas usage est.: 346210) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_2 ... ok (gas usage est.: 33048) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_1 ... ok (gas usage est.: 28190) [out] test integrity::fri::tests::test_next_layer::test_next_layer4 ... ok (gas usage est.: 457180) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_3 ... ok (gas usage est.: 65096) [out] test integrity::stark::tests::test_stark_commit::test_stark_commit ... ok (gas usage est.: 9498712) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_2_sorted ... ok (gas usage est.: 85910) [out] test integrity::fri::tests::test_next_layer::test_next_layer5 ... ok (gas usage est.: 394460) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_2_unsorted ... ok (gas usage est.: 85910) [out] test integrity::common::tests::test_blake2s_u8::test_blake2s_v1 ... ok (gas usage est.: 5246416) [out] test integrity::fri::tests::test_next_layer::test_next_layer6 ... ok (gas usage est.: 471800) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_3_reversed ... ok (gas usage est.: 150790) [out] test integrity::common::tests::test_blake2s_u8::test_blake2s_v2 ... ok (gas usage est.: 5275752) [out] test integrity::fri::tests::test_next_layer::test_next_layer7 ... ok (gas usage est.: 597340) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_4_reversed ... ok (gas usage est.: 201020) [out] test integrity::common::tests::test_blake2s_u8::test_truncated_blake2s ... ok (gas usage est.: 2935387) [out] test integrity::fri::tests::test_next_layer::test_next_layer8 ... ok (gas usage est.: 819280) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_5_reversed ... ok (gas usage est.: 276640) [out] test integrity::common::tests::test_blake2s::test_blake2s_v1 ... ok (gas usage est.: 4471216) [out] test integrity::fri::tests::test_next_layer::test_next_layer9 ... ok (gas usage est.: 394860) [out] test integrity::stark::tests::test_stark_proof_verify::test_stark_proof_fibonacci_verify ... ok (gas usage est.: 179912670) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_6_reversed ... ok (gas usage est.: 330450) [out] test integrity::fri::tests::test_next_layer::test_next_layer10 ... ok (gas usage est.: 660160) [out] test integrity::common::tests::test_blake2s::test_blake2s_v2 ... ok (gas usage est.: 4500552) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_7_reversed ... ok (gas usage est.: 384260) [out] test integrity::fri::tests::test_next_layer::test_next_layer11 ... ok (gas usage est.: 597740) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_0 ... ok (gas usage est.: 5932) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_8_reversed ... ok (gas usage est.: 441660) [out] test integrity::stark::tests::test_stark_verify::test_stark_verify ... ok (gas usage est.: 92861847) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_1 ... ok (gas usage est.: 10764) [out] test integrity::fri::tests::test_next_layer::test_next_layer12 ... ok (gas usage est.: 819680) [out] test integrity::table_commitment::tests::test_table_commitment_commit::test_table_commitment_commit ... ok (gas usage est.: 17172) [out] test integrity::vector_commitment::tests::test_vector_commitment_decommit::test_vector_commitment_decommit ... ok (gas usage est.: 8697800) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_invalid_validate_vector_commitment_1 ... ok (gas usage est.: 1200) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_validate_vector_commitment ... ok (gas usage est.: 1200) [out] test integrity::table_commitment::tests::test_table_commitment_decommit::test_table_commitment_decommit ... ok (gas usage est.: 25389800) [out] test integrity::vector_commitment::tests::test_vector_commitment_commit::test_vector_commit ... ok (gas usage est.: 15362) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_invalid_validate_vector_commitment_2 ... ok (gas usage est.: 1200) [out] test result: ok. 97 passed; 0 failed; 0 ignored; 0 filtered out; [out] >>> maat-test-ls [err] 0.004510898s WARN cairo_lang_language_server::config: client does not support `workspace/configuration` requests, config will not be reloaded [out] Opening file:///mnt/maat-workbench/src/lib.cairo [out] [out] ============================== [err] Error: analysis timed out [err] at Timeout._onTimeout (/root/.local/bin/maat-test-ls:10244:44) [err] at listOnTimeout (node:internal/timers:608:17) [err] at process.processTimers (node:internal/timers:543:7) [out] [out] ============================== [out] CairoLS process exited with code: 0 Process finished with exit code 1