Benchmarks
triton-constraint-builder/benches/degree_lowering.rs::benches::assemble_constraints::Assemble all constraintscreated
1 month ago
, last run7 days ago
0
14
4 s
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_all::Degree-lower all constraintscreated
1 month ago
, last run7 days ago
0
14
213.3 s
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower cons constraintscreated
1 month ago
, last run7 days ago
0
14
48.1 µs
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower init constraintscreated
1 month ago
, last run7 days ago
0
14
33.2 µs
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower term constraintscreated
1 month ago
, last run7 days ago
0
14
13.7 µs
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower tran constraintscreated
1 month ago
, last run7 days ago
0
14
598.4 µs
triton-vm/benches/bezout_coeffs.rs::benches::current_design<10_000>::Bézout coefficients (current design) (degree 10000)created
3 months ago
, last run7 days ago
0
33
3.8 s
triton-vm/benches/bezout_coeffs.rs::benches::with_xgcd<10_000>::Bézout coefficients (XGCD) (degree 10000)created
3 months ago
, last run7 days ago
0
33
6.8 s
triton-vm/benches/mem_io.rs::benches::mem_io::Memory I/Ocreated
3 months ago
, last run7 days ago
0
33
4.9 s
triton-vm/benches/prove_fib.rs::benches::prove_fib::Prove Fibonacci 100created
3 months ago
, last run7 days ago
0
33
4.9 s
triton-vm/benches/verify_halt.rs::benches::verify_halt::Verify Haltcreated
3 months ago
, last run7 days ago
0
33
48.2 ms