Verify on-chain anchor

Paste a lot code to independently check its Polygon anchoring and Merkle root.