Skip to content

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

License

Notifications You must be signed in to change notification settings

succinctlabs/blobstreamx

Repository files navigation

Blobstream X

Blobstream X

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

Overview

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.

Request BlobstreamX Proofs

Request Proofs from the Succinct Platform

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

BlobstreamX Contract Overview

Contract Deployment

To deploy the BlobstreamX contract:

  1. Get the genesis parameters for a BlobstreamX contract from a specific Celestia block.
cargo run --bin genesis -- --block <genesis_block>
  1. Add .env variables to contracts/.env, following contracts/.env.example.
  2. Initialize BlobstreamX contract with genesis parameters. In contracts, run
forge 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

Succinct Gateway Prover Whitelist

Set Whitelist Status

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 Custom Prover

Add a custom prover for a specific functionID.

cast calldata "addCustomProver(bytes32,address)" <FUNCTION_ID> <CUSTOM_PROVER_ADDRESS>

Deployed contracts

You can interact with the Blobstream X contracts today. The Blobstream X Solidity smart contracts are currently deployed on the following chains:

Contract EVM network Contract address Attested data on Celestia
Blobstream X Ethereum Mainnet Not yet deployed Mainnet Beta
Blobstream X Arbitrum One 0xA83ca7775Bc2889825BcDeDfFa5b758cf69e8794 Mainnet Beta
Blobstream X Base 0xA83ca7775Bc2889825BcDeDfFa5b758cf69e8794 Mainnet Beta
Blobstream X Sepolia 0xf0c6429ebab2e7dc6e05dafb61128be21f13cb1e Mocha testnet
Blobstream X Arbitrum Sepolia 0xc3e209eb245Fd59c8586777b499d6A665DF3ABD2 Mocha testnet
Blobstream X Base Sepolia 0xc3e209eb245Fd59c8586777b499d6A665DF3ABD2 Mocha testnet

For more information, please refer to the documentation. And if you're planning on building a rollup that uses Blobstream, check out the blobstream rollups docs.

About

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published