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 operatorinput0
first operand of arithmetic operationinput1
second operand of arithmetic operationinput2
third operand if we have ternary arithmetic operationresult
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:
Last updated