Avatar for the WizardOfMenlo user
WizardOfMenlo
whir
BlogDocsChangelog

Opt : smaller proof size by using alternate randomness sampling approach (audit branch : v1)

#239Merged
Comparing
ocdbytes:aj/opt/proof-size-v1
(
6c9848d
) with
v1
(
ec7aa32
)
CodSpeed Performance Gauge
-24%
Regression
4
Untouched
6
Skipped
22

Benchmarks

32 total
interleaved_rs_encode[(20, 4, 4)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-24%
613.3 ms808 ms
interleaved_rs_encode[(18, 2, 2)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-20%
68.8 ms86.3 ms
interleaved_rs_encode[(22, 4, 4)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-17%
3.4 s4.1 s
interleaved_rs_encode[(18, 4, 3)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-13%
155.2 ms179.4 ms
sumcheck_first_round[1048576]
benches/sumcheck.rs
CodSpeed Performance Gauge
0%
34.3 ms34.3 ms
sumcheck_first_round[262144]
benches/sumcheck.rs
CodSpeed Performance Gauge
0%
6.9 ms6.9 ms
sumcheck_first_round[65536]
benches/sumcheck.rs
CodSpeed Performance Gauge
0%
1.8 ms1.8 ms
interleaved_rs_encode[(16, 2, 2)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-3%
16.9 ms17.4 ms
interleaved_rs_encode[(16, 4, 3)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-3%
32.4 ms33.4 ms
interleaved_rs_encode[(20, 2, 3)]
benches/expand_from_coeff.rs
CodSpeed Performance Gauge
-8%
373.2 ms407.7 ms
expand_from_coeff[(20, 2)]
benches/expand_from_coeff.rs
Skipped
69 ms*
expand_from_coeff[(24, 4)]
benches/expand_from_coeff.rs
Skipped
2.8 s*
sumcheck_first_round[67108864]
benches/sumcheck.rs
Skipped
1.2 s*
expand_from_coeff[(20, 4)]
benches/expand_from_coeff.rs
Skipped
144.3 ms*
sumcheck_first_round[1048576]
benches/sumcheck.rs
Skipped
9.5 ms*
expand_from_coeff[(26, 4)]
benches/expand_from_coeff.rs
Skipped
13 s*
expand_from_coeff[(18, 4)]
benches/expand_from_coeff.rs
Skipped
26.2 ms*
expand_from_coeff[(26, 2)]
benches/expand_from_coeff.rs
Skipped
6.5 s*
sumcheck_first_round[262144]
benches/sumcheck.rs
Skipped
4.7 ms*
expand_from_coeff[(18, 2)]
benches/expand_from_coeff.rs
Skipped
18.2 ms*
sumcheck_first_round[65536]
benches/sumcheck.rs
Skipped
866.3 µs*
expand_from_coeff[(22, 4)]
benches/expand_from_coeff.rs
Skipped
662.4 ms*
expand_from_coeff[(22, 2)]
benches/expand_from_coeff.rs
Skipped
333.9 ms*
sumcheck_first_round[16777216]
benches/sumcheck.rs
Skipped
266.6 ms*
expand_from_coeff[(24, 2)]
benches/expand_from_coeff.rs
Skipped
1.4 s*

Commits

Click on a commit to change the comparison range
Base
main
ec7aa32
-24.13%
refactor : replaced test names from zk2 to zk in whir zk module
2cda33a
2 months ago
by ocdbytes
0%
refactor : added assertions
4469b8e
2 months ago
by ocdbytes
+0.03%
Merge pull request #5 from ocdbytes/aj/opt/proof-size-v1-LA-L-LA-M-LA-N-LA-P-LA-R
09ad098
21 days ago
by Bisht13
0%
Merge pull request #6 from ocdbytes/aj/opt/proof-size-v1-LA-O
22874a9
21 days ago
by Bisht13
0%
Merge pull request #7 from ocdbytes/aj/opt/proof-size-v1-LA-Q
c44d787
21 days ago
by Bisht13
0%
Merge pull request #8 from ocdbytes/aj/opt/proof-size-v1-LA-T
6c9848d
21 days ago
by Bisht13
© 2026 CodSpeed Technology
Home Terms Privacy Docs