zap1_verify_evm
Verify a ZAP1 Merkle proof on Ethereum-compatible chains by checking a leaf hash against a registered Zcash anchor root. Supports Sepolia, Base, and Arbitrum.
Instructions
Verify a ZAP1 Merkle proof on-chain via the EVM ZAP1Verifier contract. Checks that a leaf hash is included in a registered Zcash anchor root. Supports Sepolia (testnet), Base, and Arbitrum.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| chain | Yes | EVM chain to verify on | |
| siblings | Yes | Ordered hex sibling hashes for the Merkle proof | |
| leaf_hash | Yes | 64-char hex leaf hash (no 0x prefix) | |
| positions | Yes | Bit-packed position flags (0 = left, 1 = right per level) | |
| expected_root | Yes | 64-char hex expected Merkle root |