Commitment scheme
The framework for the proofverification system of our mFibonacci SM is that of a Polynomial Commitment Scheme. The mechanism for proving correctness of the computations carried out by the mFibonacci SM (or, any state machine in the zkEVM setting), is best described in terms of an interactive zeroknowledge proof system. One therefore thinks of the proof/verification system as enabled by an interaction of two parties, traditionally called the Verifier and the Prover.
In practice though, the socalled FiatShamir transformation is used to turn such interactive schemes into noninteractive ones.
Caution
This document dives deep into the technical details of commitment schemes underpinning the zkProver.
It describes what a commitment scheme is, the necessary properties such a scheme must possess, and how the previously stated polynomial identities look like in reality.
Commitment scheme protocol¶
In the case of our mFibonacci state machine, the Prover needs to commit to the polynomials \(P(X)\), \(Q(X)\) \(P( X \omega)\) and \(Q( X \omega)\), and the Verifier will request the Prover to evaluate these polynomials at randomly selected points (i.e., field elements).
The general protocol, in an interactive setting, is as follows;
 The Prover commits to a polynomial or a number of polynomials, using a specified polynomial commitment scheme.
 The Verifier randomly selects one or more field elements, which she sends one at a time to the Prover as challenges. That is, the Verifier requests the Prover to provide evaluations (called openings) of the committed polynomials at these randomly selected field elements.
 This back and forth interaction can occur as many times as the number of openings the Verifier deems sufficient to guarantee soundness.
 The Verifier uses relevant polynomial constraints to test veracity of the Prover’s openings.
If all the relevant constraints hold true, then the Verifier accepts that the Prover has knowledge of the correct polynomials \(P(X)\), \(Q(X)\), \(P(X\omega)\) and \(Q(X\omega)\).
Properties of commitment schemes¶
For all practical purposes, such the constructed proof/verification system needs to be secure. That is, it must have several cryptographic properties. The most crucial properties are; being hiding and binding, as well as soundness and completeness.

Binding means users are able to commit to values but once committed, it should be impossible for users to change or repudiate their committed values. The committed values are called commitments.

Hiding literally means users can commit to values without revealing the actual values, and it should be infeasible for anyone else to deduce the actual values.

Openness means, given a challenge \(\alpha\) , the prover can generate a verifiable proof such that \(P(\alpha) = y\).

Soundness has to do with whether it is infeasible for the adversarial prover to convince the verifier to accept invalid proofs (or commitments). A proof system is sound if the probability for the verifier to accept a false proof is less than a third, \(\Big( \text{probability} < \dfrac{1}{3} \Big)\). In other words, the soundness property of a proof system requires that any proof created from a false witness should not be convincing to the verifier.

A proof system has completeness if every valid proof is convincing and acceptable to a verifier.
Proof systems based on testing polynomial identities take advantage of a basic property of polynomials expressed by the SchwartzZippel Lemma.
According to the SchwartzZippel Lemma;
For any nonzero polynomial \({Q(X_1, . . . , X_n)}\) on \({n}\) variables with degree \({d}\), and \({S}\) a finite but sufficiently large subset of the field \(\mathbb{F}\), then values \({ X_1, . . . , X_n }\) from \({S}\) are independently and uniformly assigned at random, then \({Pr[Q(X_1, . . . , X_n) = 0] ≤ \dfrac{d}{S}}\).
Here’s what the SchwartzZippel Lemma means in the specific case of the mFibonacci state machine:
If the verifier selects the challenges \(\{ \alpha_1, \alpha_2 . . . , \alpha_l \}\) randomly and uniformly, then the probability of the prover finding a false polynomial \({Q'}\) of degree \(d\), such that \({Q'(\alpha_j) = 0 = Q(\alpha_j)}\) for all \(j \in \{ 1, 2, \dots , l \}\) , is at most \({\dfrac{d}{S}}\), which is very small.
This speaks of the soundness of our polynomial commitment scheme.
Proving the mFibonacci SM via PCS¶
Suppose the prover has to prove knowledge of the initial values of the mFibonacci Series that yields the \(1024\)th term, \(A_{1023} = \mathtt{14\ 823\ 897\ 298\ 192\ 278\ 947}\). Suppose a certain polynomial commitment scheme (PCS) is used to facilitate proving and verification.
In a typical commitment scheme, the following protocol is followed;

