TritonVM / triton-vm / 10939691923

98%

Build Type

push

github

Committed by Sword-Smith

Commit Message

perf(degree_lowering): cache node-degrees

Cache node degrees in the `pick_node_to_substitute` function which was
found to be the bottle-neck in the build script. This caching shaves off
38 % of the time it takes to degree-lower, and 30 % of total build time
of Triton VM.

Measurements on my machine (mjolnir):
degree-lowering step in build script:
Before caching degrees:
- 22.024172299s
- 21.938811734s

After caching:
- 13.657397858s
- 13.753980057s

Total time to build triton-vm after change to
`triton-constraint-circuit/src/lib.rs`:
Before caching degrees:
- 26.13s
- 26.74s

After caching:
- 18.63s
- 18.65s

Run Details

20 of 20 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

23679 of 24044 relevant lines covered (98.48%)

6713850.58 hits per line