Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
156 commits
Select commit Hold shift + click to select a range
231468e
Remove deprecate tests
darth-cy Apr 14, 2024
8bd08cf
Remove zstd encoding of literals
darth-cy Apr 15, 2024
0c34abd
Remove raw/rle blocks
darth-cy Apr 15, 2024
4330d3f
Remove block raw/rle scenarios
darth-cy Apr 15, 2024
1c63643
Remove lstream tag
darth-cy Apr 15, 2024
506bca5
Remove raw/rle bytes processing
darth-cy Apr 15, 2024
0a1f9c6
Literals witness row assignment
darth-cy Apr 15, 2024
83db494
Remove huffman code component from witness
darth-cy Apr 15, 2024
fea1f39
Add witness rows to sequence section
darth-cy Apr 16, 2024
ab1a9bf
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 17, 2024
d70466f
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 21, 2024
3058650
Add debug flags
darth-cy Apr 22, 2024
a5b0289
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 23, 2024
8664845
Add sequence instruction table witness
darth-cy Apr 24, 2024
0825a5a
Finish recovering original input. sequence decoding done
darth-cy Apr 24, 2024
24ac502
Add witness rows for sequence FSE tables
darth-cy Apr 24, 2024
ad5353c
rebase to upstream
noel2004 Apr 25, 2024
cdca941
Add witness rows for sequence header
darth-cy Apr 25, 2024
1b8897e
Remove debug flags
darth-cy Apr 25, 2024
a1a1bc6
fmt
darth-cy Apr 25, 2024
4ab717d
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 25, 2024
4db2a60
Merge branch 'feat/da-compression-witgen' into da-compression/addrtable
noel2004 Apr 25, 2024
076b435
Add debug flags
darth-cy Apr 25, 2024
da44a0f
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 25, 2024
f2c7718
wip of addrtable
noel2004 Apr 26, 2024
db670b5
Merge remote-tracking branch 'origin/feat/da-compression' into da-com…
noel2004 Apr 26, 2024
a3ac8a9
all gates
noel2004 Apr 27, 2024
a044416
change the lookup purpose
noel2004 Apr 27, 2024
a1a8a56
fix according to reviews
noel2004 Apr 28, 2024
ea378d2
purge unused seqvaluetable
noel2004 Apr 28, 2024
a322f1d
Add debug flags
darth-cy Apr 29, 2024
ca2d76c
change zero testing to corresponding gadget
noel2004 Apr 29, 2024
7a18424
trivial fixing
noel2004 Apr 29, 2024
48eb834
purge the duplicated works
noel2004 Apr 29, 2024
c1491ea
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy Apr 29, 2024
d95a9e8
Add debug flags
darth-cy Apr 30, 2024
7160818
Merge remote-tracking branch 'origin/feat/da-compression' into da-com…
noel2004 Apr 30, 2024
4d203ed
unit test (WIP)
noel2004 Apr 30, 2024
9b2d6db
Add unit tester
darth-cy May 1, 2024
193c706
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 1, 2024
a47ea97
Update Fse construction
darth-cy May 1, 2024
4c80e6e
Correct fse construction
darth-cy May 1, 2024
d277718
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 2, 2024
1897ba6
seq exec circuit (WIP)
noel2004 May 2, 2024
9d9d2cd
Merge branch 'feat/da-compression' into da-compression/addrtable
noel2004 May 2, 2024
a9cd163
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 2, 2024
ee05b7b
Correct tag length
darth-cy May 2, 2024
33679cc
seq exec circuit (WIP)
noel2004 May 2, 2024
1ca8c40
Temporarily recover const
darth-cy May 3, 2024
20241bf
Assign literals header rows
darth-cy May 3, 2024
6fa8df4
Assign columns
darth-cy May 3, 2024
65caf67
seq exec circuit (WIP)
noel2004 May 3, 2024
16a9cf2
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 4, 2024
8e7ba81
Resolve merge compile errors
darth-cy May 4, 2024
a45ef15
Modify tag config assignment
darth-cy May 5, 2024
7fc2f62
Correct block config from witgen
darth-cy May 5, 2024
dd11427
Assign additional seq bitstream fields
darth-cy May 5, 2024
d7f550d
Correct tags
darth-cy May 5, 2024
85cf065
configure gadgtes
darth-cy May 5, 2024
e9a8554
Merge branch 'feat/da-compression' into da-compression/addrtable
noel2004 May 5, 2024
003635a
output region: gates and lookups (WIP)
noel2004 May 5, 2024
37da378
Add more data fields onto fse
darth-cy May 6, 2024
292cd82
Correct fse assignment
darth-cy May 6, 2024
f9b096b
fmt
darth-cy May 6, 2024
f75db5c
Remove debug flags
darth-cy May 6, 2024
3c4f701
fmt
darth-cy May 6, 2024
9b8ce06
Fix witness assignment error
darth-cy May 6, 2024
b0158aa
fmt
darth-cy May 6, 2024
10019de
pass unittest for seqinst table
noel2004 May 6, 2024
0b260ef
Increase fse fixed capacity
darth-cy May 6, 2024
0e6ef48
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 6, 2024
2bf2a0b
Correct bitstream column assignmnet
darth-cy May 6, 2024
eef6784
Correct assignment for bitstring table
darth-cy May 6, 2024
3678f08
fmt
darth-cy May 6, 2024
66fe824
Correct comment
darth-cy May 6, 2024
e788390
Remove FseSymbol
darth-cy May 6, 2024
d4a5c78
Rename FSE section
darth-cy May 6, 2024
fb32211
Recover tests
darth-cy May 6, 2024
ee7c003
Correct block header assignment
darth-cy May 7, 2024
3cbd228
Merge branch 'feat/da-compression' into feat/da-compression-witgen
darth-cy May 7, 2024
dce1aae
Correct fse decoder assignment
darth-cy May 7, 2024
32fdd3d
fmt
darth-cy May 7, 2024
292ab46
Remove constants
darth-cy May 7, 2024
91a7679
Add debug flags
darth-cy May 7, 2024
895401c
Correct offset increment
darth-cy May 8, 2024
425ab80
Assign padding
darth-cy May 8, 2024
5388e5d
Isolate gates
darth-cy May 8, 2024
e3ad073
Remove gates
darth-cy May 8, 2024
b74625b
Remove gates
darth-cy May 8, 2024
9961ab6
Remove gates
darth-cy May 8, 2024
5a92d17
Merge remote-tracking branch 'origin/feat/da-compression' into da-com…
noel2004 May 8, 2024
16b9abd
Remove gates
darth-cy May 8, 2024
3df1ce7
Adjust gates
darth-cy May 8, 2024
8b1ffa4
seq exec: complete the seq num lookup
noel2004 May 8, 2024
754339b
Recover gates
darth-cy May 8, 2024
976f502
Merge remote-tracking branch 'origin/feat/da-compression-witgen' into…
noel2004 May 8, 2024
cbb9bcb
fix: q_enable fixed column to avoid active gates on unusable rows
roynalnaruto May 8, 2024
40e7b18
wip dbg: non-padded rows except first row
roynalnaruto May 8, 2024
f1f8f4c
fix: tag transition has been fixed
roynalnaruto May 8, 2024
89eedef
fix(witgen): tag is_change=true
roynalnaruto May 8, 2024
cc5b417
add seq exec info in witgen
noel2004 May 8, 2024
57a5b3b
Merge remote-tracking branch 'origin/feat/da-compression-witgen' into…
noel2004 May 8, 2024
010e4ab
wip(dbg:gate): continue same tag
roynalnaruto May 8, 2024
f207a36
fix: compilation (u8 table load) and fhd gate works
roynalnaruto May 8, 2024
b9821f1
fix: fcs OK || unusable_rows=14
roynalnaruto May 8, 2024
c72c0d0
test: fcs is OK
roynalnaruto May 8, 2024
c168e74
fix(gate): tag=BlockHeader OK
roynalnaruto May 8, 2024
8bed58a
test(lookup): tag=BlockHeader Block_Size OK
roynalnaruto May 8, 2024
517bfe0
test(gate): processing block content OK
roynalnaruto May 8, 2024
fb80585
fix(gate+lookup): literals header and literals header table
roynalnaruto May 8, 2024
fa3ec16
fix(gate): tag=RawBytes OK
roynalnaruto May 8, 2024
bfd9e95
fix(gate): tag=SequencesHeader (header decoder fixed order of bits)
roynalnaruto May 8, 2024
6bf13bd
fix(fse): sorted state table (partially)
roynalnaruto May 8, 2024
e19c076
wip(fse sorted states): gates active on unusable rows?
roynalnaruto May 8, 2024
3096563
fix(fse): fse table and sorted table OK
roynalnaruto May 8, 2024
b729d8f
witgen: bitstring table OK
roynalnaruto May 8, 2024
22d9f2b
Correct skipped bitstream rows
darth-cy May 8, 2024
8a264ae
Merge branch 'feat/da-compression-witgen' into feat/da-compression-wi…
darth-cy May 8, 2024
aac9ab8
Recover gadgets
darth-cy May 8, 2024
b2a2f9a
Recover gadgets
darth-cy May 8, 2024
ecc5697
Recover gadgets
darth-cy May 9, 2024
05427f7
Recover gates
darth-cy May 9, 2024
78158e9
Recover gates
darth-cy May 9, 2024
261e0d6
Recover component
darth-cy May 9, 2024
7120e07
Recover constraint
darth-cy May 9, 2024
00d20b8
Recover constraints
darth-cy May 9, 2024
a05e725
Recover gates
darth-cy May 9, 2024
8447658
Recover gates
darth-cy May 9, 2024
32fb1a0
Recover constraints
darth-cy May 9, 2024
d8580c3
Recover constraints
darth-cy May 9, 2024
2ef05cb
Recover constraints
darth-cy May 9, 2024
065bf10
Recover constraints
darth-cy May 9, 2024
6ba734c
assign and unit tests (WIP)
noel2004 May 9, 2024
826d040
refactor for better assignment
noel2004 May 9, 2024
53dacc4
fix(lookup): var-bit-packing and other rows of tag=FseCode
roynalnaruto May 9, 2024
183431e
assignments and unit tests (WIP)
noel2004 May 9, 2024
a6da9b0
Merge remote-tracking branch 'origin/feat/da-compression-witgen' into…
noel2004 May 9, 2024
80d4f89
restore gate
roynalnaruto May 9, 2024
cf4472a
fix(lookup): bitstream table lookup (start + end)
roynalnaruto May 9, 2024
56487ee
Correct sequence data init
darth-cy May 9, 2024
48d1ad0
Correct fse in sequence data decoding
darth-cy May 9, 2024
2fcba1e
Recover gates
darth-cy May 9, 2024
c10df8a
Recover constraints
darth-cy May 9, 2024
29e2b6f
fix(lookup): interleaved order lookup OK
roynalnaruto May 10, 2024
05f8d08
fix(gate): tag=Null OK
roynalnaruto May 10, 2024
30bae49
Correct states, symbols, values in bitstream decoding witness
darth-cy May 10, 2024
b05b1af
induce debug utilities in AddressRow
noel2004 May 10, 2024
c7498bf
Adjust gates
darth-cy May 10, 2024
b48cbdd
Adjust fixed table
darth-cy May 10, 2024
56448dd
Remove debug flag
darth-cy May 10, 2024
7392823
fix(fse_decoder): is_mlt and is_mot expr computation
roynalnaruto May 10, 2024
dcc8f51
fse table lookup OK
roynalnaruto May 10, 2024
70a4487
Correct seq_idx
darth-cy May 10, 2024
14b40c3
Recover constraints
darth-cy May 10, 2024
7aa980c
pass first unit test (WIP)
noel2004 May 11, 2024
1a42bad
Merge remote-tracking branch 'origin/feat/da-compression-witgen' into…
noel2004 May 11, 2024
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
2 changes: 1 addition & 1 deletion aggregator/src/aggregation/circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -440,7 +440,7 @@ impl Circuit<Fr> for AggregationCircuit {

let batch_data = BatchData::from(&self.batch_hash);

let blob_data_exports = config.blob_data_config.assign(
let _blob_data_exports = config.blob_data_config.assign(
&mut layouter,
challenges,
&config.rlc_config,
Expand Down
1,237 changes: 1,097 additions & 140 deletions aggregator/src/aggregation/decoder.rs

Large diffs are not rendered by default.

Loading