2026-04-13 16:03:20 +08:00
|
|
|
[package]
|
|
|
|
|
name = "fuzz_props"
|
|
|
|
|
version = "0.1.0"
|
|
|
|
|
edition = "2024"
|
|
|
|
|
|
|
|
|
|
[lints]
|
|
|
|
|
workspace = true
|
|
|
|
|
|
2026-05-27 19:41:34 +08:00
|
|
|
[features]
|
|
|
|
|
fuzzer-libfuzzer = []
|
|
|
|
|
fuzzer-afl = []
|
|
|
|
|
|
2026-04-13 16:03:20 +08:00
|
|
|
[dependencies]
|
|
|
|
|
nssa = { workspace = true }
|
2026-04-15 15:47:01 +08:00
|
|
|
nssa_core = { workspace = true }
|
2026-04-13 16:03:20 +08:00
|
|
|
common = { workspace = true }
|
|
|
|
|
borsh = { workspace = true }
|
2026-06-16 17:37:36 +08:00
|
|
|
# Needed by `privacy.rs` to synthesise a *passing* dev-mode fake receipt (Path B):
|
|
|
|
|
# a privacy-preserving proof is a borsh-encoded `risc0_zkvm::InnerReceipt`.
|
|
|
|
|
risc0-zkvm = { workspace = true }
|
2026-04-13 16:03:20 +08:00
|
|
|
proptest = "1.4"
|
|
|
|
|
arbitrary = { version = "1", features = ["derive"] }
|
|
|
|
|
testnet_initial_state = { workspace = true }
|
|
|
|
|
|
|
|
|
|
[dev-dependencies]
|
|
|
|
|
proptest = "1.4"
|
2026-06-06 00:50:52 +08:00
|
|
|
nssa = { workspace = true, features = ["prove"] }
|
