王戈锐 · ff6ba5dd
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

zkevm-docs/4-core/core-log.markdown zkevm-docs/4-core/core-log.markdown +0 -0

No files found.
--- a/zkevm-docs/4-core/core-log.markdown
+++ b/zkevm-docs/4-core/core-log.markdown
+## EVM-LOG指令定义
+> 参考：<https://ethervm.io/#LOG0>
+
+|uint8|Mnemonic|Stack Input|Stack Output|Expression|Notes|
+|---|---|---|---|---|---|
+|A0|LOG0|offset,length|-|LOG0(memory[offset:offset+length])	|fires an event
+|A1|LOG1|offset,length,topic0|-|	LOG1(memory[offset:offset+length], topic0)|	fires an event
+|A2|	LOG2|	offset,length,topic0,topic1|-|LOG2(memory[offset:offset+length], topic0, topic1)|fires an event
+|A3	|LOG3|	offset,length,topic0,topic1,topic2|-|LOG3(memory[offset:offset+length], topic0,topic1,topic2)|	fires an event
+|A4	|LOG4|	offset,length,topic0,topic1,topic2,topic3|-|LOG4(memory[offset:offset+length], topic0, topic1,topic2,topic3)|fires an event
+
+
+## 处理流程
+**LOG0**
+```
+flowchart LR
+    LogBytes --> LogTopicNumAddr
+```
+
+**LOG1-LOG4**
+
+```
+flowchart LR
+   LogBytes --> LogTopicNumAddr --> LogTopic:topic0 --> LogTopic:topic1 --> ...
+```
+
+- LogBytes: 处理Log数据拷贝(Copy Lookup Memory->PublicLog)和数据长度记录(Public Lookup)
+- LogTopicNumAddr: 处理Log数据地址(Public Lookup)
+- LogTopic: 处理每一个TopicHash处理(Public Lookup)
+
+主要约束及状态变化
+
+![image.png](/uploads/2/64EF98D7F40D429E87C2F64F206269E5/image.png)
+
+
+## 具体Gadget设计
+### LogBytesGadget设计
+处理memory[offset:offset+length]，数据从Memory拷贝到PulbicLog
+
+主要约束：
+- state_stamp = pre + 2
+- log_stamp = pre 
+- next_pc = pc 
+
+gen_witness状态变化
+- 无
+
+
+|cnt|  |  |    |     |
+|---|-------|-------|---------|---------|
+| 2 | COPY(9) |-| -|PUBLIC(6) |
+| 1 | STATE1(8) | STATE2(8) | - | LO_INV(1) |
+| 0 | DYNA_SELECTOR(20) | AUX(7)  |   -  |  -      |
+
+#### CoreRow2-COPY(9) vers_0~vers_8，负责Copy Lookup（处理Log数据拷贝）
+
+|cnt| vers_0 | vers_1 | vers_2 | vers_3 | vers_4 | vers_5 | vers_6 | vers_7 | vers_8 
+|---| --- | --- | --- | --- | --- | --- | --- | --- | --- 
+|2| src_type=Memory | src_id=self.call_id|src_pointer=1|src_stamp=2 |dst_type=PublicLog | dst_id=self.tx_idx |dst_pointer=0(PublicLogIndex)|  dst_stamp=log_stamp| len=length 
+
+
+#### CoreRow2-PUBlIC(6) vers_24~vers_31，负责Public Lookup（处理Log数据长度）
+
+|cnt| vers_26 | vers_27 | vers_28 | vers_29 | vers_30 | vers_31 
+|---| --- | --- | --- | --- | --- | --- 
+|2| tag=TxLog | tx_idx=self.tx_idx | log_index=self.log_stamp | log_tag=DataSize | 0 | data_len=length
+
+#### CoreRow1-STATE1(8) vers_0~vers_7，负责从栈中取出的offset
+
+|cnt| vers_0| vers_1 | vers_2 | vers_3 | vers_4 | vers_5 |vers_6|vers_7|
+|---| ---   | ---   | ---       | --- | ---     | --- |---|---|
+|1| tag=Stack| stamp | value_hi=0 | value_lo=offset | call_id_contract_addr=self.call_id | - |pointer_lo|is_write=0|
+
+
+#### CoreRow1-STATE2(8) vers_8~vers_15，负责从栈中取出的length
+
+|cnt| vers_0| vers_1 | vers_2 | vers_3 | vers_4 | vers_5 |vers_6|vers_7|
+|---| ---   | ---   | ---       | --- | ---     | --- |---|---|
+|1| tag=Stack| stamp | value_hi=0 | value_lo=length | call_id_contract_addr=self.call_id | - |pointer_lo|is_write=0|
+
+
+#### CoreRow1-LO_INV(1) vers_24
+
+|cnt| vers_24
+|---| ---  
+|1| len_lo_inv |
+
+
+
+### LogTopicNumAddrGadget设计
+
+主要约束：
+- state_stamp = pre
+- log_stamp = pre + (1 * topic_left_0)
+- next_pc = pc  + (1 * topic_left_0)
+
+gen_witness状态变化
+- 根据opcode初始化state.topic_left
+- state.topic_left==0时 log_stamp += 1
+
+
+|cnt|  |  |    |     |
+|---|-------|-------|---------|---------|
+| 2 | - |-| -|PUBLIC(6) |
+| 1 | - | LOG_LEFT_X(5) | - | - |
+| 0 | DYNA_SELECTOR(20) | AUX(7)  |   -  |  -      |
+
+
+#### CoreRow2-PUBlIC(6) vers_24~vers_31，负责Public Lookup（处理Topic数目和地址）
+
+|cnt| vers_26 | vers_27 | vers_28 | vers_29 | vers_30 | vers_31 
+|---| --- | --- | --- | --- | --- | --- 
+|2| tag=TxLog | tx_idx=self.tx_idx | log_index=self.log_stamp | topic_log_tag=AddrWithLogX | address[..4] | address[4..]
+
+
+#### CoreRow1-LOG_LEFT_X(5) vers_8~vers_12，选择器LOG_LEFT_4～LOG_LEFT_0 
+
+|cnt| vers_8| vers_9 | vers_10 | vers_11 | vers_12
+|---| ---   | ---   | ---       | --- | ---    
+|1| LOG_LEFT_4| LOG_LEFT_3 |LOG_LEFT_2 | LOG_LEFT_1 | LOG_LEFT_0 
+
+
+### LogTopicGadget设计
+主要约束：
+- state_stamp = pre
+- log_stamp = pre + (1 * topic_left_0)
+- next_pc = pc  + (1 * topic_left_0)
+
+gen_witness状态变化
+- state.topic_left -= 1
+- state.topic_left==0时 log_stamp += 1
+
+|cnt|  |  |    |     |
+|---|-------|-------|---------|---------|
+| 2 | - |-| -|PUBLIC(6) |
+| 1 | STATE1(8) | LOG_LEFT_X(5) | - | - |
+| 0 | DYNA_SELECTOR(20) | AUX(7)  |   -  |  -      |
+
+
+#### CoreRow2-PUBlIC(6) vers_24~vers_31，负责Public Lookup（处理Topic哈希数据）
+
+|cnt| vers_26 | vers_27 | vers_28 | vers_29 | vers_30 | vers_31 
+|---| --- | --- | --- | --- | --- | --- 
+|2| tag=TxLog | tx_idx=self.tx_idx | log_index=self.log_stamp | topic_log_tag=TopicX | topic hash[..16] | topic hash[16..]
+
+#### CoreRow1-STATE1(8) vers_0~vers_7，负责从栈中取出的topic_hash
+
+|cnt| vers_0| vers_1 | vers_2 | vers_3 | vers_4 | vers_5 |vers_6|vers_7|
+|---| ---   | ---   | ---       | --- | ---     | --- |---|---|
+|1| tag=Stack| stamp=0 | value_hi=0 | value_lo=topic_hash | call_id_contract_addr=self.call_id | - |pointer_lo=2|is_write=0|
+
+#### CoreRow1-LOG_LEFT_X(5) vers_8~vers_12，选择器LOG_LEFT_4～LOG_LEFT_0 
+
+|cnt| vers_8| vers_9 | vers_10 | vers_11 | vers_12
+|---| ---   | ---   | ---       | --- | ---    
+|1| LOG_LEFT_4| LOG_LEFT_3 |LOG_LEFT_2 | LOG_LEFT_1 | LOG_LEFT_0