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.