diff --git a/book/src/concepts/arithmetization.md b/book/src/concepts/arithmetization.md index 181f4682..65b25c82 100644 --- a/book/src/concepts/arithmetization.md +++ b/book/src/concepts/arithmetization.md @@ -19,13 +19,13 @@ A PLONKish circuit depends on a ***configuration***: * A subset of the columns that can participate in equality constraints. -* A ***polynomial degree bound***. +* A ***maximum constraint degree***. * A sequence of ***polynomial constraints***. These are multivariate polynomials over $\mathbb{F}$ that must evaluate to zero *for each row*. The variables in a polynomial constraint may refer to a cell in a given column of the current row, or a given column of another row relative to this one (with wrap-around, i.e. taken modulo $n$). The maximum - degree of each polynomial is given by the polynomial degree bound. + degree of each polynomial is given by the maximum constraint degree. * A sequence of ***lookup arguments*** defined over tuples of ***input expressions*** (which are multivariate polynomials as above) and ***table columns***. diff --git a/book/src/design/proving-system/circuit-commitments.md b/book/src/design/proving-system/circuit-commitments.md index 2c5d4abd..73527889 100644 --- a/book/src/design/proving-system/circuit-commitments.md +++ b/book/src/design/proving-system/circuit-commitments.md @@ -61,7 +61,7 @@ Let $c$ be the number of columns that are enabled for equality constraints. Let $m$ be the maximum number of columns that can accommodated by a [column set](permutation.md#spanning-a-large-number-of-columns) without exceeding -the PLONK configuration's polynomial degree bound. +the PLONK configuration's maximum constraint degree. Let $u$ be the number of “usable” rows as defined in the [Permutation argument](permutation.md#zero-knowledge-adjustment) section. diff --git a/book/src/design/proving-system/permutation-diagram.png b/book/src/design/proving-system/permutation-diagram.png index 42e23567..a0f683a9 100644 Binary files a/book/src/design/proving-system/permutation-diagram.png and b/book/src/design/proving-system/permutation-diagram.png differ diff --git a/book/src/design/proving-system/permutation-diagram.svg b/book/src/design/proving-system/permutation-diagram.svg index 5ef82622..2ae7f314 100644 --- a/book/src/design/proving-system/permutation-diagram.svg +++ b/book/src/design/proving-system/permutation-diagram.svg @@ -19,6 +19,105 @@ inkscape:export-ydpi="150"> + + + + + + + + + + + + + + + + + + + + + @@ -182,36 +281,6 @@ d="M 0,0 5,-5 -12.5,0 5,5 Z" id="path1450-2" /> - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + inkscape:window-width="3352" + inkscape:window-height="1892" + inkscape:window-x="394" + inkscape:window-y="105" + inkscape:window-maximized="0" + inkscape:snap-global="false" /> @@ -624,7 +1017,7 @@ image/svg+xml - + @@ -632,6 +1025,45 @@ inkscape:label="Layer 1" inkscape:groupmode="layer" id="layer1"> + + + + + 7 + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.05556px;line-height:1.25;font-family:Cabin;-inkscape-font-specification:Cabin;font-variant-ligatures:normal;font-variant-position:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-feature-settings:normal;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-transform:none;writing-mode:lr-tb;direction:ltr;text-orientation:mixed;dominant-baseline:auto;baseline-shift:baseline;white-space:pre;shape-inside:url(#rect8304);shape-padding:0;opacity:1;vector-effect:none;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;" /> + style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7.05556px;line-height:1.25;font-family:Cabin;-inkscape-font-specification:Cabin;font-variant-ligatures:normal;font-variant-position:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-feature-settings:normal;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:#000000;letter-spacing:0px;word-spacing:0px;text-transform:none;writing-mode:lr-tb;direction:ltr;text-orientation:mixed;dominant-baseline:auto;baseline-shift:baseline;white-space:pre;shape-inside:url(#rect8314);shape-padding:0;opacity:1;vector-effect:none;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;" /> + 7 + + 7 + + 7 + 7 + = + + + + B + 7 + + + C + 7 + + + D + 7 + + + + A + 7 + + + 7 + + 3 + + + + B + 7 + + + D + 7 + + + + A + 7 + + + + 3 + C + + + + + + + + + + + + + σ + + + + + + + + + + + 7 + C + B + A + D + + + + + + + + + + + + σ + + + + + + + + + + C D - - - - 7 - 7 - 7 - 7 - - - - - = - - - - B - C - D - A - - - - 7 - 7 - 7 - 7 - - - A - B - C - D - - - - 7 - 3 - 7 - 7 - - - - - - σ - - - B - C - D - A - - - - 7 - 3 - 7 - 7 - - σ