Architecture, threat model, 9 protection layers, Privacy Pools integration, and comparison with Tornado Cash / Railgun / 0xbow.

Circom circuit design: deposit, withdraw (dual nullifier), partial withdrawal, selective disclosure, association set membership. Constraint analysis.

Solidity contract reference: ZKSentinelCore, ProofOfInnocence, SelectiveDisclosure, ASPRegistry. Function signatures, events, modifiers.

JavaScript SDK and CLI tool documentation. deposit, withdraw, partial-withdraw, transfer, poi, selective-disclosure commands.

Relayer REST endpoints, fee structure, anti-frontrunning binding, status monitoring. How to run your own relayer node.

Step-by-step deploy on Sepolia / Arbitrum / Base. Trusted setup, contract verification, circuit compilation, verifier generation.

Halo2 ML coercion detection: model architecture, EZKL conversion, on-chain verification, threshold calibration, false positive handling.

Anti-coercion defense deep-dive: dual nullifier mathematics, threat scenarios, recovery procedures, and the 'peace of mind' parameter.

ZK-Sentinel: A Privacy-Preserving Protocol with Coercion Resistance (Elsevier submission). Full formal definitions and proofs.