sanctifier/Cargo.toml at main · Centurylong/sanctifier · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
[workspace]
members = [
    "tooling/sanctifier-core",
    "tooling/sanctifier-guards",
    "tooling/sanctify-macros",
    "tooling/zk",
    "contracts/vulnerable-contract",
    "contracts/token-with-bugs",
    "contracts/amm-pool",
    "contracts/reentrancy-guard",
    "contracts/protected-vault",
    "contracts/runtime-guard-wrapper",
    "contracts/kani-poc",
    "contracts/token-invariants",
    "contracts/sep41-token-invariants",
    "contracts/zk-verifier",
]
resolver = "2"

[workspace.dependencies]
soroban-sdk = { version = "20.5.0" }

[workspace.package]
rust-version = "1.78"

# Soroban contracts need size optimisation; ZK crate overrides this per binary.
[profile.release]
opt-level = "z"
lto = true
codegen-units = 1

# Benchmarks need speed — don't apply the size-first release settings.
[profile.bench]
opt-level = 3
lto = false
codegen-units = 16