Example code failed to run

I encountered an error while running the example code from the code repository. Here are the details of the issue: Steps to Reproduce: ```bash export MAINNET_RPC=https://mainnet.infura.io/v3/apikey cargo run --example verify_stone_proof ``` When running the code, I received the following error message: ``` Anvil is running. Test wallet address: 0x70997970c51812dc3a010c7d01b50e0d17dc79c8 Verifying trace decommitments: Verified: Trace 0 Verified: Trace 1 Verified: Trace 2 Verifying FRI decommitments: Verified: FRI statement: 0 Verified: FRI statement: 1 Verified: FRI statement: 2 Verified: FRI statement: 3 Verified: FRI statement: 4 Verified: FRI statement: 5 Verifying main proof: Error: Revert(Bytes(0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001f496e76616c69642073697a6520666f72206d656d6f7279207061676520302e00)) ``` **Environment**: - Operating System: Ubuntu 20.04 - Programming Language: rust 1.79.0-nightly (a59aba136 2024-03-28)