# 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:

{% file src="https://3339352739-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FodO5JlqleNX4RzpA1ZUc%2Fuploads%2FmdWnr3yjLjWE2kU0VCDr%2FArithmeticStark.pdf?alt=media&token=f361aa74-fb5f-465a-b6a0-623f010c66e4" %}
