worldfnd
provekit
BlogDocsChangelog

Ignore bin_ops constraints if there are no bin ops

#199Closed
Comparing
minor_noir_to_r1cs_improvement
(
c81b1f8
) with
main
(
5551e2d
)
CodSpeed Performance Gauge
-50%
Regressions
1
Untouched
34

Benchmarks

Failed

reduce_1_partial
skyscraper/core/benches/bench.rs::reduce
Regression
CodSpeed Performance Gauge
-50%
1 ns2 ns

Passed

read_poseidon_1000
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
+2%
1.6 s1.6 s
montgomery_square_interleaved_3
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
+1%
98 ns97 ns
prove_poseidon_1000_with_io
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
+1%
17.3 s17.2 s
prove_poseidon_1000
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
0%
15.7 s15.7 s
simple
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
382.1 µs381.6 µs
reference
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
1.3 ms1.3 ms
v1
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
181.7 µs181.6 µs
montgomery_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
192 ns192 ns
wrm_overhead
skyscraper/fp-rounding/benches/main.rs
CodSpeed Performance Gauge
0%
13 ns13 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
simd_sqr
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
84 ns84 ns
reduce_add_rc
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
4 ns4 ns
sbox
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
1 ns1 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
block_sqr
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
91 ns91 ns
montgomery_square_log_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
157 ns157 ns
bar
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
10 ns10 ns
reduce_partial
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
3 ns3 ns
reduce_1
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
3 ns3 ns
montgomery_interleaved_3
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
114 ns114 ns
scalar_mul
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
95 ns95 ns
montgomery_square_interleaved_4
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
0%
157 ns157 ns
ark_ff
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
0%
98 ns98 ns
reduce
skyscraper/core/benches/bench.rs::reduce
CodSpeed Performance Gauge
0%
7 ns7 ns
square
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
78 ns78 ns
sbox_8
skyscraper/core/benches/bench.rs::parts
CodSpeed Performance Gauge
0%
2 ns2 ns
block3
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
162.8 µs162.9 µs
verify_poseidon_1000
tooling/provekit-bench/benches/bench.rs
CodSpeed Performance Gauge
0%
127.1 ms127.1 ms
block4
skyscraper/core/benches/bench.rs::compress_many
CodSpeed Performance Gauge
0%
196.9 µs197.2 µs
bits_20_fixed
skyscraper/core/benches/bench.rs::pow
CodSpeed Performance Gauge
0%
155.7 ms156.3 ms
simd_mul
skyscraper/block-multiplier/benches/bench.rs::mul
CodSpeed Performance Gauge
-2%
110 ns112 ns
montgomery_square_log_interleaved_3
skyscraper/block-multiplier/benches/bench.rs::sqr
CodSpeed Performance Gauge
-3%
96 ns99 ns

Commits

Click on a commit to change the comparison range
Base
main
5551e2d
-50%
ignore bin_ops constraints if there are no binops
c81b1f8
4 months ago
by veljkovranic
© 2026 CodSpeed Technology
Home Terms Privacy Docs