Arithmetic proof

Arithmetic proof via zk-STARKs enables efficient verification of addition operation of volume values combined with Sum proof through CTL.

Circuit

Private inputs include data fields about each value:

• operator flag of arithmetic operator

• input0 first operand of arithmetic operation

• input1 second operand of arithmetic operation

• input2 third operand if we have ternary arithmetic operation

• result of arithmetic operation

Please refer to the ArithmeticStark description to learn more about how this STARK was implemented and what fields and constraints were used:

155KB

ArithmeticStark.pdf

pdf