content: [package]
  name = "zksync_os_verifier"
  version = "0.1.0"
  edition = "2021"
  authors = ["The Matter Labs Team <hello@matterlabs.dev>"]
  homepage = "https://zksync.io/"
  repository = "https://github.com/matter-labs/zksync-airbender/"
  license = "MIT OR Apache-2.0"
  keywords = ["blockchain", "zksync", "zk"]
  categories = ["cryptography"]
  
  [dependencies]
  verifier = { path = "../../verifier", features = [
      "verifier_program",
      "blake2_with_compression",
  ], optional = true }
  full_statement_verifier = { path = "../../full_statement_verifier", optional = true, default-features = false }
  riscv_common = { path = "../../riscv_common" }
  reduced_keccak = { path = "../../reduced_keccak", optional = true }
  
  [workspace]
  
  [profile.release]
  opt-level = 3
  lto = true
  codegen-units = 1
  panic = "abort"
  debug = false
  strip = true
  
  [features]
  panic_output = ["riscv_common/uart", "riscv_common/custom_panic"]
  base_layer = [
      "full_statement_verifier/verifier_program",
      "full_statement_verifier/blake2_with_compression",
  ]
  recursion_step = [
      "full_statement_verifier/verifier_program",
      "full_statement_verifier/blake2_with_compression",
  ]
  recursion_log_23_step = [
      "full_statement_verifier/verifier_program",
      "full_statement_verifier/blake2_with_compression",
  ]
  recursion_step_no_delegation = ["full_statement_verifier/verifier_program"]
  final_recursion_step = ["full_statement_verifier/verifier_program"]
  universal_circuit = [
      "full_statement_verifier/verifier_program",
      "full_statement_verifier/blake2_with_compression",
      "reduced_keccak",
  ]
  universal_circuit_no_delegation = [
      "full_statement_verifier/verifier_program",
      "reduced_keccak",
  ]
  
  verifier_tests = ["verifier"]
  default = ["universal_circuit"]
  # default = ["verifier_tests"]
  
  [profile.cli]
  inherits = "dev"
  opt-level = 3
  debug = false
  panic = "abort"
  # strip = true
  lto = "thin"
  
  [profile.release_with_symbols]
  inherits = "release"
  debug = true
  