Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

In-circuit blockhash calculation #98

Closed
wants to merge 49 commits into from
Closed
Changes from 2 commits
Commits
Show all changes
49 commits
Select commit Hold shift + click to select a range
9b43c24
feat: RLP circuit for block hash calculation
ggkitsas May 22, 2023
28ef033
finalized blockhash-check contraints; added blokchash-check witness g…
ggkitsas May 25, 2023
1ddefc6
blockhash: fixes errors, adds tests
ggkitsas May 31, 2023
a786df7
handles corner case of short RLP fields; fixes misc errors; minor ref…
ggkitsas Jun 5, 2023
31b6dd8
reduced the degree of pi circuit; adds RLP block header tests for cor…
ggkitsas Jun 5, 2023
c5d1298
adds rlc for blockhash calculation
ggkitsas Jun 6, 2023
2e898af
adds keccak checks for blockhash calculation
ggkitsas Jun 6, 2023
621590b
pi circuit cleanups
ggkitsas Jun 8, 2023
b823abd
pi circuit: adds checks for reconstructed values of block header fields
ggkitsas Jun 12, 2023
70529c0
pi circuit: adds parent hash checks
ggkitsas Jun 12, 2023
7f59e70
pi circuit: adds withdrawals root for blockhash calcs
ggkitsas Jun 12, 2023
b8e43bd
pi circuit: fixes handling RLP short values
ggkitsas Jun 13, 2023
19e5277
cleansup
ggkitsas Jun 14, 2023
9a2a854
cleaups, clippy, code quality
ggkitsas Jun 14, 2023
aae7300
rustfmt
ggkitsas Jun 14, 2023
ce2346b
clippy
ggkitsas Jun 14, 2023
17801f3
clippy
ggkitsas Jun 14, 2023
c305c8e
fix: wrong selectors when reconstructing block header values
ggkitsas Jun 15, 2023
1328b65
reduces lookups and columns of block hash circuit
ggkitsas Jun 16, 2023
35944ba
adds negative tests
ggkitsas Jun 19, 2023
6c4e630
optimized out some variable lenght field selectors
ggkitsas Jun 19, 2023
c64278a
rustfmt
ggkitsas Jun 19, 2023
bce8d27
ci fixes
ggkitsas Jun 19, 2023
4d16ea0
rustfmt
ggkitsas Jun 19, 2023
ea7b8e9
code imporvement
ggkitsas Jun 21, 2023
6edb468
refactoring
ggkitsas Jun 21, 2023
03979df
Merge branch 'blockhash' of github.com:taikoxyz/zkevm-circuits into b…
ggkitsas Jun 21, 2023
7c4f8b9
minor fix
ggkitsas Jun 21, 2023
a59e2e5
Some refactoring
Brechtpd Jun 21, 2023
207a5eb
Merge pull request #117 from taikoxyz/blockhash-brecht
ggkitsas Jun 22, 2023
8d1399e
minor refactoring
ggkitsas Jun 22, 2023
d53df04
test cleanups
ggkitsas Jun 22, 2023
a37a494
extends block table lookups to include tag and index
ggkitsas Jun 22, 2023
c625044
Some code refactoring
Brechtpd Jun 23, 2023
7e95c2f
Merge pull request #118 from taikoxyz/blockhash-brecht2
ggkitsas Jun 24, 2023
4de76ce
adds comments
ggkitsas Jun 24, 2023
718b923
simplifies code
ggkitsas Jun 27, 2023
d661601
fmt and clippy
ggkitsas Jun 27, 2023
8b53902
fmt + clippy
ggkitsas Jun 27, 2023
ac3c7b3
adds checks for correctly skipping leading zeros in rlc
ggkitsas Jun 27, 2023
2798ac5
fmt
ggkitsas Jun 27, 2023
ba93650
fixes constraint
ggkitsas Jun 27, 2023
5ca964e
skips artifical headers in rlc
ggkitsas Jun 27, 2023
9dd12e8
optimization: removes q_total_length column
ggkitsas Jun 28, 2023
872f182
make sure we rlc all the needed bytes
ggkitsas Jun 29, 2023
9796491
fmt
ggkitsas Jun 29, 2023
6ab8033
simplifies constraints; adds initial work on previous hashes
ggkitsas Jun 30, 2023
54d6f05
fmt + clippy
ggkitsas Jun 30, 2023
456f274
adds block hash checks for the previous 256 blocks
ggkitsas Jul 6, 2023
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
Loading