技术选型论证

本文档记录 BabyDriver 底层技术栈的选型过程和架构决策依据。


选型背景

构建一条生产级 ZK Rollup L2 涉及 VM 执行引擎、证明系统、状态管理、L1 合约、数据可用性等核心模块。这些模块的工程复杂度极高(参考 zksync-era:200+ Rust crate、212 个 Solidity 合约、3 年+ 开发周期)。

BabyDriver 的差异化不在底层 ZK 引擎,而在 应用层原生基础设施(Oracle、DID、快速桥、预测市场)。因此底层引擎的选型原则是:选择最成熟的开源实现作为基座,把工程资源集中在差异化能力上。


技术选型评估

方案
类型
成熟度
许可证
与目标匹配度

zksync-era

ZK Rollup (Type 2.5)

生产级,主网运行

Apache 2.0

完全匹配

Polygon CDK

ZK Rollup

生产级

AGPL 3.0

高,但许可证限制商业

OP Stack

Optimistic Rollup

生产级

MIT

不是 ZK Rollup

自研

ZK Rollup

时间成本不可接受

选择 zksync-era 的理由:

  1. 技术匹配 — Type 2.5 zkEVM + PLONK 证明系统,与产品定位完全一致

  2. 生产验证 — 主网已处理数十亿美元资产,安全性经过实战检验

  3. 商业许可 — Apache 2.0 允许商业使用和修改

  4. 扩展性 — 模块化架构(200+ 独立 crate),便于嵌入自定义系统合约


BabyDriver 的架构定制

在成熟的 ZK Rollup 引擎之上,BabyDriver 做了以下差异化扩展:

共识层定制

模块
定制内容
技术方案

State Keeper

Oracle 价格自动注入

Operator TX 模式(batch 开头注入合成 L2 交易)

MempoolIO

Oracle 服务集成

SharedOracleService + async nonce 管理

Bootloader

系统合约地址注册

5 个自定义地址 0x8016-0x801A

WiringLayer

价格聚合服务

CoinGecko + Binance 双源 + PriceAggregator

WiringLayer

信用评分服务

CreditScoreService + 5 因子加权评分

WiringLayer

桥监控服务

SettlementMonitor + LP 自动结算

系统合约扩展

在原有 40 个系统合约基础上新增 5 个:

地址
合约
功能

0x8016

OracleHub

多源价格聚合、偏差检测、Operator 权限、紧急暂停

0x8017

DIDRegistry

did:ethr:baby 身份、委托、社会恢复

0x8018

CredentialRegistry

可验证凭证生命周期管理

0x8019

IdentityVerifier

ZK proof 分发、合规查询、选择性披露

0x801A

EnterpriseIAM

企业组织、角色、权限位图

应用层扩展

合约
功能
与底层集成点

FastWithdrawalPoolV2

LP 即时提款

era L1Nullifier Merkle proof

L1OracleReader

L1 价格验证

Mailbox proveL2MessageInclusion

ConditionalTokens

条件代币 (ERC-1155)

CTFExchange

CLOB 订单簿

EIP-712 签名

OracleResolver

自动结算

OracleHub.getLatestPrice()

DIDFacet

L1 DID 同步

L1Messenger + Bridgehub

ZK 电路

电路
约束规模
用途

KYCComplianceProof

~7.8k

KYC 合规验证

CreditScoreProof

~7.8k

信用评分证明

EnterpriseIdentityProof

~2.9k

企业身份验证

Groth16 证明系统 + Baby Jubjub 曲线 EdDSA 签名,3 个独立 Verifier 合约部署在 L2。


设计原则

  1. 零耦合扩展 — 自定义模块以 Sidecar 模式运行,不修改底层引擎核心逻辑,降低升级冲突

  2. 原生优先 — Oracle 和 DID 作为系统合约运行,DApp 无需额外部署即可使用

  3. 安全不妥协 — Operator 权限最小化,偏差检测、紧急暂停、L1 可审计多层防护

  4. 合规内建 — ZK 选择性披露 + 监管穿透路径 + GDPR 兼容设计


与主流 L2 的定位区分

BabyDriver
zkSync Era
Arbitrum
Base

类型

ZK Rollup

ZK Rollup

Optimistic

Optimistic

原生 Oracle

原生 DID

LP 快速桥

预测市场

✅ 内置

提款时间

<1h (快速)

1-24h

7 天

7 天

Oracle 成本

$0.001

需第三方

需第三方

需第三方

企业合规

ZK KYC

定位

机构 DeFi + 企业

通用

通用

消费级

Last updated