Recursive zeroknowledge proofs are new cryptographic primitives relevant to the Anoma blockchain use case. In this article, we investigate the possible alternatives for verifying blockchain circuits efficiently. Our main interest is in estimating the efficiency of pairingbased constructions.
Introduction
Motivation
Blockchain consensus protocols allow different parties to verify the validity of the different blocks. Recently, different constructions have been introduced to achieve different properties (for example privacy and anonymity).
The Anoma blockchain computes shielded transactions thanks to the MultiAsset Shielded Pool. Each block contains different information related to state transitions that can be verified by all users of the blockchain. A basic idea for verifying the current block state is to recompute all state transitions starting from the genesis block. The major disadvantage of this method is that the longer the blockchain, the more computationally expensive it becomes.
We present in this article how state transitions can be verified using a proof of knowledge. Introducing this concept with a simple example without any cryptography involved, this article also describes different alternatives for getting concrete secure proofs from a cryptographic point of view. Subsequently, we present efficient verifications of the whole blockchain using recursive proofs of knowledge. To sum things up, a comparison of the different constructions available is made from a practical point of view.
A simple example
Proofs of knowledge have become very famous in the last few years. We begin this section with a very simple example using a deck of cards.
This simple example shows that:
 Alice does not reveal information on her secret card (neither the number, nor the suit, i.e. ❤️ or ♦️). We say that this proof is zeroknowledge.
 Using this undeniable proof, Bob is always convinced by Alice. With this, we say that the proof has the completeness property.
 A cheater that picked a red card would not be able to prove that he picked a black card. This is called the soundness of the proof.
In the following sections, we consider proofs of knowledge that satisfy zeroknowledge, completeness and soundness. As a publickey cryptography construction, proof schemes are based on a hard mathematical problem. The security of the proofs we investigate here relies on the Discrete Logarithm Problem (DLP) instantiated with two different cases: finite fields and elliptic curves. In the next section, we introduce the needed tools for building proofs of knowledge.
In this article, we assume that the reader is familiar with elliptic curve and pairingbased cryptography, as well as finite field algebra.
Proof of knowledge of an arithmetic circuit
Proofs of knowledge give evidence of the knowledge of the solution of a circuit. The proofs we consider in this article have a similar structure:
 Consider an arithmetic circuit,
 Translate the circuit in terms of polynomials (see the following section, 'Plonk arithmetization'),
 Commit to the polynomials using a commitment scheme.
