{
    "rust-analyzer.linkedProjects": [
        "interactive-demo/verifier-rs/Cargo.toml",
        "interactive-demo/prover-rs/Cargo.toml"
    ],
}