TritonVM / triton-vm / 27954134255

99%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

refactor!: Drop `dot_step`, add `horner_step`

The highly specific instructions `xb_dot_step` and `xx_dot_step` existed
only to speed up computing the inner product of revealed rows with the
verifier-sampled challenges in the recursive verifier. With the
introduction of univariate batching, the recursive verifier no longer
performs that step; instead, it benefits from instructions that speed
up the evaluation of univariate polynomials, which the two new
instructions `b_horner_step` and `x_horner_step` enable.

Coverage Stats

120 of 120 new or added lines in 6 files covered. (100.0%)

20 existing lines in 1 file now uncovered.

15890 of 16086 relevant lines covered (98.78%)

9535361.17 hits per line