In the following sections, we consider arithmetic circuits modulo a prime $rr$. A simple example would be the knowledge of a square root, i.e. given $y\in {\mathbb{F}}_{r}y\backslash in\backslash mathbb\; F\_r$, the knowledge of $xx$ such that ${x}^{2}=y\text{\hspace{0.05em}}\text{\hspace{0.05em}}rx^2\; =\; y\backslash bmod\; r$.
The Plonk arithmetization
In this section, we consider the PLONK arithmetization. Arithmetic circuits modulo $rr$ are decomposed into gates of the form ${q}_{L}a+{q}_{R}b+{q}_{O}c+{q}_{M}ab+{q}_{C}=0q\_L\; a\; +\; q\_Rb\; +\; q\_Oc\; +\; q\_M\; ab\; +\; q\_C\; =\; 0$, where $\ast a*a$, $\ast b*b$ and $cc$ are the values we do not want to reveal. The squareroot circuit described above can be written as $0\cdot x+0\cdot x+(1)\cdot y+0\cdot x\cdot x+0=00\backslash cdot\; x\; +\; 0\backslash cdot\; x\; +\; (1)\backslash cdot\; y\; +\; 0\backslash cdot\; x\; \backslash cdot\; x\; +\; 0\; =\; 0$, meaning that ${x}^{2}=yx^2\; =\; y$. Another example (also related to squares) is the knowledge of a Pythagorean triple, i.e. $(x,y,z)(x,y,z)$ satisfying ${x}^{2}+{y}^{2}+{z}^{2}x^2\; +\; y^2\; +\; z^2$. In order to translate it as a PLONK circuit, we decompose it as
Mathematical claim 
Corresponding PLONK gate 
$xx$ and ${T}_{1}T\_1$ satisfy ${x}^{2}={T}_{1}x^2\; =\; T\_1$ 
$0\cdot x+0\cdot x+(1)\cdot {T}_{1}+0\cdot x\cdot x+0=00\cdot x+0\cdot x+(1)\cdot T\_1+0\cdot x\cdot x+0=0$ 
$yy$ and ${T}_{2}T\u2082$ satisfy ${y}^{2}={T}_{2}y^2=T\_2$ 
$0\cdot y+0\cdot y+(1)\cdot {T}_{2}+0\cdot y\cdot y+0=00\cdot y+0\cdot y+(1)\cdot T\_2+0\cdot y\cdot y+0=0$ 
$zz$ and ${T}_{3}T\u2083$ satisfy ${z}^{2}={T}_{3}z^2\; =\; T\_3$ 
$0\cdot z+0\cdot z+(1)\cdot {T}_{3}+0\cdot z\cdot z+0=00\cdot z+0\cdot z+(1)\cdot T\_3+0\cdot z\cdot z+0=0$ 
${T}_{1}T\_1$, ${T}_{2}T\_2$ and ${T}_{3}T\_3$ satisfy ${T}_{1}+{T}_{2}={T}_{3}T\_1+T\_2\; =\; T\_3$ 
$1\cdot {T}_{1}+1\cdot {T}_{2}+(1)\cdot {T}_{3}+0\cdot {T}_{1}\cdot {T}_{2}+0=01\cdot T\_1+1\cdot T\_2+(1)\cdot T\_3+0\cdot T\_1\cdot T\_2+0=0$ 
This circuit can be rewritten using the following table:
Gate 
${q}_{L}q\_L$ 
${q}_{R}q\_R$ 
${q}_{O}q\_O$ 
${q}_{M}q\_M$ 
${q}_{C}q\_C$ 
$aa$ 
$bb$ 
$cc$ 
1 
$00$ 
$00$ 
$11$ 
$00$ 
$00$ 
$xx$ 
$xx$ 
${x}^{2}x^2$ 
2 
$00$ 
$00$ 
$11$ 
$00$ 
$00$ 
$yy$ 
$yy$ 
${y}^{2}y^2$ 
3 
$00$ 
$00$ 
$11$ 
$00$ 
$00$ 
$zz$ 
$zz$ 
${z}^{2}z^2$ 
4 
$11$ 
$11$ 
$11$ 
$00$ 
$00$ 
${x}^{2}x^2$ 
${y}^{2}y^2$ 
${z}^{2}z^2$ 
The circuit also requires extra information: the first $cc$value (say ${c}_{1}c\_1$) corresponds to the last $aa$value (which is ${c}_{2}c\_2$), etc. In this example, ${c}_{1}={a}_{4}c\_1=a\_4$, ${c}_{2}={b}_{4}c\_2=b\_4$ and ${c}_{3}={c}_{4}c\_3\; =\; c\_4$. This information is often called "copy constraints". Note that one of the proof schemes we consider below is defined using the "ultraPLONK" arithmetization, leading to optimizations of the circuits. For simplicity, we consider only the case of the PLONK circuits.
From this circuit, the PLONK arithmetization produces polynomials corresponding to the circuit and the proof constructions rely on polynomial commitments. We will define these in the next section.
Polynomial commitments
The PLONK arithmetization leads to several polynomials we aim to prove the knowledge of. Here, we briefly recall what is a polynomial commitment scheme.
A commitment scheme is a cryptographic primitive that allows one to commit to a chosen value (or chosen statement) while keeping it hidden to others, with the ability to reveal the committed value later. In this context, the value is a polynomial $f(x)\in {\mathbb{F}}_{r}[x]f(x)\; \backslash in\; \backslash mathbb\; F\_r[x]$, and the commitment corresponds to an evaluation $f(s)f(s)$ for a given $s\in {\mathbb{F}}_{r}s\backslash in\; \backslash mathbb\; F\_r$. From this commitment, the prover is able to open it so that a verifier can be convinced of the knowledge of $ff$, without knowing its coefficients.
We now present two polynomial commitment schemes relying on different assumptions. It has been studied in this work in a more general context, including the generalization for recursive proofs. We will go back to these constructions at the end of this post.
The IPA commitment scheme
The first polynomial commitment scheme we introduce is developed by Zcash and currently called Halo 2 by its designers. The main idea is to prove the knowledge of a polynomial $f(x)f(x)$ by committing a value $f(s)f(s)$ for a challenge $ss$ given by the verifier. Using elliptic curve cryptography, we are able to prove the knowledge of $ff$ without revealing its coefficients. The scheme relies on the Inner Product Argument (IPA). We summarize here the different steps of the commitment scheme:

