Unable to verify 2.5.4 class

[Bart-Do]

The following class returns an error during verification process.

• Class: https://sepolia.voyager.online/class/0x065e4bf12d8c0ffb37ef9cd09237bbaf994507f993071b2366770976d8705e40

• Compiler version: 2.5.4

• Error:

• Source code:

  #[starknet::interface]
  pub trait IHelloStarknet<TContractState> {
      fn decrease_balance(ref self: TContractState, amount: felt252);
      fn get_balance(self: @TContractState) -> felt252;
  }
  
  #[starknet::contract]
  mod HelloStarknet {
      #[storage]
      struct Storage {
          balance: felt252, 
      }
  
      #[abi(embed_v0)]
      impl HelloStarknetImpl of super::IHelloStarknet<ContractState> {
          fn decrease_balance(ref self: ContractState, amount: felt252) {
              assert(amount != 0, 'Amount cannot be 0');
              self.balance.write(self.balance.read() + amount);
          }
  
          fn get_balance(self: @ContractState) -> felt252 {
              self.balance.read()
          }
      }
  }

[cwkang1998]

Seems this is more of a backend issue than a frontend one. Currently unable to reliably reproduce this.

Recent attempts seems to result in success.

[Bart-Do]

Here's my Scarb.toml file: It seems to happen when I have a dependency in this file.

[package]
name = "mycontract"
version = "0.1.0"
edition = "2023_11"

# See more keys and their definitions at https://docs.swmansion.com/scarb/docs/reference/manifest.html

[dependencies]
starknet = "2.5.4"

[dev-dependencies]
snforge_std = { git = "https://github.com/foundry-rs/starknet-foundry", tag = "v0.22.0" }

[[target.starknet-contract]]
casm = true

[tool.voyager]
my_contract = { path = "lib.cairo" }

[cwkang1998]

You're right, looking at the backend logs it seems to be the case. Will investigate the backend implementation.