Verifying foreign event

In this example, you will verify the Transfer event of an ERC20 contract on Sepolia from Chiado using an event proof. The proof will be fetched via an API call and fed to a contract deployed on Chiado. The contract will use the HashiProver helper library to validate the proof against the last reported block header stored in Hashi.