Setup:
We consider an elliptic curve $EE$ defined over ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$ with a subgroup of (large prime) order $rr$. We also consider $\mathrm{deg}(f)+1\backslash deg(f)+1$ points of $E({\mathbb{F}}_{p})E(\backslash mathbb\; F\_p)$ of order $rr$. The security relies on the elliptic curve discrete logarithm problem. In practice, this scheme is often used using the Pasta curve. One main advantage of the Halo 2 construction is that there is no trusted setup.

Commitment:
A commitment is a point of $E({\mathbb{F}}_{p})E(\backslash mathbb\; F\_p)$ computed using scalar multiplications by the coefficients of the polynomial $ff$. An additional random scalar is also required in order to become zeroknowledge.

Opening:
Given a commitment, it computes scalars of ${\mathbb{F}}_{r}\backslash mathbb\; F\_r$ and points of $E({\mathbb{F}}_{p})E(\backslash mathbb\; F\_p)$ in an algorithm with a $\mathcal{O}(\mathrm{log}(\mathrm{deg}(f)))\backslash mathcal\; O(\backslash log(\backslash deg(f)))$ complexity.

Verification:
After recomputing values of the opening step, it checks an equation on the curve. This time, the opening elements are computed with an algorithm whose complexity is linear in the degree of $ff$.
For a more precise description of this commitment scheme, we refer the reader to the Zcash Rust code and our SageMath code.
In order to reach the 128bit security level, one needs to choose an elliptic curve with a subgroup of 256bit prime order. The Zcash team designed an efficient construction with the pasta curves. With these curves, ${\mathrm{log}}_{2}(p),{\mathrm{log}}_{2}(r)=256\backslash log\_2(p),\; \backslash log\_2(r)\; =\; 256$.
The PB commitment scheme
This construction relies on different security assumptions as it computes pairings, and has been introduced in this paper. While we need a secure discrete logarithm problem over the curve, the scheme computes a bilinear map that outputs an element of a finite field ${\mathbb{F}}_{{p}^{k}}\backslash mathbb\; F\_\{p^k\}$ for a given embedding degree $kk$. The security also relies on the discrete logarithm over ${\mathbb{F}}_{{p}^{k}}^{\ast}\backslash mathbb\; F^*\_\{p^k\}$. Consequently, for a 128bit security level, this scheme requires a larger prime $pp$ than the Halo 2 commitment scheme. A special security analysis is needed for each curve in order to estimate whether the security has been reached. The PairingBased (PB) commitment scheme splits as follows:

Trusted setup:
For this, we consider a pairingfriendly elliptic curve $EE$ defined over ${\mathbb{F}}_{p}^{\ast}\backslash mathbb\; F\_p^*$, which means that for a large prime $rr$, all the $rr$torsion points are efficiently commutable. From now on, we denote ${\mathbb{G}}_{1}\backslash mathbb\; G\_1$ and ${\mathbb{G}}_{2}\backslash mathbb\; G\_2$, two orthogonal subgroups of order $rr$. ${G}_{1}G\_1$ and ${G}_{2}G\_2$ denote generators of these cyclic groups. For an integer $n>0n>0$, a third party chooses a secret integer $ss$ and computes $([{s}_{i}]{G}_{1}{)}_{i=0}^{n}([s\_i]G\_1)\_\{i=0\}^n$ and ${G}_{2},[s]{G}_{2}G\_2,\; [s]G\_2$. The trusted setup can be computed once and several proofs can be computed using this setup.

Commitment:
The commitment corresponds to evaluating the polynomial at the secret integer $ss$, and then computing a scalar multiplication. Using the trusted setup, the commitment can be done without even knowing $ss$.

