TritonVM / triton-vm / 8940514761

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

feat: introduce instruction for dot product

The new instructions `xxdotstep` and `xbdotstep` simplify computing
the dot product of two vectors.

The `xx` variant reads two extension field elements from RAM located at
the addresses corresponding to the two top stack elements, multiplies
the extension field elements, and adds the product to an accumulator
located on stack immediately below the two pointers.

The `xb` variant reads one base field element from RAM located at the
addresses corresponding to the top of the stack, one extension field
element from RAM located at the address of the second stack element,
multiplies the field elements, and adds the product to an accumulator
located on stack immediately below the two pointers.

Both instructions increases the respective pointers by the number of
words read.

Run Details

616 of 619 new or added lines in 6 files covered. (99.52%)

4 existing lines in 3 files now uncovered.

43195 of 43545 relevant lines covered (99.2%)

2795495.87 hits per line