Sovereign

Sovereign 介绍

Soverign SDK 工作原理

主权 ZK-Rollups 实现快速最终确认

Sovereign: zkRollups as a service

Sovereign 是一个开放互联的 rollup 生态。目标是让所有开发人员能够部署在任何区块链上都可以运行的，可互操作且可扩容的 rollup。Sovereign SDK 是用于创建的主权 zk-rollup 的最简单框架。

模块化设计

Sovereign SDK

• Layer 1 DA 层，负责确保 rollups 的数据可用性，对所有共享 DA 层 rollups 的 batch 进行整体排序， 并提供抗审查的后盾。

interface DaLayer {
  // Gets all transactions from a particular da layer block that are relevant to the rollup
  // Used only by full-nodes of the rollup
  function get_relevant_txs(header: DaHeader) -> Array<DaTxWithSender>
  // Gets all transactions from a particular da layer block that are relevant to the rollup,
  // along with a merkle proof (or similar) showing that each transaction really was included in the da layer block.
  // Depending on the DA layer, may need to include auxiliary information to show that no
  // relevant transactions were omitted.
  // Used by provers
  function get_relevant_txs_with_proof(header: DaHeader) -> (Array<DaTxWithSender>, DaMultiProof, CompletenessProof>
  // Verifies that a list of Da layer transactions provided by an untrusted prover is both
  // complete and correct.
  // Used by the "verifier" circuit in the zkVM
  function verify_relevant_tx_list(txs: Array<DaTxWithSender>, header: DaHeader, witness: DaMultiProof, completenessproof: CompletenessProof)
}

• 状态转换函数，负责将交易按出现在 DA 层上的顺序进行处理。

// The interface to a state transition function, inspired by Tendermint's ABCI
interface StateTransitionFunction {
	// Called once at rollup Genesis to set up the chain
  function init_chain(config: Config)
  // A slot is a DA layer block, and may contain 0 or more rollup blocks
  function begin_slot(slotnumber: u64)
  // Applies a batch of transactions to the current rollup state, returning a list of the
  // events from each transaction, or slashing the sequencer if the batch was malformed
  function apply_batch(batch: Array<Transaction>, sequencer: Bytes): Array<Array<Event>> | ConsensusSetUpdate
  // Process a zero-knowledge proof, rewarding (or punishing) the prover
  function apply_proof(proof: RollupProof): Array<ConsensusSetUpdate>
  // Commit changes after processing all rollup messages
  function end_slot(): StateRoot
}

• 证明系统，没有定义任何关于证明大小，验证时长，延迟的规范。SDK 支持任何可靠的证明系统。

interface ZkVM {
  // Runs some code, creating a proof of correct execution
  function run(f: Function): Proof
  // Verifies a proof, returning its public outputs on success
  function verify(p: Proof): (Result<Array<byte>>)
}

主权 zkRollups

Rollups 网络