GitHub Actions run on branch master - TritonVM/triton-vm

GitHub Actions
run

Instrumentation

10 days ago 237cd9b master

Base

Search a run

Head

master

237cd9b

10 days ago

Suggested base runs:

Assemble all constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::assemble_constraints::Assemble all constraints

4.1 s

Degree-lower tran constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower tran constraints

598.4 µs

Degree-lower all constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_all::Degree-lower all constraints

211.3 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)

3.8 s

Degree-lower init constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower init constraints

33.2 µs

Degree-lower cons constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower cons constraints

48.1 µs

Degree-lower term constraints

triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_constraint_types::lower to target degree::Degree-lower term constraints

13.6 µs

Bézout coefficients (XGCD) (degree 10000)

triton-vm/benches/bezout_coeffs.rs::benches::with_xgcd<10_000>::Bézout coefficients (XGCD) (degree 10000)

6.8 s

Prove Fibonacci 100

triton-vm/benches/prove_fib.rs::benches::prove_fib::Prove Fibonacci 100

5 s

Memory I/O

triton-vm/benches/mem_io.rs::benches::mem_io::Memory I/O

4.9 s

Verify Halt

triton-vm/benches/verify_halt.rs::benches::verify_halt::Verify Halt

47.9 ms