Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
Blobstream X's core contract is BlobstreamX, which stores commitments to ranges of data roots from Celestia blocks. Users can query for the validity of a data root of a specific block height via verifyAttestation, which proves that the data root is a leaf in the Merkle tree for the block range the specific block height is in.
Add env variables to .env, following the .env.example. You do not need to fill out the local configuration, unless you're planning on doing local proving.
Run BlobstreamX script to request updates to the specified light client continuously. For the cadence of requesting updates, update LOOP_DELAY_MINUTES.
In /, run
cargo run --bin blobstreamx --release
To enable local proving & local relaying of proofs with the Blobstream X operator, download the proving binaries by following the instructions here.
Then, simply add the following to your .env:
LOCAL_PROVE_MODE=true
LOCAL_RELAY_MODE=true
# Add the path to each binary (ex. PROVE_BINARY_0x6d...=blobstream-artifacts/header_range)
PROVE_BINARY_0xFILL_IN_NEXT_HEADER_FUNCTION_ID=
PROVE_BINARY_0xFILL_IN_HEADER_RANGE_FUNCTION_ID=
WRAPPER_BINARY=
Add env variables to .env, following the .env.example.
If you want to relay an existing proof in /proofs, run the following command:
cargo run --bin local_relay --release -- --request-id {REQUEST_ID}To deploy the BlobstreamX contract:
-
Get the genesis parameters for a
BlobstreamXcontract from a specific Celestia block.cargo run --bin genesis -- --block <genesis_block>
-
Add .env variables to
contracts/.env, followingcontracts/.env.example. -
Initialize
BlobstreamXcontract with genesis parameters. Incontracts, runforge install source .env forge script script/Deploy.s.sol --rpc-url $RPC_URL --private-key $PRIVATE_KEY --broadcast --verify --verifier etherscan --etherscan-api-key $ETHERSCAN_API_KEY
Set the whitelist status of a functionID to Default (0), Custom (1) or Disabled (2).
cast calldata "setWhitelistStatus(bytes32,uint8)" <YOUR_FUNCTION_ID> <WHITELIST_STATUS>Add a custom prover for a specific functionID.
cast calldata "addCustomProver(bytes32,address)" <FUNCTION_ID> <CUSTOM_PROVER_ADDRESS>