libstark-printout

$ ./simple-add 52 9
verify:1
------------------------------------------------------------
| BAIR Specifications                                      |
------------------------------------------------------------
| field size                                     = 2^64    |
| number of variables per state (w)              = 3       |
| number of regular constraints (s)              = 1       |
| number of permutation constraints              = 0       |
| number of cycles (c)                           = (2^2)-1 |
| degree of constraint system (d)                = 1       |
| degree of permutation constraint system        = -1      |
| number of boundary constraints (B)             = 3       |
| number of variables used by constraint systems = 3       |
| number of variables routed                     = 0       |
| number of variables not routed                 = 3       |
------------------------------------------------------------
-------------------------------------------------
| ACSP Specifications                           |
-------------------------------------------------
| field size                             = 2^64 |
| number of algebraic-registers (|\Tau|) = 3    |
| number of neighbors (|N|)              = 9    |
| vanishing space size                   = 2^3  |
| composition degree bound               = 15   |
-------------------------------------------------
-------------------------------------------------------------
| APR Specifications                                        |
-------------------------------------------------------------
| field size                                       = 2^64   |
| number of algebraic-registers (|\Tau|)           = 3      |
| number of neighbors (|N|)                        = 9      |
| witness (f) evaluation space size (|L|)          = 2^8    |
| constraint (g) evaluation space size (|L_{cmp}|) = 2^6    |
| witness (f) maximal rate (\rho_{max})            = 2^{-5} |
| constraint (g) rate (\rho_{cmp})                 = 2^{-3} |
| zero knowledge parameter (k)                     = 1      |
| rate parameter (R)                               = 3      |
| constraints degree log (d)                       = 3      |
-------------------------------------------------------------
Constructing APR (ACSP) witness:.(0.018289 seconds)
-----------------------------------------
| FRI for witness (f) specifications #1 |
-----------------------------------------
| field size (|F|)      = 2^64          |
| RS code dimension     = 2^3           |
| RS block-length       = 2^8           |
| RS code rate          = 2^-{5}        |
| Soundness error       = 2^-{61}       |
| dim L_0 (eta)         = 2             |
| recursion depth       = 1             |
| COMMIT repetitions    = 2             |
| number of tests (ell) = 13            |
-----------------------------------------
---------------------------------------------
| FRI for constraints (g) specifications #1 |
---------------------------------------------
| field size (|F|)      = 2^64              |
| RS code dimension     = 2^3               |
| RS block-length       = 2^6               |
| RS code rate          = 2^-{3}            |
| Soundness error       = 2^-{61}           |
| dim L_0 (eta)         = 2                 |
| recursion depth       = 1                 |
| COMMIT repetitions    = 2                 |
| number of tests (ell) = 21                |
---------------------------------------------
communication iteration #1:.(0.025481 seconds)
communication iteration #2:.(0.023848 seconds)
communication iteration #3:.(0.037878 seconds)
communication iteration #4:(0.004741 seconds)
communication iteration #5:.(0.035191 seconds)
Verifier decision: REJECT
------------------------------------------------------------------------
| Protocol execution measurements                                      |
------------------------------------------------------------------------
| Prover time                                       = 0.015460 Seconds |
| Verifier time                                     = 0.003934 Seconds |
| Total IOP length                                  = 28.011719 KBytes |
| Total communication complexity (STARK proof size) = 7.140625 KBytes  |
| Query complexity                                  = 5.640625 KBytes  |
------------------------------------------------------------------------