Skip to content
This repository was archived by the owner on Jul 5, 2024. It is now read-only.

fix: update bytecode table specs #176

Merged
han0110 merged 1 commit into from
Apr 7, 2022
+12 −3
Merged

fix: update bytecode table specs #176

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions specs/tables.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -112,12 +112,21 @@ NOTE: TxLog is currently Work In Progress and will be updated to include $txID i

Proved by the bytecode circuit.

> - **tag**: Tag whether the row represents the bytecode length or a byte in
> the bytecode.

> - **isCode**: A boolean value to specify if the value is executable opcode or
> the data portion of PUSH\* operations.

| 0 codeHash | 1 byteIndex | 2 value | 3 isCode |
| --- | --- | --- | --- |
| $codeHash | $byteIndex | $value | $isCode |
| 0 codeHash | 1 tag | 2 index | 3 isCode | 4 value |
| --- | --- | --- | --- | --- |
| | *BytecodeFieldTag* | | | |
| $codeHash | Length | 0 | 0 | $value |
| $codeHash | Byte | $index | $isCode | $value |
| ... | ... | ... | ... | ... |
| $codeHash | Byte | $index | $isCode | $value |

In the case of an account without code, it can still have a row in the bytecode circuit to represent the `BytecodeFieldTag::Length` tag, with a `value = 0` and `codeHash = EMPTY_CODE_HASH`.

## `block_table`

Expand Down