Modify the Groth16 light client to accept different public values

[rootulp]

Context

Currently the public values output by blevm differ from the public values expected by the Groth16 light client.

celestia-zkevm-ibc-demo/provers/blevm/common/src/lib.rs

Lines 15 to 33 in dff5ef7

	#[derive(Serialize, Deserialize)]
	pub struct BlevmAggOutput {
	// newest_header_hash is the last block's hash on the EVM roll-up.
	// TODO: this may be removable.
	pub newest_header_hash: [u8; 32],
	// oldest_header_hash is the earliest block's hash on the EVM roll-up.
	// TODO: this may be removable.
	pub oldest_header_hash: [u8; 32],
	// celestia_header_hashes is the range of Celestia blocks that include all
	// of the blob data the EVM roll-up has posted from oldest_header_hash to
	// newest_header_hash.
	pub celestia_header_hashes: Vec<[u8; 32]>, // provided by Celestia state machine (eventually x/header)
	// newest_state_root is the computed state root of the EVM roll-up after
	// processing blocks from oldest_header_hash to newest_header_hash.
	pub newest_state_root: [u8; 32],
	// newest_height is the most recent block number of the EVM roll-up.
	// TODO: this may be removable.
	pub newest_height: u64,
	}

celestia-zkevm-ibc-demo/ibc/lightclients/groth16/witness.go

Lines 10 to 20 in dff5ef7

	// PublicWitness should match the public outputs of the SP1 program.
	type PublicWitness struct {
	TrustedHeight int64 // Provided by the relayer/user
	TrustedCelestiaHeaderHash []byte // Provided by the ZK IBC Client
	TrustedRollupStateRoot []byte // Provided by the ZK IBC Client
	NewHeight int64 // Provided by the relayer/user
	NewRollupStateRoot []byte // Provided by the relayer/user
	NewCelestiaHeaderHash []byte // Provided by Celestia State Machine
	CodeCommitment []byte // Provided during initialization of the IBC Client
	GenesisStateRoot []byte // Provided during initialization of the IBC Client
	}

Proposal

Modify the Groth16 light client to accept different public values. This implies multiple SP1 programs, multiple mock SP1 programs, etc.

• One for RollKit (matches current blevm’s BlevmAggOutput), we need to add support for this
• One for Sovereign (matches current groth16 PublicWitness)

Note: we may eventually consolidate the two types so that there is one standardized public value struct suitable for both RollKit and Sovereign.