Opening:
Several extra computations correspond to the extra necessary elements for a verification. It computes modular integer arithmetic as well as polynomial arithmetic.

Proof:
Using the bilinearity of the pairing, the verifier is able to check an equation over the finite field ${\mathbb{F}}_{{p}^{k}}\backslash mathbb\; F\_\{p^k\}$. These computations require arithmetic over the curve (more precisely, over ${\mathbb{G}}_{1}\backslash mathbb\; G\_1$).
If you want to learn more about the PB proof scheme, feel free to reference this designer's Rust code, or our post explaining how to compute a proof "by hand". We also provide a SageMath code for further investigations.
Towards recursive proof constructions
A naive solution of verifying all blockchain blocks would be to verify each block separately. As mentioned before, this approach becomes increasingly expensive as the blockchain keeps growing. In order to get an efficient verification, several constructions provide a way of plugging a proof into another one. This is what we call recursive proofs.
Proof of a proof
Suppose that we have two circuits ${\mathcal{C}}_{1}\backslash mathcal\; C\_1$ and ${\mathcal{C}}_{2}\backslash mathcal\; C\_2$ we aim to give proofs of knowledge of solutions (${x}_{1}x\_1$ and ${x}_{2}x\_2$). In other words, ${\mathcal{C}}_{1}({x}_{1})\backslash mathcal\; C\_1(x\_1)$ and ${\mathcal{C}}_{2}({x}_{2})\backslash mathcal\; C\_2(x\_2)$ are true. The idea of "proof of proof" is as follows:
 Compute a proof ${\pi}_{1}\backslash pi\_1$ of the the knowledge of ${x}_{1}x\_1$ for the circuit ${\mathcal{C}}_{1}\backslash mathcal\; C\_1$;
 Produce a circuit ${\mathcal{C}}_{1}^{\mathrm{\prime}}\backslash mathcal\; C\_1\text{'}$ corresponding to the verification of ${\pi}_{1}\backslash pi\_1$;
 Compute a proof ${\pi}_{2}\backslash pi\_2$ of the knowledge of ${\pi}_{1}\backslash pi\_1$ for ${\mathcal{C}}_{1}^{\mathrm{\prime}}\backslash mathcal\; C\_1\text{'}$, together with ${x}_{2}x\_2$ corresponding to ${\mathcal{C}}_{2}\backslash mathcal\; C\_2$.
This way, if the verification of ${\pi}_{2}\backslash pi\_2$ succeeds, it means that ${\mathcal{C}}_{2}({x}_{2})\backslash mathcal\; C\_2(x\_2)$ is true, and that there exists ${\pi}_{1}\backslash pi\_1$ verifying the first circuit. In other words, we obtain a proof of both ${x}_{1}x\_1$ and ${x}_{2}x\_2$ using only one proof.
The main drawback of this construction is that the circuit corresponding to a verification is often very complex. For instance, in a pairingbased proof scheme, the verification involves the computation of pairings, and these correspond to large circuits.
In general, we prefer computing proofs using an accumulator.
Proofs accumulator
On this topic, accumulators have been introduced for the purpose of "accumulating" proofs. While the Halo 2 construction provides this accumulation, the ideas have been formalized in this paper in a wider context. An accumulator satisfies several properties:
 Given $\text{acc}\backslash text\{acc\}$ and $\pi \backslash pi$, we are able to verify an accumulation, i.e. that a new accumulator ${\text{acc}}^{\mathrm{\prime}}\backslash text\{acc\}\text{'}$ indeed accumulates $pipi$ into $\text{acc}\backslash text\{acc\}$.
 Given an accumulator $\text{acc}\backslash text\{acc\}$, we can verify all the proofs accumulated using one verification algorithm.
Using this construction, one can compute proofs of accumulation leading to a recursive proof. The main advantage of the accumulator construction (in comparison to the "proof of proof") is that verifying an accumulation is much simpler than verifying a proof.
The two schemes we have introduced are adaptable and we can get an accumulator in both cases:
 In the IPA scheme, proofs correspond to polynomial commitments, and we can accumulate them by computing linear combinations of both the commitments and the polynomials.
 In the PB scheme, the accumulator is also obtained from linear combinations of proofs, thanks to the bilinearity of the pairing.
In both cases, accumulation verification corresponds to a simpler circuit than in the case of "proof of proof". In practice, it is common to use the accumulator construction, which we will spend the rest of the article focusing on. Going back to the ${\mathbb{F}}_{r}\backslash mathbb\; F\_r$ circuits ${\mathcal{C}}_{1}\backslash mathcal\; C\_1$ and ${\mathcal{C}}_{2}\backslash mathcal\; C\_2$, a construction based on an accumulator would be:
 Compute a proof ${\pi}_{1}\backslash pi\_1$ of the the knowledge of ${x}_{1}x\_1$ for the circuit ${\mathbb{C}}_{1}\backslash mathbb\; C\_1$. The proof ${\pi}_{1}\backslash pi\_1$ corresponds to elements defined with integers modulo $pp$, namely ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$ elements, and points of a curve defined over ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$.
 Accumulate this proof ${\pi}_{1}\backslash pi\_1$ in an accumulator (elements of ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$).
 Produce a circuit ${\mathcal{C}}_{1}^{\mathrm{\prime}}\backslash mathcal\; C\_1\text{'}$ corresponding to the accumulation verification of ${\pi}_{1}\backslash pi\_1$. The accumulation verification is often simpler than in the "proofofproof" case, but corresponds to an arithmetic modulo $pp$ circuit.
 Compute a proof ${\pi}_{1}^{\mathrm{\prime}}\backslash pi\_1\text{'}$ of the knowledge of ${\pi}_{1}\backslash pi\_1$ for ${\mathcal{C}}_{1}^{\mathrm{\prime}}\backslash mathcal\; C\_1\text{'}$. This circuit is an ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$circuit and so we need to use an elliptic curve with a different structure for generating a proof of this circuit. More precisely, we need an elliptic curve with a subgroup of order $pp$ in order to match with the circuit. We will examine in the next sections how difficult it is to achieve such curves.
 Accumulate ${\pi}_{1}^{\mathrm{\prime}}\backslash pi\_1\text{'}$ into an accumulator (defined over the second curve base field). If this new curve base field is ${\mathbb{F}}_{r}\backslash mathbb\; F\_r$, we are able to produce a proof for ${\mathcal{C}}_{2}\backslash mathcal\; C\_2$ recursively using the first curve.
As we have seen, the choice of curves is very important in order to obtain a recursive proof. We need to be able to produce proofs on two different curves ${E}_{1},{E}_{2}E\_1,\; E\_2$ closely related to each other:
In the next section, we investigate the details of the requirements for ${E}_{1}E\_1$ and ${E}_{2}E\_2$ in order to obtain recursive proofs in the context of the IPA and the PB recursive proofs.
Cycles of curves
From the two accumulator constructions, we obtain recursive proofs using the construction with circuits modulo $rr$ and $pp$. It means that we need two elliptic curves:
 ${E}_{1}E\_1$ defined over ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$, and $rr$ divides the order of ${E}_{1}({\mathbb{F}}_{p})E\_1(\backslash mathbb\; F\_p)$,
 ${E}_{2}E\_2$ defined over ${\mathbb{F}}_{r}\backslash mathbb\; F\_r$, and $pp$ divides the order of ${E}_{2}({\mathbb{F}}_{r})E\_2(\backslash mathbb\; F\_r)$.
This definition easily extends to a cycle of more than two curves, but we do not require the formal definition. Depending on the proof scheme, the curves we will use need other properties. In most of the schemes used in practice, a large power of $22$ dividing $p1p1$ and $r1r1$ is required, so that the arithmetic over the finite fields is efficient using FFT.
Following this, we consider three types of cycles of curves:

Nonpairing cycle:
Both curves are nonpairingfriendly, and in order to get 128 bits of security, one needs to use ${\mathrm{log}}_{2}(p),{\mathrm{log}}_{2}(r)\ge 256\backslash log\_2(p),\; \backslash log\_2(r)\backslash geq\; 256$. The Halo 2 scheme use the Pasta curves, a nonpairing cycle. It is not very restrictive to get such curves, even with efficiency and security properties.

Halfcycle:
Several constructions are possible. For instance, this construction provides a cycle with a BarretoNaehrig curve (which is pairingfriendly) and a nonpairing curve for a (conservative) 128bit security level (${\mathrm{log}}_{2}(p)\ge 384\backslash log\_2(p)\backslash geq\; 384$). A halfpairing cycle can lead to onelayer recursive proofs, meaning that we can verify a batch of proofs in one time. It is not clear how we could obtain an efficient fully recursive proof using a halfpairing cycle, in particular with a mix of IPA and PB proofs.

Pairing cycle:
Both curves are pairingfriendly, and the sizes of $pp$ and $qq$ need to be larger in order to reach the 128bit security level. This depends on the embedding degrees and the structure of the primes, and needs further cryptanalysis study. Currently, the main construction uses MNT4 and MNT6 curves, and requires primes $pp$ and $rr$ with at least 768 bits.
Recursive proofs in practice
We now investigate recursive proofs from a practical point of view, with the aim of comparing the different constructions based on IPA and PB proofs.
An IPA recursive proof
The Halo 2 proof scheme described above can be adapted to get an accumulator, and as a result, a recursive proof.

Choice of curves:
The Zcash team uses a cycle of curves called Pallas and Vesta. The two curves are defined with arithmetic modulo 256bit long primes, reaching high efficiency and security in practice.

Size and cost:
Estimating the size of the proofs and the cost of a verification depends on the circuit considered. Asymptotically, Halo 2 reaches a certain logarithmic complexity, but not a fully succinct proof scheme (where the verification cost does not depend on the circuit size). For a nonoptimized circuit with 1024 gates of maximal degree 1, the proof is stored in less than 768 bytes and the verification costs less than 78.25ms. For a given circuit, many optimizations can lead to improvements on both sides.

Other properties:
This scheme does not rely on pairingbased assumptions, and does not require a trusted setup.
A PB recursive proof
An accumulator can also be obtained from the pairingbased scheme studied earlier in this article.

Choice of curves:
Cycles of pairing curves are more complicated to generate. In order to obtain a recursive proof practically, one needs to use two MNT curves. More precisely, we are restricted to curves defined modulo larger primes than in the IPA case. Aurore Guillevic recommends here 992bit long primes for a conservative security, and the arithmetic over these curves is not really efficient due to the larger moduli. At the moment, the curves obtained here do not fit with the efficient Lagrange polynomial multiplication, but curves with such properties could be found with a bit more research.

Size and cost:
Pairingbased recursive proofs are succinct in the sense that the verification cost is constant and does not depend on the circuit size. Practically, verification costs approximately 20ms, while proofs correspond to $16{\mathrm{log}}_{2}(p)16\backslash log\_2(p)$ bits. For a 128bit security level, proofs are stored in 1984 bytes using the MNT curves.

Other properties:
One drawback of this construction is the required trusted setup, but the construction leads to fully succinct verification. Depending on the size of the circuit, this construction could be preferred compared to the Halo 2 construction.
Mixing IPA×PB recursive proof
Another alternative is to do a mix of IPA and PB proofs.

Choice of curves:
Using a mix of IPA and PB proofs lets us find a halfpairing cycle with more efficient curves. Namely, it is possible to reach the 128bit security with curves defined over 446bit primes (one is pairingfriendly, the other is not) using this work. The pairingfriendly curve is a BarretoNaehrig (BN) curve and its structure is very similar to the BLS12 curves.

Size and cost:
Using this halfpairing cycle, we are able to build succinct recursive proofs by choosing ${E}_{1}E\_1$ to be a BN curve:
 Setting ${E}_{1}={E}_{\text{BN}}E\_1\; =\; E\_\backslash text\{BN\}$, the circuits ${\mathcal{C}}_{i}\backslash mathcal\; C\_i$ lead to succinct proofs ${\pi}_{i}\backslash pi\_i$ and an accumulator defined over ${\mathbb{F}}_{p}\backslash mathbb\; F\_p$.
 Circuits ${\mathcal{C}}_{i}^{\mathrm{\prime}}\backslash mathcal\; C\_i\text{'}$ correspond to the verification of the accumulation in the case of the PB scheme. They are defined modulo $pp$, and have all the same fixed size, coming from the succinctness of the ${\pi}_{i}\backslash pi\_i$.
 Proofs of ${\mathcal{C}}_{i}^{\mathrm{\prime}}\backslash mathcal\; C\_i\text{'}$ are obtained using the IPA proof scheme. As the size of the circuits ${\mathcal{C}}_{i}\backslash mathcal\; C\_i$ is fixed, we also obtain a bounded proof size.
 Finally, the verification of the whole recursive proof corresponds to one PB verification, and one IPA verification with fixed size circuits.
 Other properties:
Further investigation is needed in order to know if the circuits ${\mathcal{C}}_{i}^{\mathrm{\prime}}\backslash mathcal\; C\_i\text{'}$ lead to efficient verification in the IPA curve. This construction relies on the PB proof and therefore requires a trusted setup. The main advantage compared to other construction is the succinctness together with practical efficiency (to be confirmed). This construction allows efficient scalar multiplications using the GLV method (curves have $jj$invariant $00$). The construction using a BN curve is secure against subgroup attacks, but the twist security check is more expensive: ${E}_{\text{BN}}^{t}=33\cdot 409\cdot 4181358137757019\cdot {p}_{380}E\_\backslash text\{BN\}^t=33\cdot 409\cdot 4181358137757019\cdot p\_\{380\}$ and ${E}_{2}^{t}=32\cdot 13\cdot 73\cdot 1634952357132739\cdot 1881161189879663262061651\cdot {p}_{301}E\_2^t=32\cdot 13\cdot 73\cdot 1634952357132739\cdot 1881161189879663262061651\cdot p\_\{301\}$ (where ${p}_{\mathrm{\ell}}p\_\backslash ell$ denotes a prime of $\mathrm{\ell}\backslash ell$ bits, and ${E}^{t}E^t$ the quadratic twist of $EE$).
Conclusion
In this article, we presented three constructions of recursive proofs based on different security assumptions, with different tradeoffs between sizes of proofs and verification cost. We summarize size and complexities in the following table, while concrete implementations would be needed for real comparisons.
Recursive proof based on 
IPA 
PB 
IPA$\times \backslash times$PB 
Security assumption 
ECDLP 
ECDLP and pairing 
ECDLP and pairing 
Trusted setup 
no 
yes 
yes 
Prime size 
256bit 
992bit 
446bit 
(Proof + accumulator) size 
linear in the circuit 
$\approx 4464\backslash approx\; 4464$ bytes 
needs more work 
Verification cost (in the circuit size) 
logarithmic 
constant 
constant* 
${}^{\ast}\{\}^*$ constant in the size of the circuit but bound by size of an accumulation verification circuit (can be large).
Using our SageMath code, we are able to compare the timings of all these schemes but not in the most precise way possible, as SageMath is not sufficiently efficient. Though, we can compare the cost of the proof over the 446bit curves and using the MNT curves, together with the current PB proof based on BLS12381 curves. The following comparisons are based on our SageMath code, and hence are not precise.
 The proof verification on a BN446 curve is slower than over the (non cyclable) BLS12381 curve, with a factor of 1.72.
 Over the MNT4768 curve, the verification costs 1.80 times the cost on the BLS12381 curve.
 The proof verification on a MNT6768 curve costs 2.10 times a verification over the BLS12381 curve.
 The proof verification on a MNT6992 curve is not possible at the moment because no curve (with $p1p1$ a multiple of ${2}^{32}2^\{32\}$) has been generated yet.
While it seems to be more expensive, the PB recursive proof seems to be practically possible. Though, other computations may be more expensive: when algorithms involve arithmetic modulo pp, computations become more expensive as long as $pp$ becomes larger. Scalar multiplications, but also polynomial evaluations, would have a significant cost with larger MNT curves.
Finally, these estimations need further investigations in order to confirm our estimations. In particular, an implementation using Rust would be helpful.
Written by Simon Masson, zeroknowledge cryptography researcher & protocol developer at Heliax, the team building Anoma.
If you're interested in zeroknowledge cryptography, cuttingedge cryptographic protocols, or engineering positions in Rust, check out the open positions at Heliax.