
零知识证明 – zkEVM源代码分析(State Circuit)
zkEVM是零知识证明相对复杂的零知识证明应用,源代码值得反复阅读和学习。
https://github.com/appliedzkp/zkevm-circuits.git
本文中采用的源代码对应的最后一个提交信息如下:
commit 1ec38f207f150733a90081d3825b4de9c3a0a724 (HEAD -> main)
Author: z2trillion <[email protected]>
Date: Thu Mar 24 15:42:09 2022 -0400
前一篇文章介绍了zkEVM的EVM Circuit的电路实现细节,接下来继续介绍State Circuit。
零知识证明 – zkEVM源代码分析(EVM Circuit)
State Circuit Configure
State电路实现了Stack,Memory以及Storage的检查。State电路实现在zkevm-circuits/src/state_circuit/state.rs。
pub struct StateCircuit<
F: FieldExt,
const SANITY_CHECK: bool,
const RW_COUNTER_MAX: usize,
const MEMORY_ADDRESS_MAX: usize,
const STACK_ADDRESS_MAX: usize,
const ROWS_MAX: usize,
> {
/// randomness used in linear combination
pub randomness: F,
/// witness for rw map
pub rw_map: RwMap,
}
StateCircuit的configure逻辑由Config的configure函数实现。
fn configure(meta: &mut ConstraintSystem<F>) -> Self::Config {
Config::configure(meta)
}
StateCircuit的大体电路结构如下图:
先着重介绍一下keys,占用了5个column,表示Memory,Stack以及Storage的key信息。State Circuit约束大部分都是围绕key-value的约束。为了兼容Memory,Stack以及Storage的Key信息,采用如下的5个Column。
keys[0] – tag
keys[1] – reserved
keys[2] – account address(memory/stack: 0)
keys[3] – address
keys[4] – storage key(memory/stack: 0)
其中key2,key4是给Storage用的。
Storage约束的信息还不够完整。Memory和Stack的约束逻辑类似。这篇文章详细介绍一下Stack的约束实现。在了解约束之前,先介绍Memory/Stack/Storage的信息组织形式:
key0(tag) | key1 | key2 | key3(address) | key4 | read/write | rw counter | value |
---|---|---|---|---|---|---|---|
MEM | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
MEM | 0 | 0 | 0 | 0 | 0 | 2 | 0 |
STACK | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
STACK | 0 | 0 | 0 | 0 | 0 | 2 | 0 |
所有的witness信息,按照key3(address)排序(按照地址顺序)。针对同一个地址的读写根据rw counter进行排序。
Tag分类
Tag类型包括了Memory,Stack以及Storage。针对不同的类型,采用不同的约束方式。
let q_tag_is = |meta: &mut VirtualCells<F>, tag_value: usize| {
let tag_cur = meta.query_advice(tag, Rotation::cur());
let all_possible_values = EMPTY_TAG..=STORAGE_TAG;
generate_lagrange_base_polynomial(tag_cur, tag_value, all_possible_values)
};
let q_memory = |meta: &mut VirtualCells<F>| q_tag_is(meta, MEMORY_TAG);
let q_stack = |meta: &mut VirtualCells<F>| q_tag_is(meta, STACK_TAG);
let q_storage = |meta: &mut VirtualCells<F>| q_tag_is(meta, STORAGE_TAG);
q_tag_is是拉格朗日多项式,针对某种Tag输出为1,其他Tag输出为0。q_memory/q_stack/q_storage就分别是这三种多项式。
Key关系判定
在约束电路中需要两种两种Key关系的判定:
1/ 前后的key是否一样
let key_is_same_with_prev: [IsZeroConfig<F>; 5] = [0, 1, 2, 3, 4].map(|idx| {
IsZeroChip::configure(
meta,
|meta| meta.query_fixed(s_enable, Rotation::cur()),
|meta| {
let value_cur = meta.query_advice(keys[idx], Rotation::cur());
let value_prev = meta.query_advice(keys[idx], Rotation::prev());
value_cur - value_prev
},
keys_diff_inv[idx],
)
});
2/ 是否key是一样
let q_all_keys_same = |_meta: &mut VirtualCells<F>| {
key_is_same_with_prev[0].is_zero_expression.clone()
* key_is_same_with_prev[1].is_zero_expression.clone()
* key_is_same_with_prev[2].is_zero_expression.clone()
* key_is_same_with_prev[3].is_zero_expression.clone()
* key_is_same_with_prev[4].is_zero_expression.clone()
};
let q_not_all_keys_same = |meta: &mut VirtualCells<F>| one.clone() - q_all_keys_same(meta);
通用约束
无论是Memory/Stack,还是Storage,有一些通用的约束:
1/ is_write必须是布尔型
2/ 如果是对同一个“地址”进行读操作,则读的数据必须和前一行的数据相同。前一行数据要不是同一地址的读,要不就是同一地址的写。
cb.require_boolean("is_write should be boolean", is_write);
cb.require_zero(
"if read and keys are same, value should be same with prev",
q_all_keys_same(meta) * is_read * (value_cur - value_prev),
);
cb.gate(s_enable)
RWC约束
对一个地址的读写操作,RW计数器是增长的。所谓的增长就是(rw_counter – rw_counter_prev -1) > 0。大于零的判定就是通过lookup。
meta.lookup_any("rw counter monotonicity", |meta| {
let s_enable = meta.query_fixed(s_enable, Rotation::cur());
let rw_counter_table = meta.query_fixed(rw_counter_table, Rotation::cur());
let rw_counter_prev = meta.query_advice(rw_counter, Rotation::prev());
let rw_counter = meta.query_advice(rw_counter, Rotation::cur());
vec![(
s_enable * q_all_keys_same(meta)
* (rw_counter - rw_counter_prev - one.clone()), /*
* - 1 because it needs to
* be strictly monotone */
rw_counter_table,
)]
});
Stack约束
在Stack的访问地址发生变化时,第一个操作必须是写操作。
meta.create_gate("Stack operation", |meta| {
let mut cb = new_cb();
let s_enable = meta.query_fixed(s_enable, Rotation::cur());
let is_write = meta.query_advice(is_write, Rotation::cur());
let q_read = one.clone() - is_write;
let key2 = meta.query_advice(keys[2], Rotation::cur());
let key4 = meta.query_advice(keys[4], Rotation::cur());
cb.require_zero("key2 is 0", key2);
cb.require_zero("key4 is 0", key4);
cb.require_zero(
"if address changes, operation is always a write",
q_not_all_keys_same(meta) * q_read,
);
cb.gate(s_enable * q_stack(meta))
});
Stack地址必须在一定的范围内,并且Stack Pointer的差距不能超过1。
meta.lookup_any("Stack address in allowed range", |meta| {
let q_stack = q_stack(meta);
let address_cur = meta.query_advice(address, Rotation::cur());
let stack_address_table_zero =
meta.query_fixed(stack_address_table_zero, Rotation::cur());
vec![(q_stack * address_cur, stack_address_table_zero)]
});
meta.create_gate("Stack pointer diff be 0 or 1", |meta| {
let mut cb = new_cb();
let s_enable = meta.query_fixed(s_enable, Rotation::cur());
let q_stack = q_stack(meta);
let tag_is_same_with_prev = key_is_same_with_prev[0].is_zero_expression.clone();
let call_id_same_with_prev = key_is_same_with_prev[1].is_zero_expression.clone();
let stack_ptr = meta.query_advice(keys[3], Rotation::cur());
let stack_ptr_prev = meta.query_advice(keys[3], Rotation::prev());
cb.require_boolean(
"stack pointer only increases by 0 or 1",
stack_ptr - stack_ptr_prev,
);
cb.gate(s_enable * q_stack * tag_is_same_with_prev * call_id_same_with_prev)
});
至此,Stack的相关约束就完成了。再看看assign的逻辑实现。
State Circuit Assign
所有的witness信息都存储在rw_map变量中。在过滤出"Memory/Stack/AccountStorage"信息后,按照key,rw_counter的顺序进行排序。针对每个row的信息,通过assign_row函数设置所有row信息。
layouter.assign_region(
|| "State operations",
|mut region| {
// TODO: a "START_TAG" row should be inserted before all other rows in the final
// implmentation. Here we start from 1 to prevent some
// col.prev() problems since blinding rows are unavailable for constaints.
let mut offset = 1;
let mut rows: Vec<RwRow<F>> = [
RwTableTag::Memory,
RwTableTag::Stack,
RwTableTag::AccountStorage,
]
.iter()
.map(|tag| {
rw_map.0[tag]
.iter()
.map(|rw| rw.table_assignment(randomness))
})
.flatten()
.collect();
rows.sort_by_key(|rw| (rw.tag, rw.key1, rw.key2, rw.key3, rw.key4, rw.rw_counter));
if rows.len() >= ROWS_MAX {
panic!("too many storage operations");
}
for (index, row) in rows.iter().enumerate() {
let row_prev = if index == 0 {
RwRow::default()
} else {
rows[index - 1]
};
self.assign_row(
&mut region,
offset,
*row,
row_prev,
&key_is_same_with_prev_chips,
)?;
offset += 1;
}
Ok(())
},
)
EVM/State Circuit证明了什么?
EVM/State Circuit证明了一些指令的正确逻辑执行,并且Memory/Stack的读写访问合理正确。
zkEVM除了这两部分电路外,还有一些外延的东西没有证明:1/ 执行程序的一致性 2/ Storage状态的正确性。这些后面再接着聊。
比推快讯
更多 >>- Binance 新一期 Alpha(TAKER)空投数据:77%账户已卖出,单号收益 44 美元
- 以太坊现货 ETF 昨日总净流入 4.02 亿美元,持续 11 日净流入
- James Wynn:错过了做空机会,将等到 PUMP 完全触底再考虑入场
- 7743 枚 BTC 从 Coinbase 转出,价值超 9.16 亿美元
- James Wynn 转空为多开设 25 倍 ETH 多单,仓位价值 1460 万美元
- 某鲸鱼地址过去 10 分钟买入 4772 枚 ETH,均价 3581 美元
- RootData:ALT 将于一周后解锁价值约 867 万美元的代币
- World Liberty Financial 战略购入约 40,000 美元等值 BANK,用于支持 Lorenzo Protocol 项目发展
- XION 上线 Kaito Yapper 排行榜,开放 10 万枚 XION 代币奖励池
- 21Shares 向美 SEC 申请两只加密指数 ETF
- 两个新建地址从 Kraken 提取 22,434 枚 ETH,价值约 7.95 亿美元
- Plasma:XPL 公售启动仅 1 天,社区已超额认购 211%
- 数据:过去 24 小时全网爆仓 8.19 亿美元,多单爆仓 5.46 亿美元,空单爆仓 2.73 亿美元
- 2 个新建地址共计从 Binance 提币 1000 枚 BTC
- 巨鲸 AguilaTrades 持仓总市值达 2.94 亿美元,ETH 空单大幅浮盈
- 5.06 万枚 ETH 于 6 小时前从 HTX 流入至 Binance
- James Wynn:BTC.D 回升,山寨币季节或将暂缓
- 2 个新钱包从 Kraken 提取了 24,252 枚 ETH,价值约 8609 万美元
- 数据:非营利性开发组织 Argot Collective 在 6 小时前再次出售 600 枚 ETH
- SharpLink Gaming 在 2 小时前再度购进 4904 枚 ETH,目前累计浮盈 2.6 亿美元
- 富达 FETH 昨日净流出 4540 万美元,FBTC 净流出 1790 万美元
- 某巨鲸/机构 10 小时前再度买入 19,550 枚 ETH,目前持仓约浮盈 4134 万美元
- 加密恐慌与贪婪指数升至 74,市场贪婪情绪维持
- Tether CEO:将确保 USDT 符合《GENIUS 法案》规定,但仍计划推出专门针对美国的稳定币
- SharpLink Gaming 再增持 19,084 枚 ETH
- 美股收盘:三大股指涨跌不一,Circle 跌 4.71%,Coinbase 涨 2.2%
- Sharplink Gaming 计划发行 50 亿美元股票以购入 ETH
- Ether.fi 将上线 HyperLiquid 生态,推出 beHYPE 质押代币
- 黑客持续侦察 TeleMessage 漏洞,已有多起攻击尝试
- 分析:GENIUS 法案禁收益型稳定币,将利好以太坊 DeFi
- 加密交易所 Bullish 向纽交所申请上市
- Aether Holdings 将融资 4000 万美元,并购买比特币以启用比特币财务储备
- 支付公司 Block 将加入标普 500 指数
- Cantor Equity Partners IV 提交 IPO 申请
- WLFI 代币计划两月内全面上线,预售表现已使其市值跻身前11
- 美国总统特朗普:致力于在今年签署加密市场立法
- 特朗普:承诺绝不允许在美国创建央行数字货币(CBDC)
- 特朗普:当关税信函上面写明征收 35%、40% 关税的时候,那就是协议
- 特朗普:加密货币涨幅超过任何股票,加密货币对美元和国家都有好处
- 特朗普签署GENIUS 法案
- 特朗普:稳定币法案是对加密货币的重大认可
- 特朗普:将很快宣布重大贸易协议
- 美国总统特朗普:《GENIUS 法案》(天才法案)——他们以我的名字命名
- 特朗普:《GENIUS 法案》将确保美国在加密技术领域实现全球主导地位
- Galaxy Digital高管:投资者对加密行业的犹豫正迅速消散
- WLFI:WLFI 代币可交易性已获批准,预计将在 6 到 8 周内全面启动
- WLFI 增持价值约 4 万美元的 BANK 及 TAG 代币
- 摩根大通:在美国以外,代币化银行存款比稳定币更受监管青睐
- Aave Prime 上的 wstETH 存款突破 10 亿美元
- 美国参议院农业委员会下周一将就 Brian Quintenz 出任 CFTC 主席的提名进行投票
比推专栏
更多 >>观点
比推热门文章
- Binance 新一期 Alpha(TAKER)空投数据:77%账户已卖出,单号收益 44 美元
- 以太坊现货 ETF 昨日总净流入 4.02 亿美元,持续 11 日净流入
- James Wynn:错过了做空机会,将等到 PUMP 完全触底再考虑入场
- 7743 枚 BTC 从 Coinbase 转出,价值超 9.16 亿美元
- James Wynn 转空为多开设 25 倍 ETH 多单,仓位价值 1460 万美元
- 某鲸鱼地址过去 10 分钟买入 4772 枚 ETH,均价 3581 美元
- RootData:ALT 将于一周后解锁价值约 867 万美元的代币
- World Liberty Financial 战略购入约 40,000 美元等值 BANK,用于支持 Lorenzo Protocol 项目发展
- XION 上线 Kaito Yapper 排行榜,开放 10 万枚 XION 代币奖励池
- 21Shares 向美 SEC 申请两只加密指数 ETF