The prover commits to the polynomials \(P(X)\) and \(Q(X)\).

The verifier selects a random point \(\alpha\), sends it to the prover, with a request for relevant openings.
 The prover then provides the openings; \(P(\alpha)\), \(P(\omega \alpha)\), \(Q(\alpha)\) and \(Q(\omega \alpha)\).

The verifier can check correctness of the openings, by using transition constraints, $$ \begin{aligned} \big( 1 − R(X) \big) \cdot \big[ P(X\cdot \omega) − Q(X) \big] = \bigg\lvert_{\mathcal{H}} 0\qquad\quad\text{ }\text{ } \end{aligned} $$
\[ \begin{aligned} \big( 1 − R(X) \big) · [Q(X\cdot \omega) − (P(X) · Q(X))] = \bigg\lvert_{\mathcal{H}}\ 0\text{ }\text{ } \end{aligned} \] 
In order to enable the verifier to check the boundary constraint, $$ P(\omega^{\mathtt{1023}}) = \mathtt{14 823 897 298 192 278 947}\qquad\qquad $$ the prover must send a witness \(\large{\mathtt{w}}\) as proof that he or she knows the correct value of the \(1024\)th term, without disclosing the actual value \(A_{1023} = \mathtt{14\ 823\ 897\ 298\ 192\ 278\ 947}\).

The verifier then uses a formula, which is specific to the commitment scheme in use and it takes the witness as an input, to check whether the prover has computed the correct \(A_{1023}\).
Note that the prover does not provide any values concerning the constant polynomial \(R(X)\), because this is known to both the prover and the verifier.
Any PCS such as KZG or FRIbased can be used to efficiently prove correctness of computations of our mFibonacci state machine.
Proper range for identities¶
Let’s look carefully at the constraints of the mFibonacci state machine;
where \(\mathtt{T}+1\) is the number of rows in the execution trace and \(\mathcal{K}\) is an evaluation of \(P(X)\) at \(\omega^{\mathtt{T}}\), corresponding to the value of the registry \(\mathtt{A}\) in the \((\mathtt{T}+1)\)st state, when specific initial values \(\mathtt{A}_0\) and \(\mathtt{B}_0\) are used in the state machine.
The problem with the transition constraints, as presented above, is that they hold true only for \(X \in \mathcal{H}\), and not necessarily for \(X \in \mathbb{F}_p\). Note that the lefthand sides of the polynomial identities are but polynomials, which can be labelled \(p_1(X)\), \(p_2(X)\) and \(p_3(X)\). That is;
Define the socalled vanishing polynomial on \(\mathcal{H}\), denoted by \(\mathtt{Z}_{\mathcal{H}}(X)\), as the monomial of maximal degree such that \(\mathtt{Z}_{\mathcal{H}}(X) = 0\) for all \(X \in \mathcal{H}\). Therefore;
Since \(p_i(X) = 0\) for all \(X \in \mathcal{H} = \{ \omega, \omega^2, \omega^3, \dots , \omega^n = 1 \}\), then;
for some quotient polynomial \(q_i(X)\), for each \(i \in \{ 1, 2, 3 \}\).
The polynomial identities of our mFibonacci state machine can therefore be rewritten as:
The representatives \(R(X)\) and \(Z_{\mathcal{H}}(X)\) in the PCS, can be preprocessed and be made public (i.e., known to both the Prover and the Verifier). The Verifier can check specific openings of these polynomials, \(R(X)\) and \(Z_{\mathcal{H}}(X)\).