> For the complete documentation index, see [llms.txt](https://qualitax.gitbook.io/interop/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://qualitax.gitbook.io/interop/bridging-approaches/relayers/zkp-snark.md).

# ZKP Snark

Proof message relay can have Snark or Stark methods that computes the proof of message authenticity and sends it to a smart contract on the target chain for verification. The Snark (Succinct Non-Interactive Argument of Knowledge) relies on external parameters computed among the ZKP systems and therefore needs secure setup.

Source: EEA

Prover generates proof of validity which verifier can check without revealing inputs. Example: Polygon Hermez uses Snarks for ETH-Polygon transfers.