=== 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.11.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..a49c6e2 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.11.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.11.4" # NOTE: added by maat-patch, was: None [out] +starknet = "2.11.4" # NOTE: added by maat-patch, was: None [out] +cairo_test = "2.11.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.100642 [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-13:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [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-19:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [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-25:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [out] |_^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/mocked_fact_registry.cairo:57:9 [out] starknet::event::EventEmitter, [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [out] --> /mnt/maat-workbench/src/contracts/mocked_fact_registry.cairo:152:58 [out] self.fact_verifications.entry(fact_hash).append().write(verification_hash); [out] ^^^^^^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/proxy.cairo:84:9 [out] starknet::event::EventEmitter [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/fact_registry.cairo:94:9 [out] starknet::event::EventEmitter, [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [out] --> /mnt/maat-workbench/src/contracts/fact_registry.cairo:304:58 [out] self.fact_verifications.entry(fact_hash).append().write(verification_hash); [out] ^^^^^^ [out] [out] warn: Usage of deprecated feature `"deprecated-starknet-consts"` with no `#[feature("deprecated-starknet-consts")]` attribute. Note: "Use `TryInto::try_into` in const context instead." [out] --> /mnt/maat-workbench/src/lib_utils.cairo:6:33 [out] use starknet::{ContractAddress, contract_address_const}; [out] ^^^^^^^^^^^^^^^^^^^^^^ [out] [out] Finished `dev` profile target(s) in 10 seconds >>> scarb lint --workspace --deny-warnings [err] error: unexpected argument '--deny-warnings' found [err] [err] tip: a similar argument exists: '--no-warnings' [err] [err] Usage: scarb lint --workspace --no-warnings [err] [err] For more information, try '--help'. Process finished with exit code 2 >>> 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-13:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [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-19:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [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-25:1 [out] #[derive(Drop, Copy, PartialEq, Serde, starknet::Store)] [out] _^ [out] | ... [out] | } [out] |_^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/mocked_fact_registry.cairo:57:9 [out] starknet::event::EventEmitter, [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [out] --> /mnt/maat-workbench/src/contracts/mocked_fact_registry.cairo:152:58 [out] self.fact_verifications.entry(fact_hash).append().write(verification_hash); [out] ^^^^^^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/proxy.cairo:84:9 [out] starknet::event::EventEmitter [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [out] --> /mnt/maat-workbench/src/contracts/fact_registry.cairo:94:9 [out] starknet::event::EventEmitter, [out] ^^^^^^^^ [out] [out] warn: Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [out] --> /mnt/maat-workbench/src/contracts/fact_registry.cairo:304:58 [out] self.fact_verifications.entry(fact_hash).append().write(verification_hash); [out] ^^^^^^ [out] [out] warn: Usage of deprecated feature `"deprecated-starknet-consts"` with no `#[feature("deprecated-starknet-consts")]` attribute. Note: "Use `TryInto::try_into` in const context instead." [out] --> /mnt/maat-workbench/src/lib_utils.cairo:6:33 [out] use starknet::{ContractAddress, contract_address_const}; [out] ^^^^^^^^^^^^^^^^^^^^^^ [out] [out] Finished `dev` profile target(s) in 10 seconds [out] Testing integrity [out] running 97 tests [out] test integrity::fri::tests::test_next_layer::test_next_layer13 ... ok (gas usage est.: 537170) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_2 ... ok (gas usage est.: 11164) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_9_reversed ... ok (gas usage est.: 423400) [out] test integrity::air::public_input::tests::test_get_public_input_hash ... ok (gas usage est.: 787051) [out] test integrity::channel::tests::test_random_felt_to_prover::test_random_felts_to_prover_0 ... ok (gas usage est.: 3291) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_3 ... ok (gas usage est.: 6332) [out] test integrity::fri::tests::test_next_layer::test_next_layer14 ... ok (gas usage est.: 526850) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_10_reversed ... ok (gas usage est.: 471520) [out] test integrity::channel::tests::test_random_felt_to_prover::test_random_felts_to_prover_1 ... ok (gas usage est.: 3291) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_4 ... ok (gas usage est.: 6332) [out] test integrity::fri::tests::test_next_layer::test_next_layer15 ... ok (gas usage est.: 712630) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_10_random ... ok (gas usage est.: 500940) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_5 ... ok (gas usage est.: 6332) [out] test integrity::channel::tests::test_random_felts_to_prover::test_random_felts_to_prover ... ok (gas usage est.: 30333) [out] test integrity::fri::tests::test_next_layer::test_next_layer16 ... ok (gas usage est.: 707210) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_27_random ... ok (gas usage est.: 1713610) [out] test integrity::channel::tests::test_read_felt_from_prover::test_read_felt_from_prover_0 ... ok (gas usage est.: 12092) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_6 ... ok (gas usage est.: 6232) [out] test integrity::common::tests::test_powers_array::test_powers_array_0 ... ok (gas usage est.: 131740) [out] test integrity::oods::tests::test_verify_oods ... ok (gas usage est.: 5075530) [out] test integrity::channel::tests::test_read_felt_from_prover::test_read_felt_from_prover_1 ... ok (gas usage est.: 12092) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_7 ... ok (gas usage est.: 11164) [out] test integrity::proof_of_work::tests::test_proof_of_work::test_verify_proof_of_work_0 ... ok (gas usage est.: 660228) [out] test integrity::domains::tests::test_domain_creation ... ok (gas usage est.: 7006400) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_256 ... ok (gas usage est.: 11564) [out] test integrity::channel::tests::test_read_felt_vector_from_prover::test_read_felt_vector_from_prover_0 ... ok (gas usage est.: 364903) [out] test integrity::proof_of_work::tests::test_proof_of_work::test_verify_proof_of_work_1 ... ok (gas usage est.: 660928) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula2 ... ok (gas usage est.: 40060) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_0 ... ok (gas usage est.: 3770) [out] test integrity::channel::tests::test_read_uint64_from_prover::test_read_uint64_from_prover_0 ... ok (gas usage est.: 12092) [out] test integrity::queries::tests::test_generate_queries::test_generate_queries_0 ... ok (gas usage est.: 614580) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula4 ... ok (gas usage est.: 40460) [out] test integrity::common::tests::test_array_append::test_array_append_le_1 ... ok (gas usage est.: 4070) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_1 ... ok (gas usage est.: 6540) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula8 ... ok (gas usage est.: 41260) [out] test integrity::queries::tests::test_queries_to_points::test_queries_to_points_0 ... ok (gas usage est.: 6514914) [out] test integrity::common::tests::test_array_append::test_array_append_le_2 ... ok (gas usage est.: 4170) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_2 ... ok (gas usage est.: 17220) [out] test integrity::fri::tests::test_fri_formula::test_fri_formula16 ... ok (gas usage est.: 42860) [out] test integrity::queries::tests::test_usort::test_usort_0 ... ok (gas usage est.: 21990) [out] test integrity::common::tests::test_array_append::test_array_append_le_3 ... ok (gas usage est.: 23090) [out] test integrity::common::tests::test_horner_eval::test_horner_eval_3 ... ok (gas usage est.: 41250) [out] test integrity::queries::tests::test_usort::test_usort_1 ... ok (gas usage est.: 6470) [out] test integrity::fri::tests::test_last_layer::test_verify_last_layer1 ... ok (gas usage est.: 10292860) [out] test integrity::common::tests::test_array_append::test_array_append_le_4 ... ok (gas usage est.: 25630) [out] test integrity::common::tests::test_math::test_pow_1 ... ok (gas usage est.: 1128180) [out] test integrity::queries::tests::test_usort::test_usort_2 ... ok (gas usage est.: 541600) [out] test integrity::fri::tests::test_last_layer::test_verify_last_layer2 ... ok (gas usage est.: 1975780) [out] test integrity::common::tests::test_array_append::test_array_append_le_5 ... ok (gas usage est.: 119060) [out] test integrity::common::tests::test_math::test_pow_2 ... ok (gas usage est.: 2768830) [out] test integrity::queries::tests::test_usort::test_usort_3 ... ok (gas usage est.: 533420) [out] test integrity::fri::tests::test_next_layer::test_next_layer1 ... ok (gas usage est.: 151250) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_0 ... ok (gas usage est.: 66296) [out] test integrity::common::tests::test_math::test_div_rem_felt252 ... ok (gas usage est.: 15310) [out] test integrity::queries::tests::test_usort::test_usort_4 ... ok (gas usage est.: 481950) [out] test integrity::fri::tests::test_next_layer::test_next_layer2 ... ok (gas usage est.: 188800) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_1 ... ok (gas usage est.: 33848) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_0 ... ok (gas usage est.: 10880) [out] test integrity::queries::tests::test_usort::test_usort_5 ... ok (gas usage est.: 68330) [out] test integrity::fri::tests::test_next_layer::test_next_layer3 ... ok (gas usage est.: 252460) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_2 ... ok (gas usage est.: 33848) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_1 ... ok (gas usage est.: 17320) [out] test integrity::fri::tests::test_next_layer::test_next_layer4 ... ok (gas usage est.: 355340) [out] test integrity::stark::tests::test_stark_commit::test_stark_commit ... ok (gas usage est.: 9544571) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_2_sorted ... ok (gas usage est.: 58880) [out] test integrity::common::tests::test_bit_reverse::test_bit_reverse_3 ... ok (gas usage est.: 66296) [out] test integrity::fri::tests::test_next_layer::test_next_layer5 ... ok (gas usage est.: 279890) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_2_unsorted ... ok (gas usage est.: 59450) [out] test integrity::common::tests::test_blake2s_u8::test_blake2s_v1 ... ok (gas usage est.: 5015570) [out] test integrity::fri::tests::test_next_layer::test_next_layer6 ... ok (gas usage est.: 357590) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_3_reversed ... ok (gas usage est.: 108560) [out] test integrity::common::tests::test_blake2s_u8::test_blake2s_v2 ... ok (gas usage est.: 5044306) [out] test integrity::fri::tests::test_next_layer::test_next_layer7 ... ok (gas usage est.: 481010) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_4_reversed ... ok (gas usage est.: 148920) [out] test integrity::fri::tests::test_next_layer::test_next_layer8 ... ok (gas usage est.: 704320) [out] test integrity::common::tests::test_blake2s_u8::test_truncated_blake2s ... ok (gas usage est.: 2832734) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_5_reversed ... ok (gas usage est.: 208890) [out] test integrity::fri::tests::test_next_layer::test_next_layer9 ... ok (gas usage est.: 281660) [out] test integrity::stark::tests::test_stark_proof_verify::test_stark_proof_fibonacci_verify ... ok (gas usage est.: 77256005) [out] test integrity::common::tests::test_blake2s::test_blake2s_v1 ... ok (gas usage est.: 4189710) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_6_reversed ... ok (gas usage est.: 253130) [out] test integrity::fri::tests::test_next_layer::test_next_layer10 ... ok (gas usage est.: 524430) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_7_reversed ... ok (gas usage est.: 296590) [out] test integrity::common::tests::test_blake2s::test_blake2s_v2 ... ok (gas usage est.: 4218446) [out] test integrity::fri::tests::test_next_layer::test_next_layer11 ... ok (gas usage est.: 484080) [out] test integrity::common::tests::test_merge_sort::test_merge_sort_8_reversed ... ok (gas usage est.: 344810) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_0 ... ok (gas usage est.: 6332) [out] test integrity::stark::tests::test_stark_verify::test_stark_verify ... ok (gas usage est.: 34549102) [out] test integrity::fri::tests::test_next_layer::test_next_layer12 ... ok (gas usage est.: 703490) [out] test integrity::table_commitment::tests::test_table_commitment_commit::test_table_commitment_commit ... ok (gas usage est.: 15202) [out] test integrity::common::tests::test_flip_endianness::test_flip_endianness_1 ... ok (gas usage est.: 11164) [out] test integrity::vector_commitment::tests::test_vector_commitment_decommit::test_vector_commitment_decommit ... ok (gas usage est.: 1964999) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_invalid_validate_vector_commitment_1 ... ok (gas usage est.: 1600) [out] test integrity::vector_commitment::tests::test_vector_commitment_commit::test_vector_commit ... ok (gas usage est.: 13592) [out] test integrity::table_commitment::tests::test_table_commitment_decommit::test_table_commitment_decommit ... ok (gas usage est.: 6072409) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_validate_vector_commitment ... ok (gas usage est.: 1600) [out] test integrity::vector_commitment::tests::test_vector_commitment_validate::test_invalid_validate_vector_commitment_2 ... ok (gas usage est.: 1600) [out] test result: ok. 97 passed; 0 failed; 0 ignored; 0 filtered out; >>> maat-test-ls [err] 0.003969016s WARN cairo_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] ============================== [out] Analysis completed, server is idle. [out] [out] ============================== [out] # Analyzed Crates [out] [out] - `core`: `["/mnt/maat-cache/scarb/registry/std/v2.11.4/core/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "core", [out] ), [out] edition: V2024_07, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 11, [out] patch: 4, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: true, [out] associated_item_constraints: true, [out] coupons: true, [out] }, [out] } [out] ``` [out] - `integrity`: `["/mnt/maat-workbench/src/lib.cairo"]` [out] ```rust [out] CrateSettings { [out] name: Some( [out] "integrity", [out] ), [out] edition: V2023_01, [out] version: Some( [out] Version { [out] major: 2, [out] minor: 0, [out] patch: 0, [out] }, [out] ), [out] cfg_set: Some( [out] CfgSet( [out] feature: "_verifier_logic", [out] feature: "keccak", [out] feature: "monolith", [out] feature: "recursive", [out] target: "lib", [out] target: "starknet-contract", [out] target: "test", [out] test, [out] ), [out] ), [out] dependencies: { [out] "core": DependencySettings { [out] discriminator: None, [out] }, [out] "integrity": DependencySettings { [out] discriminator: Some( [out] "integrity 2.0.0 (path+file:///mnt/maat-workbench/Scarb.toml)", [out] ), [out] }, [out] }, [out] experimental_features: ExperimentalFeaturesConfig { [out] negative_impls: false, [out] associated_item_constraints: false, [out] coupons: false, [out] }, [out] } [out] ``` [out] [out] [out] ============================== [out] file:///mnt/maat-workbench/src/air/layouts/recursive/public_input.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 82, Col 8] [out] file:///mnt/maat-workbench/src/air/public_input.cairo (4) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 91, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 111, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 66, Col 4] [out] (W) Plugin diagnostic: using [`<`, `<=`, `>=`, `>`] exit conditions is inefficient. Consider switching to `!=` or using ArrayTrait::multi_pop_front. [Ln 217, Col 10] [out] file:///mnt/maat-workbench/src/air/public_memory.cairo (2) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 84, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 105, Col 4] [out] file:///mnt/maat-workbench/src/channel/channel.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 51, Col 8] [out] file:///mnt/maat-workbench/src/common/array_append.cairo (4) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 51, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 59, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 224, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 233, Col 8] [out] file:///mnt/maat-workbench/src/common/array_extend.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 3, Col 8] [out] file:///mnt/maat-workbench/src/common/array_print.cairo (2) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 6, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 19, Col 8] [out] file:///mnt/maat-workbench/src/common/blake2s_u8.cairo (12) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 82, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 272, Col 4] [out] (W) Plugin diagnostic: This operation doesn't change the value and can be simplified. [Ln 86, Col 28] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 436, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 445, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 477, Col 16] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 464, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 495, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 503, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 510, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 537, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 544, Col 4] [out] file:///mnt/maat-workbench/src/common/blake2s.cairo (10) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 244, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 407, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 416, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 448, Col 16] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 435, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 466, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 474, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 481, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 508, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 515, Col 4] [out] file:///mnt/maat-workbench/src/common/math.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 8, Col 4] [out] file:///mnt/maat-workbench/src/common/merge_sort.cairo (2) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 33, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 12, Col 4] [out] file:///mnt/maat-workbench/src/common/powers_array.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 6, Col 4] [out] file:///mnt/maat-workbench/src/contracts/fact_registry.cairo (3) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 242, Col 12] [out] (W) Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [Ln 93, Col 8] [out] (W) Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [Ln 303, Col 57] [out] file:///mnt/maat-workbench/src/contracts/mocked_fact_registry.cairo (3) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 92, Col 12] [out] (W) Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [Ln 56, Col 8] [out] (W) Usage of deprecated feature `"starknet-storage-deprecation"` with no `#[feature("starknet-storage-deprecation")]` attribute. Note: "Use `starknet::storage::MutableVecTrait::push` instead." [Ln 151, Col 57] [out] file:///mnt/maat-workbench/src/contracts/proxy.cairo (1) [out] (W) Usage of deprecated feature `"corelib-internal-use"` with no `#[feature("corelib-internal-use")]` attribute. Note: "Use `starknet` directly" [Ln 83, Col 8] [out] file:///mnt/maat-workbench/src/deserialization/fri.cairo (5) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 24, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 60, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 92, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 106, Col 12] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 83, Col 8] [out] file:///mnt/maat-workbench/src/deserialization/stark.cairo (3) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 98, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 112, Col 8] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 124, Col 8] [out] file:///mnt/maat-workbench/src/domains.cairo (2) [out] (W) Plugin diagnostic: This operation doesn't change the value and can be simplified. [Ln 28, Col 50] [out] (W) Plugin diagnostic: This operation doesn't change the value and can be simplified. [Ln 30, Col 51] [out] file:///mnt/maat-workbench/src/fri/fri_config.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 43, Col 8] [out] file:///mnt/maat-workbench/src/fri/fri_first_layer.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 11, Col 4] [out] file:///mnt/maat-workbench/src/fri/fri_last_layer.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 5, Col 4] [out] file:///mnt/maat-workbench/src/fri/fri_layer.cairo (2) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 40, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 83, Col 4] [out] file:///mnt/maat-workbench/src/fri/fri.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 98, Col 4] [out] file:///mnt/maat-workbench/src/lib_utils.cairo (1) [out] (W) Usage of deprecated feature `"deprecated-starknet-consts"` with no `#[feature("deprecated-starknet-consts")]` attribute. Note: "Use `TryInto::try_into` in const context instead." [Ln 5, Col 32] [out] file:///mnt/maat-workbench/src/oods.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 101, Col 4] [out] file:///mnt/maat-workbench/src/queries/queries.cairo (3) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 26, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 57, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 85, Col 4] [out] file:///mnt/maat-workbench/src/settings.cairo (3) [out] (W) Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [Ln 7, Col 0] [out] (W) Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [Ln 14, Col 0] [out] (W) Plugin diagnostic: Enum with `#[derive(starknet::Store)] has no default variant. Either add one, or add `#[allow(starknet::store_no_default_variant)]` [Ln 20, Col 0] [out] file:///mnt/maat-workbench/src/stark.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 158, Col 8] [out] file:///mnt/maat-workbench/src/table_commitment/table_commitment.cairo (2) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 104, Col 4] [out] (W) Plugin diagnostic: you seem to be trying to use `loop`. Consider replacing this `loop` with a `while` loop for clarity and conciseness [Ln 126, Col 4] [out] file:///mnt/maat-workbench/src/vector_commitment/vector_commitment.cairo (1) [out] (W) Plugin diagnostic: you seem to be trying to use `loop` for iterating over a span. Consider using `for in` [Ln 160, Col 4] [out] total: 0 errors, 76 warnings, 0 infos, 0 hints [out] [out] ============================== [out] CairoLS process exited with code: 0