ocdbytes:aj/opt/proof-size - Branch - WizardOfMenlo/whir

Opt : smaller proof size by using alternate randomness sampling approach

#236

Comparing

ocdbytes:aj/opt/proof-size

(

77340f3

) with

main

(

716b457

)

Untouched: 10

Skipped: 22

Benchmarks

32 total

interleaved_rs_encode[(18, 2, 2)]

benches/expand_from_coeff.rs

+1%

87.3 ms86.2 ms

sumcheck_first_round[65536]

benches/sumcheck.rs

+1%

1.8 ms1.8 ms

interleaved_rs_encode[(16, 4, 3)]

benches/expand_from_coeff.rs

+1%

33.6 ms33.4 ms

sumcheck_first_round[262144]

benches/sumcheck.rs

+1%

6.9 ms6.9 ms

interleaved_rs_encode[(16, 2, 2)]

benches/expand_from_coeff.rs

17.4 ms17.4 ms

interleaved_rs_encode[(20, 2, 3)]

benches/expand_from_coeff.rs

408.6 ms407.5 ms

interleaved_rs_encode[(22, 4, 4)]

benches/expand_from_coeff.rs

4.1 s4.1 s

interleaved_rs_encode[(18, 4, 3)]

benches/expand_from_coeff.rs

179.4 ms179.3 ms

interleaved_rs_encode[(20, 4, 4)]

benches/expand_from_coeff.rs

807.8 ms807.8 ms

sumcheck_first_round[1048576]

benches/sumcheck.rs

-1%

34 ms34.3 ms

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

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

716b457

-0.25%

feat : added config and commit for the opt implementation

38b6aaf

14 days ago

by ocdbytes

+0.37%

feat : added verifier and tests

febb480

12 days ago

by ocdbytes

-0.16%

feat : added verifier and tests

1613197

12 days ago

by ocdbytes

-0.07%

refactor

3e48753

10 days ago

by ocdbytes

-0.3%

fix : lint

4711f0b

10 days ago

by ocdbytes

+0.25%

feat : removed old zk whir opt

42a988b

8 days ago

by ocdbytes

+0.02%

feat : added new helpers for whir zk config and cleanup

ae81dfb

8 days ago

by ocdbytes

-0.3%

fix : code quality issues

fdaa1c5

8 days ago

by ocdbytes

+0.8%

fix : code quality issues

77340f3

8 days ago

by ocdbytes

Home Terms Privacy Docs