A Short Implementation Study of Privacy-Preserving Cross-Chain Verification Using Zero-Knowledge Proofs in Polkadot/Substrate Environments eprint.iacr.org
Paper on Groth16-based private cross-chain verification for Substrate, with Circom/SnarkJS and XCM sims, because of course.