Example code failed to run

[sunday527]

I encountered an error while running the example code from the code repository. Here are the details of the issue:

Steps to Reproduce:

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)

[katat]

Thanks for reporting this. I just had check, and indeed somehow the example code breaks with latest mainnet node. We will look into this.