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

GitHub Actions
run

Instrumentation

20 days ago a68e562 master

Base

Search a run

Head

master

a68e562

20 days ago

Suggested base runs:

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

Assemble all constraints

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

4 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

Degree-lower all constraints

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

232.1 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

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

Memory I/O

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

5 s

Prove Fibonacci 100

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

5 s

Verify Halt

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

47.7 ms

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