Avatar for the TritonVM user
TritonVM
triton-vm
BlogDocsChangelog

GitHub Actions
run

Instrumentation
19 days ago a68e562 master

Compare

Base
Search a run

Head
master
a68e562
19 days ago

Compare
Suggested base runs:

Benchmarks

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
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 µ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 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
Assemble all constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::assemble_constraints::Assemble all constraints
3.9 s
Degree-lower all constraints
triton-constraint-builder/benches/degree_lowering.rs::benches::degree_lower_all::Degree-lower all constraints
232.4 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.5 µ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
Verify Halt
triton-vm/benches/verify_halt.rs::benches::verify_halt::Verify Halt
47.3 ms
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
Home Terms PrivacyDocs