create celestia proving service #33
Conversation
cmwaters
changed the title
|
I'm still missing the membership proofs (I've just done the tendermint header proofs), but I will do that in a follow up PR |
There was a problem hiding this comment.
Should we include a default .env in provers/celestia-prover with a populated RPC_URL that is the default one used when running make start?
Asking b/c I hit a panic:
thread 'main' panicked at provers/celestia-prover/src/main.rs:38:43:
RPC_URL not set: NotPresent
| repo relies on [buf](https://buf.build). If you modify the protos you can regenerate them using: | ||
|
|
||
| ``` | ||
| buf generate |
There was a problem hiding this comment.
[question] Given this PR also updates the make proto-gen command, is it safe to use that here instead?
| buf generate | |
| make proto-gen |
| @@ -0,0 +1,15 @@ | |||
| # SP1_PROVER={network|local|mock} | |||
There was a problem hiding this comment.
[no change needed] should we create a follow-up to de-duplicate this with the .env file that is created at ./solidity-ibc-eureka/.env via the setup-env.go
| # URL of the Tendermint RPC node | ||
| TENDERMINT_RPC_URL=http://localhost:5123 | ||
| # URL of the Ethereum RPC node | ||
| # use https://ethereum-sepolia.publicnode.com/ for the Eth Sepolia testnet |
There was a problem hiding this comment.
turns out we do need most of the environment variables that we use in solidity eureka repo in the root as well. so I'll remove my script that edits it in solidity-ibc-eureka which i initially removed because it was confusing to have an env file in the root that we didn't need.
| > ⚠️ **Warning** | ||
| > This gRPC service is still under development and may not work as described | ||
|
|
||
| To run the server you will need to clone the repo and install rust and cargo. To run the node you also need to set the following environment variables: |
There was a problem hiding this comment.
probably confusing considering we will have env.example that will have everything set there. this might be worth mentioning.
| tendermint_rpc_client: HttpClient, | ||
| membership_prover: SP1ICS07TendermintProver<MembershipProgram>, | ||
| evm_rpc_url: Url, | ||
| evm_contract_address: Address, |
There was a problem hiding this comment.
worth mentioning what kind of contract
There was a problem hiding this comment.
as in ics07_tendermint_contract_address?
Co-authored-by: Rootul P <[email protected]>
Co-authored-by: nina / ნინა <[email protected]>
Overview
This rust program runs a gRPC service exposing a small API for generating state transition proofs from tendermint headers as well as membership proofs from IAVL proofs