A simple example attempt to verify a share proof on chain using blobstreams DAVerifier contract library, as per the examples from the official documentation.
go run main.go
This example will fetch data inclusion and share proofs from using Celestia json rpc and then attempts to verify the generated proof on chain using the deployed ShareLoader contract below.
A simple contract that wraps the DAVerifier library's
verifySharesToDataRootTupleRoot method is deployed on Arb-Sepolia
at 0xf2787995D9eb43b57eAdB361227Ddf4FEC99b5Df.