Comparing
new_benchmark
(048ea2e
) withmaster
(872d42c
)-1%
- Improvements
- 0
- Regressions
- 0
- Untouched
- 5
- New
- 6
- Dropped
- 0
- Ignored
- 0
Benchmarks
New
Assemble all constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::assemble_constraints::Assemble all constraintsN/A
N/A
4 s
Degree-lower all constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_all::Degree-lower all constraintsN/A
N/A
205 s
Degree-lower cons constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower cons constraintsN/A
N/A
48 µs
Degree-lower init constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower init constraintsN/A
N/A
33.2 µs
Degree-lower term constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower term constraintsN/A
N/A
13.7 µs
Degree-lower tran constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower tran constraintsN/A
N/A
598.4 µs
Passed
Memory I/O
triton-vm/benches/mem_io.rs::benches::mem_io::Memory I/O+1%
5 s
4.9 s
Bézout coefficients (current design) (degree 10000)
triton-vm/benches/bezout_coeffs.rs::benches::current_design<10_000>::Bézout coefficients (current design) (degree 10000)0%
3.8 s
3.8 s
Bézout coefficients (XGCD) (degree 10000)
triton-vm/benches/bezout_coeffs.rs::benches::with_xgcd<10_000>::Bézout coefficients (XGCD) (degree 10000)0%
6.8 s
6.8 s
Verify Halt
triton-vm/benches/verify_halt.rs::benches::verify_halt::Verify Halt-2%
47.3 ms
48.1 ms
Prove Fibonacci 100
triton-vm/benches/prove_fib.rs::benches::prove_fib::Prove Fibonacci 100-2%
4.9 s
5 s
Commits
Click on a commit to change the comparison rangeBase
master
872d42c
-1%
ci: Add degree lowering benchmark to codspeed
changelog: ignore
048ea2e
1 month ago
by jan-ferdinand