Avatar for the worldfnd user
worldfnd
provekit
BlogDocsChangelog

feat: Implement layered witness solving with batch inversion optimization

#196Merged
Comparing
sl/par-solve-witness
(
d7495a2
) with
main
(
5551e2d
)
CodSpeed Performance Gauge
0%
Untouched
35

Benchmarks

35 total
prove_poseidon_1000
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
+4%
15.7 s15.1 s
prove_poseidon_1000_with_io
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
+4%
17.3 s16.7 s
read_poseidon_1000
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
+1%
1.6 s1.6 s
montgomery_square_interleaved_3
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
+1%
98 ns97 ns
simple
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
382.1 µs382.1 µs
bits_20_fixed
skyscraper/core/benches/bench.rs::pow
CodSpeed Performance Gauge
0%
155.7 ms155.7 ms
reduce_1
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
3 ns3 ns
block_sqr
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
91 ns91 ns
block_mul
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
127 ns127 ns
scalar_sqr
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
78 ns78 ns
reduce
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
7 ns7 ns
ark_ff
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
81 ns81 ns
sbox_16
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
6 ns6 ns
montgomery_interleaved_3
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
114 ns114 ns
reduce_partial
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
3 ns3 ns
montgomery_square_log_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
157 ns157 ns
square
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
78 ns78 ns
wrm_overhead
skyscraper/fp-rounding/benches/main.rs
CodSpeed Performance Gauge
0%
13 ns13 ns
montgomery_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
192 ns192 ns
scalar_mul
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
95 ns95 ns
sbox
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
1 ns1 ns
reduce_1_partial
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
1 ns1 ns
montgomery_square_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
157 ns157 ns
sbox_8
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
2 ns2 ns
ark_ff
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
98 ns98 ns

Commits

Click on a commit to change the comparison range
Base
main
5551e2d
+0.18%
chore: update poseidon bench
fcde0b7
6 months ago
by shreyas-londhe
-14.24%
chore: cargo doc
5466ab3
6 months ago
by shreyas-londhe
+14.25%
chore: cargo doc
d7495a2
6 months ago
by shreyas-londhe
© 2026 CodSpeed Technology
Home Terms Privacy Docs