Hiding in Plain Sight: zERC20 and zk-Proof-of-Burn

This report provides a technical deep-dive into zERC20, an application-layer implementation of EIP-7503 (zk-Proof-of-Burn) that achieves plausible deniability for ERC-20 transfers by sending tokens to stealth "burn" addresses and reclaiming them via Nova-based zero-knowledge proofs; it covers stealth address generation, silent transfer (deposit), rebirth (withdrawal), the two-circuit Nova IVC architecture for state sync and withdrawals, the omnichain Verifier/Hub/zERC20 contract design, performance and off-chain proving trade-offs, and operational considerations for deployment.