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
Open
PreviousLogic proofNextPlonky2 verifier in Circom

Last updated