npm - @maci-protocol/website - Versions diffs - 0.0.0-ci.85bba2d → 0.0.0-ci.86ec64f - Mend

@maci-protocol/website 0.0.0-ci.85bba2d → 0.0.0-ci.86ec64f

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (89) hide show

package/static/img/circuits/tallyVotes.svg CHANGED Viewed

@@ -18,4 +18,4 @@
     </style>
   </defs>
-  <rect x="0" y="0" width="2565.347691553326" height="1499.993768697064" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(517.8468497956186 613.8964685925898) rotate(0 114.33810379333892 33.80052213620303)"><path d="M16.9 0 C73.19 -3.23, 130.79 -3.18, 211.78 0 M16.9 0 C92.83 0.63, 168.82 1.51, 211.78 0 M211.78 0 C222.82 1.28, 228.34 5.6, 228.68 16.9 M211.78 0 C224.67 0.71, 228.57 3.62, 228.68 16.9 M228.68 16.9 C228.23 26.67, 226.62 37.71, 228.68 50.7 M228.68 16.9 C228.23 25.45, 228.92 32.06, 228.68 50.7 M228.68 50.7 C229.05 63.1, 224.1 66.43, 211.78 67.6 M228.68 50.7 C230 61.15, 221.81 68.99, 211.78 67.6 M211.78 67.6 C166.79 69.94, 125 67.32, 16.9 67.6 M211.78 67.6 C166.5 68.08, 120.87 67.35, 16.9 67.6 M16.9 67.6 C5.93 68.32, 0.16 61.92, 0 50.7 M16.9 67.6 C3.93 65.55, -0.59 60.24, 0 50.7 M0 50.7 C-0.89 42.31, 0.73 38.02, 0 16.9 M0 50.7 C0.6 43.19, 0.56 33.53, 0 16.9 M0 16.9 C1.08 5.82, 5.22 -1.27, 16.9 0 M0 16.9 C-2.25 5.92, 4.31 -1.67, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(538.7950381226489 635.196990728793) rotate(0 93.38991546630854 12.5)"><text x="93.3899154663086" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#e03131" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Tally Votes Circuit</text></g><g stroke-linecap="round" transform="translate(274.8151306253857 96.12987726788646) rotate(0 70.68038597279167 30.528358897653305)"><path d="M15.26 0 C48.98 -1.4, 83.99 -2.3, 126.1 0 M15.26 0 C47.32 -1.17, 78.38 -0.57, 126.1 0 M126.1 0 C137.99 1.09, 143.33 3.62, 141.36 15.26 M126.1 0 C134.68 -0.75, 139.2 4.28, 141.36 15.26 M141.36 15.26 C139.62 23.34, 142.52 33.63, 141.36 45.79 M141.36 15.26 C141.01 25.61, 141.77 37.12, 141.36 45.79 M141.36 45.79 C142.7 56.52, 135.6 61.53, 126.1 61.06 M141.36 45.79 C141.33 55.8, 134.2 61.54, 126.1 61.06 M126.1 61.06 C93.91 62.22, 63.14 61.16, 15.26 61.06 M126.1 61.06 C91.71 59.65, 58.86 60.74, 15.26 61.06 M15.26 61.06 C4.66 61.69, -0.69 56.3, 0 45.79 M15.26 61.06 C4.76 60.28, 0.8 57.96, 0 45.79 M0 45.79 C-0.82 35.21, 1.73 24.7, 0 15.26 M0 45.79 C-0.84 36.03, 0.86 24.06, 0 15.26 M0 15.26 C-1.27 6.49, 3.31 1.37, 15.26 0 M0 15.26 C0.36 3.93, 5.64 -0.88, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(293.11556512112645 114.15823616553979) rotate(0 52.37995147705078 12.5)"><text x="52.37995147705078" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateRoot</text></g><g stroke-linecap="round" transform="translate(30.841281830089997 10) rotate(0 70.68038597279167 30.528358897653305)"><path d="M15.26 0 C48.59 -1.03, 84.37 1.94, 126.1 0 M15.26 0 C44.96 -1.62, 72.54 -1.18, 126.1 0 M126.1 0 C136.52 -0.65, 139.61 4.39, 141.36 15.26 M126.1 0 C135.37 -0.36, 143.09 5.71, 141.36 15.26 M141.36 15.26 C140.49 23.26, 139.65 32.67, 141.36 45.79 M141.36 15.26 C142.03 21.57, 141.94 28.2, 141.36 45.79 M141.36 45.79 C141.9 55.03, 137.29 61.93, 126.1 61.06 M141.36 45.79 C139.28 55.73, 136 59.85, 126.1 61.06 M126.1 61.06 C97.88 62.65, 73.62 60.66, 15.26 61.06 M126.1 61.06 C84.19 61.58, 44.66 61.9, 15.26 61.06 M15.26 61.06 C4.06 59.69, 0.27 55.95, 0 45.79 M15.26 61.06 C6.66 60.16, -0.19 54.83, 0 45.79 M0 45.79 C1.33 39.12, 1.55 33.95, 0 15.26 M0 45.79 C-0.48 37.91, 0.36 29.61, 0 15.26 M0 15.26 C0.82 3.86, 6.23 0.61, 15.26 0 M0 15.26 C2.2 5.15, 6.42 1.98, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(49.81171449477608 28.028358897653277) rotate(0 51.70995330810547 12.5)"><text x="51.70995330810547" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotRoot</text></g><g stroke-linecap="round" transform="translate(198.1205343879002 10.664576425954493) rotate(0 85.38362342154988 30.33022431103332)"><path d="M15.17 0 C45.98 0.14, 79.02 0.25, 155.6 0 M15.17 0 C63.84 1.2, 113.18 0.89, 155.6 0 M155.6 0 C167.59 -0.54, 170.58 3.32, 170.77 15.17 M155.6 0 C166.54 -0.78, 172.74 5.17, 170.77 15.17 M170.77 15.17 C171.55 23.62, 172.09 31.79, 170.77 45.5 M170.77 15.17 C170.66 22.85, 171.12 30.35, 170.77 45.5 M170.77 45.5 C170.42 53.68, 166.08 61.24, 155.6 60.66 M170.77 45.5 C172.23 54.11, 167.91 60.12, 155.6 60.66 M155.6 60.66 C122.55 61.6, 87.3 60.56, 15.17 60.66 M155.6 60.66 C113.52 60.53, 69.27 61.04, 15.17 60.66 M15.17 60.66 C6.02 59.4, 1.48 53.85, 0 45.5 M15.17 60.66 C5.76 62.4, 0.94 55.43, 0 45.5 M0 45.5 C0.29 36.94, 1.16 23.72, 0 15.17 M0 45.5 C0.5 37.99, -0.72 30.6, 0 15.17 M0 15.17 C1.12 5.33, 3.16 -0.24, 15.17 0 M0 15.17 C0.23 5.22, 4.11 1.71, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(207.3242185394305 15.99480073698777) rotate(0 76.17993927001953 25)"><text x="76.17993927001953" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateAndBallot</text><text x="76.17993927001953" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Salt</text></g><g stroke-linecap="round" transform="translate(386.1956629330326 15.362017250403198) rotate(0 85.38362342154988 30.330224311033334)"><path d="M15.17 0 C55.85 -0.75, 95.26 -0.43, 155.6 0 M15.17 0 C69.82 2.02, 123.89 0.85, 155.6 0 M155.6 0 C163.92 -1.81, 171.61 4.83, 170.77 15.17 M155.6 0 C163.95 -2.21, 170.59 3.82, 170.77 15.17 M170.77 15.17 C169.54 25.36, 171.24 36.89, 170.77 45.5 M170.77 15.17 C169.84 23.57, 170.11 32.37, 170.77 45.5 M170.77 45.5 C169.19 57.42, 167.12 60.43, 155.6 60.66 M170.77 45.5 C168.48 55.19, 163.43 62.57, 155.6 60.66 M155.6 60.66 C100.69 62.71, 46.09 59.35, 15.17 60.66 M155.6 60.66 C105.74 61.78, 54.4 61.42, 15.17 60.66 M15.17 60.66 C3.64 60.83, -1.19 53.7, 0 45.5 M15.17 60.66 C4.15 62.59, 1.29 55.6, 0 45.5 M0 45.5 C-0.29 39.5, 1.06 31.85, 0 15.17 M0 45.5 C0.85 37.67, -0.56 30.39, 0 15.17 M0 15.17 C-1.11 4.23, 4.37 0.76, 15.17 0 M0 15.17 C0.64 4.04, 5.18 0.68, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(419.0293290791918 33.19224156143656) rotate(0 52.549957275390625 12.5)"><text x="52.549957275390625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">packedVals</text></g><g stroke-linecap="round" transform="translate(580.0951227640153 18.387697500245793) rotate(0 85.38362342154983 30.330224311033334)"><path d="M15.17 0 C50.01 1.75, 90.78 0.04, 155.6 0 M15.17 0 C48.06 -0.12, 82.42 0.3, 155.6 0 M155.6 0 C164.5 1.59, 172.4 5.01, 170.77 15.17 M155.6 0 C167.77 -0.6, 172.25 5.18, 170.77 15.17 M170.77 15.17 C170.44 23.72, 171.68 32.98, 170.77 45.5 M170.77 15.17 C170.76 21.46, 170.99 27.08, 170.77 45.5 M170.77 45.5 C170.26 56.35, 164.21 60.42, 155.6 60.66 M170.77 45.5 C168.69 57.34, 167.31 61.32, 155.6 60.66 M155.6 60.66 C107.81 58.13, 64.83 61.6, 15.17 60.66 M155.6 60.66 C105.03 61.67, 54.03 61.34, 15.17 60.66 M15.17 60.66 C3.49 59.87, 1.07 55.87, 0 45.5 M15.17 60.66 C6.15 59.41, 0.25 54.27, 0 45.5 M0 45.5 C-0.82 34.75, 0.85 25.1, 0 15.17 M0 45.5 C0.32 35.25, -0.58 26.2, 0 15.17 M0 15.17 C0.99 6.89, 3.59 0.67, 15.17 0 M0 15.17 C1.45 2.84, 4.07 -0.85, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(587.5988252260922 23.717921811279155) rotate(0 77.87992095947266 25)"><text x="77.87992095947266" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateAndBallot</text><text x="77.87992095947266" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">TreeCommitment</text></g><g stroke-linecap="round" transform="translate(779.4763061581511 22.61044087758421) rotate(0 123.65868497225415 26.666798360507585)"><path d="M13.33 0 C58.01 1.16, 104.07 0.7, 233.98 0 M13.33 0 C79.02 1.66, 146.9 0.86, 233.98 0 M233.98 0 C244.23 0.84, 245.8 3.28, 247.32 13.33 M233.98 0 C244.38 -0.7, 246.29 3.15, 247.32 13.33 M247.32 13.33 C245.54 22.73, 247.08 29.48, 247.32 40 M247.32 13.33 C248.09 20.99, 248.04 29.59, 247.32 40 M247.32 40 C246.48 50.49, 243.07 55.27, 233.98 53.33 M247.32 40 C247.34 51.18, 245.14 51.19, 233.98 53.33 M233.98 53.33 C153.2 52.76, 74.18 50.34, 13.33 53.33 M233.98 53.33 C158.27 53.13, 84.61 53.27, 13.33 53.33 M13.33 53.33 C5.16 51.69, 0.8 47.65, 0 40 M13.33 53.33 C6.6 54.44, 2.06 48.79, 0 40 M0 40 C0.71 31.71, 0.43 21.16, 0 13.33 M0 40 C-0.38 31.7, -1.02 21.36, 0 13.33 M0 13.33 C1.89 4.01, 2.89 -1.17, 13.33 0 M0 13.33 C-2.17 5.69, 4.12 0.47, 13.33 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.7850994678074 36.777239238091795) rotate(0 114.34989166259766 12.5)"><text x="114.34989166259766" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentTallyCommitment</text></g><g stroke-linecap="round" transform="translate(443.82186911028873 95.7860843006215) rotate(0 123.6586849722542 26.666798360507585)"><path d="M13.33 0 C83.1 2.31, 152.09 2.55, 233.98 0 M13.33 0 C86.72 0.11, 158.69 0.31, 233.98 0 M233.98 0 C242.39 1.65, 246.79 5.18, 247.32 13.33 M233.98 0 C241.56 0.3, 248.85 3.22, 247.32 13.33 M247.32 13.33 C245.61 21.82, 247.34 31.65, 247.32 40 M247.32 13.33 C247.95 22.23, 247.26 31.33, 247.32 40 M247.32 40 C249.09 49.32, 242.26 51.59, 233.98 53.33 M247.32 40 C247.45 49.58, 242.06 54.32, 233.98 53.33 M233.98 53.33 C158.33 54.46, 82.58 53.5, 13.33 53.33 M233.98 53.33 C179.37 51.55, 124.23 52.88, 13.33 53.33 M13.33 53.33 C3.58 54.55, 0.57 48.98, 0 40 M13.33 53.33 C4.76 52.79, 2.12 48.99, 0 40 M0 40 C-0.19 31.88, -1.26 19.71, 0 13.33 M0 40 C0.76 31.7, 0.48 23.35, 0 13.33 M0 13.33 C-0.36 5.2, 2.75 0.89, 13.33 0 M0 13.33 C-2.25 4.94, 5.93 1.77, 13.33 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(471.9906401421132 109.95288266112908) rotate(0 95.48991394042963 12.5)"><text x="95.48991394042969" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newTallyCommitment</text></g><g stroke-linecap="round" transform="translate(736.600807174364 97.75711065710146) rotate(0 138.97283739642387 29.94840245140105)"><path d="M14.97 0 C114.23 -1.38, 212.47 0.75, 262.97 0 M14.97 0 C101.45 -1.81, 188.95 -1.89, 262.97 0 M262.97 0 C271.47 -0.37, 279.45 3.12, 277.95 14.97 M262.97 0 C274.65 -0.94, 280.2 3.21, 277.95 14.97 M277.95 14.97 C277.29 23.02, 277.09 30.57, 277.95 44.92 M277.95 14.97 C278.67 26.9, 276.83 36.99, 277.95 44.92 M277.95 44.92 C277.58 54.45, 271.64 60.67, 262.97 59.9 M277.95 44.92 C276.02 54.59, 272.51 59.48, 262.97 59.9 M262.97 59.9 C190.72 59.72, 120.04 59.96, 14.97 59.9 M262.97 59.9 C174.52 61.15, 87.39 61.05, 14.97 59.9 M14.97 59.9 C4.9 58.17, 0.93 54.95, 0 44.92 M14.97 59.9 C3.91 60.84, -0.77 54.88, 0 44.92 M0 44.92 C-0.99 34.19, -0.82 25.95, 0 14.97 M0 44.92 C1 37.9, -0.33 32.67, 0 14.97 M0 14.97 C1.21 5.55, 5.31 0.81, 14.97 0 M0 14.97 C-1.38 4.59, 2.78 -0.99, 14.97 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(763.7237605375849 115.20551310850243) rotate(0 111.84988403320312 12.5)"><text x="111.84988403320312" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">inputHash (public input)</text></g><g stroke-linecap="round" transform="translate(10 269.61822553049905) rotate(0 70.68038597279167 30.528358897653277)"><path d="M15.26 0 C57.79 -0.95, 96.94 0.94, 126.1 0 M15.26 0 C40.34 -1.34, 63.68 -1, 126.1 0 M126.1 0 C138.16 -1.44, 140.17 5.34, 141.36 15.26 M126.1 0 C137.31 1.07, 142.83 4.62, 141.36 15.26 M141.36 15.26 C142.65 25.91, 141.39 34.44, 141.36 45.79 M141.36 15.26 C141.24 22.37, 140.64 27.8, 141.36 45.79 M141.36 45.79 C143.12 57.23, 135.16 60.01, 126.1 61.06 M141.36 45.79 C139.75 54.3, 133.98 59.27, 126.1 61.06 M126.1 61.06 C84.94 62.38, 40.74 61.07, 15.26 61.06 M126.1 61.06 C98.32 61.86, 68.64 62.15, 15.26 61.06 M15.26 61.06 C5 59.24, 1.73 57.35, 0 45.79 M15.26 61.06 C5.61 59.85, -0.25 54.97, 0 45.79 M0 45.79 C1.33 35.77, 1.09 25.46, 0 15.26 M0 45.79 C-0.59 34.95, 0.31 26.16, 0 15.26 M0 15.26 C-0.93 6.33, 4.2 0.54, 15.26 0 M0 15.26 C1.73 6.29, 6.32 1.46, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(42.050419236951825 275.14658442815227) rotate(0 38.629966735839844 25)"><text x="38.629966735839844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots </text><text x="38.629966735839844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(array)</text></g><g stroke-linecap="round" transform="translate(12.063901943958285 182.38947377105058) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C83.18 1.32, 152.18 0.58, 204.03 0 M16.09 0 C79.57 0.71, 144.42 2.63, 204.03 0 M204.03 0 C215.49 0.2, 218.4 4.81, 220.12 16.09 M204.03 0 C214.79 -1.03, 221.51 3.92, 220.12 16.09 M220.12 16.09 C221.03 24.27, 218.87 35.08, 220.12 48.27 M220.12 16.09 C219.79 24.06, 219.06 33.52, 220.12 48.27 M220.12 48.27 C221.45 58.16, 213.02 64.67, 204.03 64.35 M220.12 48.27 C220.85 61.21, 215.51 62.89, 204.03 64.35 M204.03 64.35 C159.53 63.62, 111.39 61.97, 16.09 64.35 M204.03 64.35 C134.3 64.53, 62.81 64.19, 16.09 64.35 M16.09 64.35 C4.43 64.88, -1.6 60.09, 0 48.27 M16.09 64.35 C6.7 66.08, 1.09 56.84, 0 48.27 M0 48.27 C1.09 40.28, -0.58 29.95, 0 16.09 M0 48.27 C-0.85 36.58, 0.51 23.9, 0 16.09 M0 16.09 C-0.1 6.52, 4.2 1.88, 16.09 0 M0 16.09 C-1.46 4.52, 6.52 -0.02, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(27.661557944395213 202.0668903219265) rotate(0 94.45991516113281 12.5)"><text x="94.45991516113281" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotPathElements</text></g><g stroke-linecap="round" transform="translate(191.8132500471637 269.5274138449651) rotate(0 70.68038597279167 30.528358897653277)"><path d="M15.26 0 C47.83 -1.16, 85.47 -0.08, 126.1 0 M15.26 0 C56.88 -0.3, 99.45 -0.2, 126.1 0 M126.1 0 C136.08 0.8, 141.62 6.56, 141.36 15.26 M126.1 0 C136.45 1.14, 142.08 3.09, 141.36 15.26 M141.36 15.26 C139.82 27.87, 140.67 37.85, 141.36 45.79 M141.36 15.26 C140.71 24.08, 141.84 33.9, 141.36 45.79 M141.36 45.79 C140.58 54.26, 134.28 59.86, 126.1 61.06 M141.36 45.79 C143.45 53.92, 134.17 59.28, 126.1 61.06 M126.1 61.06 C86.47 62.45, 44.91 60.01, 15.26 61.06 M126.1 61.06 C87.53 61.72, 47.38 60.27, 15.26 61.06 M15.26 61.06 C6.95 61.87, 0.02 54.51, 0 45.79 M15.26 61.06 C4.89 61.8, 2.04 54.27, 0 45.79 M0 45.79 C-1.42 40.42, -0.76 32.1, 0 15.26 M0 45.79 C0.93 39.16, 0.61 31.88, 0 15.26 M0 15.26 C1.46 5.13, 5.56 0.1, 15.26 0 M0 15.26 C-1.16 5.36, 3.95 2.03, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(228.333662875424 275.05577274261833) rotate(0 34.15997314453125 25)"><text x="34.15997314453125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes </text><text x="34.15997314453125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(array)</text></g><g stroke-linecap="round" transform="translate(23.202780735500482 96.60751727431688) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C70.78 -0.01, 123.49 -1.25, 204.03 0 M16.09 0 C57.49 1.26, 97.94 0.87, 204.03 0 M204.03 0 C216.35 -1.48, 220.29 6.79, 220.12 16.09 M204.03 0 C215.25 0.57, 217.87 4.82, 220.12 16.09 M220.12 16.09 C219.53 28.87, 221.91 38.86, 220.12 48.27 M220.12 16.09 C220.92 25.05, 219.69 33.47, 220.12 48.27 M220.12 48.27 C221.29 58.04, 214.98 64.44, 204.03 64.35 M220.12 48.27 C220.71 59.67, 215.4 63.93, 204.03 64.35 M204.03 64.35 C139.43 63.73, 74.64 62.33, 16.09 64.35 M204.03 64.35 C135.19 64.21, 65.05 65.58, 16.09 64.35 M16.09 64.35 C4.03 64.05, 1.83 57.97, 0 48.27 M16.09 64.35 C4.38 66.31, 0.48 59.87, 0 48.27 M0 48.27 C1.05 37.43, 0.81 28.06, 0 16.09 M0 48.27 C0.18 41.54, -0.41 34.98, 0 16.09 M0 16.09 C1.1 6.76, 6.39 1.34, 16.09 0 M0 16.09 C0.25 4.87, 3.25 -0.73, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(61.10042452890616 116.28493382519275) rotate(0 72.15992736816406 12.5)"><text x="72.15992736816406" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentResults</text></g><g stroke-linecap="round" transform="translate(266.99087835584 181.52057105264402) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C65.89 -1.89, 116.14 -1, 204.03 0 M16.09 0 C68.97 0.33, 123.11 -0.1, 204.03 0 M204.03 0 C214.71 0.52, 222.09 6.43, 220.12 16.09 M204.03 0 C216.03 1.73, 222.11 4.66, 220.12 16.09 M220.12 16.09 C220.26 25.19, 219.24 32.17, 220.12 48.27 M220.12 16.09 C220.28 25.83, 219.81 35.62, 220.12 48.27 M220.12 48.27 C220.72 59.56, 215.91 64.52, 204.03 64.35 M220.12 48.27 C218.71 58.27, 214.81 66.25, 204.03 64.35 M204.03 64.35 C149.82 63.15, 94.3 61.63, 16.09 64.35 M204.03 64.35 C139.92 63.99, 75.03 64.9, 16.09 64.35 M16.09 64.35 C5.74 63.29, 1.05 57.65, 0 48.27 M16.09 64.35 C6.79 63.52, -2.1 59.77, 0 48.27 M0 48.27 C-1.89 37.49, -1.67 28.13, 0 16.09 M0 48.27 C0.84 39.12, 0.16 29.78, 0 16.09 M0 16.09 C1.78 4.74, 6.96 0.26, 16.09 0 M0 16.09 C0.76 4.25, 6.86 0.69, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(275.2985486995386 188.6979876035199) rotate(0 101.7499008178711 25)"><text x="101.7499008178711" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentResultsRootS</text><text x="101.7499008178711" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">alt</text></g><g stroke-linecap="round" transform="translate(780.0769016238432 175.80356266788) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C79.37 0.34, 141.5 0.53, 204.03 0 M16.09 0 C65.96 0.48, 113.49 1.17, 204.03 0 M204.03 0 C214.37 1.73, 219.4 4.71, 220.12 16.09 M204.03 0 C216.32 -2.11, 222.25 5.8, 220.12 16.09 M220.12 16.09 C220.05 23.57, 217.81 32.69, 220.12 48.27 M220.12 16.09 C219.87 25.07, 220.57 34.21, 220.12 48.27 M220.12 48.27 C221.32 58.9, 214.11 63.5, 204.03 64.35 M220.12 48.27 C220.6 60.76, 216.03 65.08, 204.03 64.35 M204.03 64.35 C130.51 66.05, 58.6 63.28, 16.09 64.35 M204.03 64.35 C154.8 64.11, 106.38 63.69, 16.09 64.35 M16.09 64.35 C5.32 65.88, 1.71 57.22, 0 48.27 M16.09 64.35 C6.35 62.11, -0.84 59.55, 0 48.27 M0 48.27 C-1.33 35.09, 0.11 23.74, 0 16.09 M0 48.27 C0.51 39.91, -0.62 30.93, 0 16.09 M0 16.09 C1.57 5.29, 5.3 -0.66, 16.09 0 M0 16.09 C-1.16 3.15, 5.58 -2.12, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.6445741037724 182.98097921875592) rotate(0 101.48989868164062 25)"><text x="101.48989868164062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentSpentVoiceCre</text><text x="101.48989868164062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ditSubtotal</text></g><g stroke-linecap="round" transform="translate(357.00796164157634 272.56240595327967) rotate(0 124.30262237876906 30)"><path d="M15 0 C68.9 0.06, 122.61 2.11, 233.61 0 M15 0 C68.93 -0.04, 124.5 -0.57, 233.61 0 M233.61 0 C245.22 1.25, 248.92 4.21, 248.61 15 M233.61 0 C241.83 -0.93, 247.41 5.58, 248.61 15 M248.61 15 C250.22 20.79, 249.96 27.07, 248.61 45 M248.61 15 C247.62 24.44, 248.39 32.21, 248.61 45 M248.61 45 C248.38 53.75, 244.14 58.13, 233.61 60 M248.61 45 C246.77 56.79, 243.14 60.55, 233.61 60 M233.61 60 C172.18 59.48, 111.85 60.04, 15 60 M233.61 60 C155.73 61.78, 79.42 61.99, 15 60 M15 60 C4.86 60.42, 0.92 53.1, 0 45 M15 60 C6.66 59.58, 1.68 53.93, 0 45 M0 45 C0.37 34.7, -1.4 28.01, 0 15 M0 45 C-0.46 33.79, -1.12 22.94, 0 15 M0 15 C-1.81 5.96, 5.09 1.64, 15 0 M0 15 C-1.53 5.71, 5.38 -1.21, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(366.29070181819714 277.56240595327967) rotate(0 115.0198822021485 25)"><text x="115.01988220214844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentSpentVoiceCredit</text><text x="115.01988220214844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">SubtotalSalt</text></g><g stroke-linecap="round" transform="translate(517.2472446685452 177.551816608284) rotate(0 110.0575711615698 32.177416550875904)"><path d="M16.09 0 C61.23 -0.09, 109.08 0.32, 204.03 0 M16.09 0 C70.33 1.35, 123.02 -0.02, 204.03 0 M204.03 0 C216.01 0.39, 220.61 3.63, 220.12 16.09 M204.03 0 C213.31 0.76, 218.23 4.35, 220.12 16.09 M220.12 16.09 C221.37 22.89, 220.15 28.56, 220.12 48.27 M220.12 16.09 C219.77 23.84, 220.02 32.9, 220.12 48.27 M220.12 48.27 C219.49 57.17, 215.81 64.34, 204.03 64.35 M220.12 48.27 C218.01 57.64, 216.31 62.45, 204.03 64.35 M204.03 64.35 C151.78 62.38, 95.8 62.45, 16.09 64.35 M204.03 64.35 C163.11 65.18, 121.36 66.7, 16.09 64.35 M16.09 64.35 C5.88 63.34, 1.21 58.66, 0 48.27 M16.09 64.35 C5.46 65.52, 0.79 58.08, 0 48.27 M0 48.27 C0.44 37.54, -0.86 27.51, 0 16.09 M0 48.27 C0.14 39.59, 0.81 29.88, 0 16.09 M0 16.09 C1.33 3.95, 5.84 1.39, 16.09 0 M0 16.09 C-1.04 3.55, 5.59 0.93, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(523.7049165381228 184.72923315915995) rotate(0 103.59989929199213 25)"><text x="103.59989929199219" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentPerVOSpentVoi</text><text x="103.59989929199219" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ceCredits</text></g><g stroke-linecap="round" transform="translate(643.7355392059662 277.8686735514718) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C72.42 1.09, 132.82 2.62, 204.03 0 M16.09 0 C87.57 2.27, 159.73 0.53, 204.03 0 M204.03 0 C216.08 -0.92, 218.48 6.01, 220.12 16.09 M204.03 0 C212.82 -2.26, 219.87 7.6, 220.12 16.09 M220.12 16.09 C221.13 30.26, 218.72 42.26, 220.12 48.27 M220.12 16.09 C219.42 27.31, 219.68 40.04, 220.12 48.27 M220.12 48.27 C221.7 58.5, 213.46 65.32, 204.03 64.35 M220.12 48.27 C218.78 60.79, 214.1 62.66, 204.03 64.35 M204.03 64.35 C163.89 66.3, 128.12 65.33, 16.09 64.35 M204.03 64.35 C139.81 63.51, 74.48 63.96, 16.09 64.35 M16.09 64.35 C4.99 63.02, 0.73 60.81, 0 48.27 M16.09 64.35 C7.01 63.6, 0.77 60.67, 0 48.27 M0 48.27 C0.5 41.89, 1.58 29.75, 0 16.09 M0 48.27 C-0.62 36.33, 0.48 24.43, 0 16.09 M0 16.09 C-1.19 3.74, 6.05 0.25, 16.09 0 M0 16.09 C1.73 5.92, 3.31 -1.52, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(650.1932110755438 285.0460901023477) rotate(0 103.59989929199219 25)"><text x="103.59989929199219" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentPerVOSpentVoi</text><text x="103.59989929199219" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ceCreditsRootSalt</text></g><g stroke-linecap="round" transform="translate(266.6111203981519 366.3131925497832) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C83.96 0.81, 156.53 -0.12, 204.03 0 M16.09 0 C88.61 -0.39, 160.94 -1.67, 204.03 0 M204.03 0 C214.24 -0.96, 219.67 4.83, 220.12 16.09 M204.03 0 C215.47 1.54, 220.87 6.46, 220.12 16.09 M220.12 16.09 C219.8 27.04, 221.71 41.22, 220.12 48.27 M220.12 16.09 C219.39 23.48, 220.34 31.46, 220.12 48.27 M220.12 48.27 C220.44 60.43, 214.44 64.12, 204.03 64.35 M220.12 48.27 C220.45 61, 216.18 66.24, 204.03 64.35 M204.03 64.35 C141.09 63.98, 79.78 64.58, 16.09 64.35 M204.03 64.35 C161.19 65.2, 120.25 66.06, 16.09 64.35 M16.09 64.35 C6.29 65.46, -0.15 58.31, 0 48.27 M16.09 64.35 C6.57 63.95, -0.88 57.68, 0 48.27 M0 48.27 C0.76 37.31, -1.83 25.81, 0 16.09 M0 48.27 C-0.46 39.27, -0.92 29.67, 0 16.09 M0 16.09 C-1.57 7.04, 3.41 1.28, 16.09 0 M0 16.09 C-1.62 7.52, 3.96 1.5, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(278.82877914517087 385.9906091006591) rotate(0 97.83991241455078 12.5)"><text x="97.83991241455078" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newResultsRootSalt</text></g><g stroke-linecap="round" transform="translate(13.593253284431626 365.0377011484165) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C62.57 0.23, 108.35 -2.36, 204.03 0 M16.09 0 C85.33 -1.79, 155.08 -2.25, 204.03 0 M204.03 0 C215.58 -1.57, 221.79 3.41, 220.12 16.09 M204.03 0 C216.22 -1.62, 222.27 3.96, 220.12 16.09 M220.12 16.09 C219.34 26.15, 220.76 40.67, 220.12 48.27 M220.12 16.09 C219.5 23.64, 220.48 29.53, 220.12 48.27 M220.12 48.27 C219.9 57.03, 216.3 63.6, 204.03 64.35 M220.12 48.27 C219.65 59.53, 214.89 63.06, 204.03 64.35 M204.03 64.35 C159.48 61.28, 118.45 65.15, 16.09 64.35 M204.03 64.35 C153.03 63.85, 101.79 65.21, 16.09 64.35 M16.09 64.35 C6.8 63.63, 0.54 58.72, 0 48.27 M16.09 64.35 C5.03 64.93, 1.88 60.91, 0 48.27 M0 48.27 C-1.25 37.25, 1.75 23.64, 0 16.09 M0 48.27 C1.26 37.07, 1.22 25.03, 0 16.09 M0 16.09 C-1.78 5.7, 5.98 1.33, 16.09 0 M0 16.09 C1.45 4.22, 7.57 -1.42, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(21.980917829790428 372.2151176992924) rotate(0 101.66990661621094 25)"><text x="101.66990661621094" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newPerVOSpentVoiceC</text><text x="101.66990661621094" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">reditsRootSalt</text></g><g stroke-linecap="round" transform="translate(536.9657638411214 357.1018915839049) rotate(0 110.0575711615698 32.17741655087593)"><path d="M16.09 0 C56.85 -0.66, 92.06 -0.56, 204.03 0 M16.09 0 C77.78 -0.22, 139.85 -1.67, 204.03 0 M204.03 0 C214.34 -1.28, 220.06 7.29, 220.12 16.09 M204.03 0 C216.77 -0.68, 220.46 6.32, 220.12 16.09 M220.12 16.09 C221.51 24.68, 219.77 36.4, 220.12 48.27 M220.12 16.09 C220.67 26.31, 219.88 36.25, 220.12 48.27 M220.12 48.27 C219.24 57.49, 215.44 66.04, 204.03 64.35 M220.12 48.27 C219.98 60.14, 213.63 64.56, 204.03 64.35 M204.03 64.35 C136.25 63.98, 73.13 65.62, 16.09 64.35 M204.03 64.35 C143.14 64.68, 81.74 64.59, 16.09 64.35 M16.09 64.35 C7.01 62.76, -0.83 57.28, 0 48.27 M16.09 64.35 C5.28 66.37, -0.34 58.03, 0 48.27 M0 48.27 C-0.93 39.81, 1.32 27.22, 0 16.09 M0 48.27 C0.63 37.12, -0.63 25.77, 0 16.09 M0 16.09 C1.96 4.84, 7.29 -0.61, 16.09 0 M0 16.09 C1.12 5.5, 6.25 1.44, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(544.7834363210505 364.2793081347808) rotate(0 102.23989868164057 25)"><text x="102.23989868164062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newSpentVoiceCreditS</text><text x="102.23989868164062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ubtotalSalt</text></g><g stroke-linecap="round"><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M-1.16 -0.97 C-1.45 12.37, -2.28 67.64, -2.11 81.17 M0.42 1.13 C0.55 14.65, 0.23 66.09, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M-8.28 55.92 C-7.46 60.64, -2.25 70.22, 0.1 79.47 M-8.28 55.92 C-6.85 63.32, -3.39 69.98, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M8.82 56.04 C5.11 60.57, 5.78 70.11, 0.1 79.47 M8.82 56.04 C5.34 63.43, 3.89 70.05, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(649.1512625237958 497.939590852403) rotate(0 31.809967041015625 12.5)"><text x="0" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Inputs</text></g><g stroke-linecap="round"><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M0.11 -0.41 C38.68 -4.43, 192.34 -19.1, 230.8 -23.08 M-1.29 -1.67 C37.22 -5.5, 191.52 -21.16, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M207.61 -13.94 C212.49 -15.71, 220.31 -18.21, 230.16 -24.74 M207.61 -13.94 C213.06 -17.74, 219.12 -19.89, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M205.95 -30.96 C211.39 -28.46, 219.63 -26.69, 230.16 -24.74 M205.95 -30.96 C211.98 -30.12, 218.49 -27.63, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1068.4076690157722 76.6330906873581) rotate(0 134.7272739645182 56.817925724212444)"><path d="M28.41 0 C86.16 1.01, 147.05 1.74, 241.05 0 M28.41 0 C75.39 0.01, 122.67 1.1, 241.05 0 M241.05 0 C259.6 0.79, 267.67 10.83, 269.45 28.41 M241.05 0 C259.58 -0.4, 271.25 10.56, 269.45 28.41 M269.45 28.41 C270.4 45.7, 270.87 65.99, 269.45 85.23 M269.45 28.41 C270.23 39.88, 269.12 51.99, 269.45 85.23 M269.45 85.23 C271.07 102.26, 260.32 113.6, 241.05 113.64 M269.45 85.23 C267.9 104.25, 259.2 113.62, 241.05 113.64 M241.05 113.64 C177.15 110.22, 115.77 112.46, 28.41 113.64 M241.05 113.64 C188.13 111.72, 134.98 112.72, 28.41 113.64 M28.41 113.64 C7.8 113.82, 0.26 102.73, 0 85.23 M28.41 113.64 C9.28 112.34, -0.56 105.76, 0 85.23 M0 85.23 C0.51 73.16, -0.11 62.23, 0 28.41 M0 85.23 C-0.36 65.35, 1.5 45.67, 0 28.41 M0 28.41 C1.83 8.51, 8.74 0.1, 28.41 0 M0 28.41 C-0.15 8.05, 7.58 -1.77, 28.41 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1076.845041246892 95.95101641157055) rotate(0 126.28990173339844 37.5)"><text x="126.28990173339844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">1. verify state and ballot</text><text x="126.28990173339844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">root commitment </text><text x="126.28990173339844" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(sbCommitment)</text></g><g transform="translate(835.4534528920151 506.9384420969274) rotate(0 49.669944763183594 12.5)"><text x="0" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Processing</text></g><g stroke-linecap="round"><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M0.08 -0.98 C20.85 -2.2, 102.91 -5.51, 123.62 -6.24 M-1.34 1.13 C19.36 0.63, 101.79 -3.25, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M99.69 5.2 C102.9 3.08, 109.69 2.18, 122.68 -4.62 M99.69 5.2 C108.94 1.95, 117.25 -2.92, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M98.75 -11.88 C102.32 -10.33, 109.32 -7.58, 122.68 -4.62 M98.75 -11.88 C108.42 -8.52, 117.09 -6.77, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1480.9262539797019 70.53188686001079) rotate(0 160.23457477676288 53.48255786656648)"><path d="M26.74 0 C79.67 0.93, 134.69 1.03, 293.73 0 M26.74 0 C121.26 1.11, 213.56 -0.03, 293.73 0 M293.73 0 C312.37 -1.81, 320.44 7.51, 320.47 26.74 M293.73 0 C313.56 1.09, 321.18 8.58, 320.47 26.74 M320.47 26.74 C319.12 38.43, 319.88 51.03, 320.47 80.22 M320.47 26.74 C320.63 42.43, 320.66 57.78, 320.47 80.22 M320.47 80.22 C319.51 98.79, 310.94 107.05, 293.73 106.97 M320.47 80.22 C318.91 100, 310.68 105.24, 293.73 106.97 M293.73 106.97 C201.59 107.5, 110.24 105.85, 26.74 106.97 M293.73 106.97 C216.12 108.51, 138.86 108.58, 26.74 106.97 M26.74 106.97 C7.28 107.33, -1.39 96.09, 0 80.22 M26.74 106.97 C9.22 106.43, -1.95 98.84, 0 80.22 M0 80.22 C-1.98 61.52, 1.28 44.09, 0 26.74 M0 80.22 C-0.5 63.88, 0.68 49.92, 0 26.74 M0 26.74 C0.02 7.43, 9.25 1.56, 26.74 0 M0 26.74 C-1.13 6.67, 6.7 1.3, 26.74 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1519.9909297696483 86.51444472657727) rotate(0 121.16989898681652 37.5)"><text x="121.1698989868164" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">hash3( stateTreeRoot, </text><text x="121.1698989868164" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotTreeRoot, </text><text x="121.1698989868164" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">saltAndBallotSalt)</text></g><g stroke-linecap="round" transform="translate(1081.0231174443206 208.7300319126395) rotate(0 126.89967642472766 59.3983285600263)"><path d="M29.7 0 C77.93 2.41, 126.27 1.32, 224.1 0 M29.7 0 C85.82 -0.22, 141.51 0.75, 224.1 0 M224.1 0 C242.55 0.37, 252.33 8.92, 253.8 29.7 M224.1 0 C245.71 0.76, 255.17 7.76, 253.8 29.7 M253.8 29.7 C253.9 49.4, 254.23 68.91, 253.8 89.1 M253.8 29.7 C253.55 42.41, 252.79 53.23, 253.8 89.1 M253.8 89.1 C254.96 107.95, 244.89 120.31, 224.1 118.8 M253.8 89.1 C252.73 109.94, 242.63 119.29, 224.1 118.8 M224.1 118.8 C170.85 116.88, 116.6 117.62, 29.7 118.8 M224.1 118.8 C185.27 117.42, 145.58 118.04, 29.7 118.8 M29.7 118.8 C10.02 120.07, -1.64 110.86, 0 89.1 M29.7 118.8 C9.38 120.42, 2.1 110.7, 0 89.1 M0 89.1 C-0.89 74.2, 1.63 63.04, 0 29.7 M0 89.1 C-0.27 68.48, -0.28 48.83, 0 29.7 M0 29.7 C-0.18 8.23, 11.44 0.22, 29.7 0 M0 29.7 C0.83 11.46, 10.67 1.03, 29.7 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1089.592898849517 243.1283604726658) rotate(0 118.32989501953125 25.00000000000003)"><text x="118.32989501953125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2. verify the inputHash </text><text x="118.32989501953125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(the only public input)</text></g><g stroke-linecap="round"><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M0.39 -0.06 C19.12 -1.55, 94.56 -6.82, 113.41 -8.17 M-0.87 -1.14 C17.66 -2.53, 93.71 -5.85, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M89.62 2.82 C98.27 -0.25, 106.53 -3.81, 112.68 -6.84 M89.62 2.82 C95.9 0.19, 102.23 -1.52, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M88.81 -14.26 C97.88 -10.81, 106.45 -7.84, 112.68 -6.84 M88.81 -14.26 C95.46 -12.33, 102.01 -9.48, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1473.4984936328037 214.19739367915025) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C61.25 -0.49, 96.05 0.35, 192.62 0 M27.5 0 C86.67 1.74, 145.18 1.46, 192.62 0 M192.62 0 C210.42 -0.89, 220.95 7.96, 220.12 27.5 M192.62 0 C212.42 0.79, 220.27 7.8, 220.12 27.5 M220.12 27.5 C220.14 49.71, 220.45 69.04, 220.12 82.5 M220.12 27.5 C219.57 48.66, 220.31 69.48, 220.12 82.5 M220.12 82.5 C221.82 101.29, 212.49 108.55, 192.62 110 M220.12 82.5 C218.6 102.41, 208.83 109.57, 192.62 110 M192.62 110 C148.75 109.11, 100.62 108.72, 27.5 110 M192.62 110 C131.86 109.64, 73.51 109.87, 27.5 110 M27.5 110 C7.9 110.27, 1.37 100.73, 0 82.5 M27.5 110 C10.36 110.85, 1.16 99.29, 0 82.5 M0 82.5 C0 70.59, 0.05 55.77, 0 27.5 M0 82.5 C0.49 65.33, -0.39 49.35, 0 27.5 M0 27.5 C0.66 7.43, 8.85 -1.56, 27.5 0 M0 27.5 C1.29 10.47, 10.4 2.04, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1482.7061578729868 244.19739367915025) rotate(0 100.84990692138672 25)"><text x="100.84990692138672" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">TallyVotesInputHash</text><text x="100.84990692138672" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">er component</text></g><g stroke-linecap="round" transform="translate(1712.9754580881586 212.39394458672888) rotate(0 231.85483863891614 57.215831729189176)"><path d="M28.61 0 C164.65 -0.63, 299.55 -0.25, 435.1 0 M28.61 0 C127.17 -1.48, 225.82 -1.48, 435.1 0 M435.1 0 C455.29 -1.77, 465.14 8.43, 463.71 28.61 M435.1 0 C455.4 1.84, 463.76 10.77, 463.71 28.61 M463.71 28.61 C464.17 47.99, 463.92 67.42, 463.71 85.82 M463.71 28.61 C463.74 47.54, 463.7 65.07, 463.71 85.82 M463.71 85.82 C463.18 105.4, 454.08 115.59, 435.1 114.43 M463.71 85.82 C465.26 105.82, 453.16 115.49, 435.1 114.43 M435.1 114.43 C310.32 114.83, 184.86 115.36, 28.61 114.43 M435.1 114.43 C348.02 115.21, 259.79 115, 28.61 114.43 M28.61 114.43 C7.97 113.48, 1.33 103.25, 0 85.82 M28.61 114.43 C11.56 115.3, -1.34 106.14, 0 85.82 M0 85.82 C0.93 74.7, -0.77 61.12, 0 28.61 M0 85.82 C-0.24 64.93, -0.91 44.43, 0 28.61 M0 28.61 C1.26 9.84, 8.03 -1.28, 28.61 0 M0 28.61 C-0.62 11.51, 11.25 2.29, 28.61 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1719.2605030259028 244.60977631591805) rotate(0 225.56979370117188 25)"><text x="225.56979370117188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">inputs: sbCommitment, currentTallyCommitment,</text><text x="225.56979370117188" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newTallyCommitment, packedVals, inputHash</text></g><g stroke-linecap="round" transform="translate(1048.673448808577 348.54528000971067) rotate(0 178.5978782182391 62.11394901169069)"><path d="M31.06 0 C131.85 0.48, 228.61 -0.06, 326.14 0 M31.06 0 C142.68 1.67, 255.49 1.39, 326.14 0 M326.14 0 C348.26 -1.66, 358.05 11.46, 357.2 31.06 M326.14 0 C347.88 0.91, 357.47 9.4, 357.2 31.06 M357.2 31.06 C356.07 46.21, 356.92 58.56, 357.2 93.17 M357.2 31.06 C357.43 49.97, 356.59 68.3, 357.2 93.17 M357.2 93.17 C357.23 112.51, 345.79 125.99, 326.14 124.23 M357.2 93.17 C354.96 112.33, 348.95 125.09, 326.14 124.23 M326.14 124.23 C246.35 126.88, 166.79 124.86, 31.06 124.23 M326.14 124.23 C234.29 125.19, 142.1 125.62, 31.06 124.23 M31.06 124.23 C8.64 122.74, 1.54 114.36, 0 93.17 M31.06 124.23 C11.25 123.51, 0.89 112.37, 0 93.17 M0 93.17 C-0.18 73.89, -0.57 49.92, 0 31.06 M0 93.17 C0.84 72.31, 0.34 49.29, 0 31.06 M0 31.06 C-1.97 12.23, 9.67 -1.48, 31.06 0 M0 31.06 C-1.48 8.44, 12.52 1.57, 31.06 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1058.5514478764255 373.15922902140136) rotate(0 168.71987915039062 37.5)"><text x="168.71987915039062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">3. Validate that the batch start</text><text x="168.71987915039062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">index is &lt;= than the number of </text><text x="168.71987915039062" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">signups</text></g><g stroke-linecap="round" transform="translate(1102.038228298699 497.7820786115755) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C84.43 1.1, 142.52 0.4, 192.62 0 M27.5 0 C74.9 1.84, 124.83 1.09, 192.62 0 M192.62 0 C209 -1.59, 221.69 9.38, 220.12 27.5 M192.62 0 C210.27 0, 221.22 7.85, 220.12 27.5 M220.12 27.5 C219.7 47.28, 219.16 70.61, 220.12 82.5 M220.12 27.5 C220.59 45.34, 218.99 63.87, 220.12 82.5 M220.12 82.5 C219.93 99.5, 209.23 109.57, 192.62 110 M220.12 82.5 C221.6 99.41, 211.23 110.47, 192.62 110 M192.62 110 C141.66 110.55, 92.47 110.93, 27.5 110 M192.62 110 C130.31 108.88, 67.06 110.74, 27.5 110 M27.5 110 C7.67 108.04, -1.97 101.73, 0 82.5 M27.5 110 C7.71 108.83, 0.54 100.91, 0 82.5 M0 82.5 C-0.39 71.65, -0.88 60.9, 0 27.5 M0 82.5 C0.3 64.27, 0.44 48.17, 0 27.5 M0 27.5 C0.73 7.46, 7.31 1.61, 27.5 0 M0 27.5 C0.68 11.3, 10.15 1.17, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1110.10587026105 502.7820786115755) rotate(0 101.98992919921875 50)"><text x="101.98992919921875" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">4. Hash each ballot </text><text x="101.98992919921875" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">and generate the </text><text x="101.98992919921875" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">subroot of the </text><text x="101.98992919921875" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots</text></g><g stroke-linecap="round"><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M0.07 0.87 C9.56 1.03, 47.09 1.04, 56.48 0.77 M-1.36 0.28 C8.02 0.12, 46.07 -0.94, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M32.23 7.98 C39.83 5.76, 45.76 3.38, 55.58 -0.96 M32.23 7.98 C37.95 6.07, 43.91 2.85, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M31.95 -9.12 C39.59 -6.85, 45.59 -4.75, 55.58 -0.96 M31.95 -9.12 C37.61 -6.98, 43.64 -6.16, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1480.5190969264277 480.7566003276174) rotate(0 148.9439038532455 55)"><path d="M27.5 0 C120.55 -2.94, 215.26 -0.03, 270.39 0 M27.5 0 C101.18 0.21, 174.6 0.63, 270.39 0 M270.39 0 C288.95 -1.44, 298.26 9.27, 297.89 27.5 M270.39 0 C288.12 2.29, 296.97 10.28, 297.89 27.5 M297.89 27.5 C299.69 42.26, 300.04 51.76, 297.89 82.5 M297.89 27.5 C298.12 47.43, 297.95 66.92, 297.89 82.5 M297.89 82.5 C298.93 99.38, 286.78 110.85, 270.39 110 M297.89 82.5 C296.94 98.77, 286.94 107.74, 270.39 110 M270.39 110 C214.73 108.34, 154.83 110.49, 27.5 110 M270.39 110 C214.65 111.03, 157.97 110.87, 27.5 110 M27.5 110 C9.84 111.38, -0.53 101.78, 0 82.5 M27.5 110 C9.22 108.56, -0.79 102.52, 0 82.5 M0 82.5 C-0.7 64.12, 0.42 48.3, 0 27.5 M0 82.5 C0.69 70.22, -1.02 58.72, 0 27.5 M0 27.5 C1.48 9.06, 10.23 -0.54, 27.5 0 M0 27.5 C1.7 10.44, 7.9 1.55, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1489.153125291392 485.7566003276174) rotate(0 140.30987548828125 50)"><text x="140.30987548828125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create one hasher </text><text x="140.30987548828125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">component for each element </text><text x="140.30987548828125" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">in the batch </text><text x="140.30987548828125" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(hashLeftAndRight)</text></g><g stroke-linecap="round" transform="translate(1805.2138714477983 482.26298891160326) rotate(0 141.35669318607802 51.623315648622)"><path d="M25.81 0 C105.94 2.67, 184.48 0.57, 256.9 0 M25.81 0 C73.01 -2.16, 120.04 -2.65, 256.9 0 M256.9 0 C272.4 1.21, 284.07 10.47, 282.71 25.81 M256.9 0 C272.62 -1.34, 281.55 8.01, 282.71 25.81 M282.71 25.81 C282.23 46, 283.35 64.69, 282.71 77.43 M282.71 25.81 C282.29 39.72, 282.37 53.51, 282.71 77.43 M282.71 77.43 C280.74 95.64, 273.84 103.17, 256.9 103.25 M282.71 77.43 C284.87 96.12, 274.92 104.72, 256.9 103.25 M256.9 103.25 C181.01 102.82, 106.13 103.5, 25.81 103.25 M256.9 103.25 C179.74 104.53, 100.41 103.58, 25.81 103.25 M25.81 103.25 C9.14 104.62, -0.31 95.03, 0 77.43 M25.81 103.25 C8.11 102.46, 0.63 94.24, 0 77.43 M0 77.43 C-0.3 64.63, 0.55 53.92, 0 25.81 M0 77.43 C0.03 63.18, -0.33 48.87, 0 25.81 M0 25.81 C1.58 8.04, 9.72 -0.61, 25.81 0 M0 25.81 C-0.04 7.37, 9.96 -0.88, 25.81 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1818.670654660732 508.88630456022526) rotate(0 127.89990997314453 25)"><text x="127.89990997314453" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Hash the nonce and vote </text><text x="127.89990997314453" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option tree root</text></g><g stroke-linecap="round" transform="translate(2119.099124311517 483.6794711026367) rotate(0 138.05888577727933 48.48326212498239)"><path d="M24.24 0 C91.85 0.91, 161.94 1.8, 251.88 0 M24.24 0 C113.43 -0.37, 201.75 0.78, 251.88 0 M251.88 0 C267.21 -0.7, 276.1 7.19, 276.12 24.24 M251.88 0 C266.32 0.67, 277.88 6.98, 276.12 24.24 M276.12 24.24 C275 43.72, 277.52 59.54, 276.12 72.72 M276.12 24.24 C275.77 36.94, 275.19 48.04, 276.12 72.72 M276.12 72.72 C277.01 87.01, 269.02 95.57, 251.88 96.97 M276.12 72.72 C278.1 90.67, 269.17 98.47, 251.88 96.97 M251.88 96.97 C189.88 95.91, 128.05 97.09, 24.24 96.97 M251.88 96.97 C184.11 95.81, 115.02 95.86, 24.24 96.97 M24.24 96.97 C10.03 95.56, -0.25 87.57, 0 72.72 M24.24 96.97 C9.51 96.94, -0.21 87.04, 0 72.72 M0 72.72 C0.09 62.1, 0.22 48.42, 0 24.24 M0 72.72 C0.25 60.38, 0.19 46.9, 0 24.24 M0 24.24 C-0.71 9.66, 8.59 0.29, 24.24 0 M0 24.24 C-0.7 6.99, 7.24 -0.1, 24.24 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(2124.6081291073506 507.16273322761907) rotate(0 132.5498809814453 25)"><text x="132.5498809814453" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">The ballot subroot is the </text><text x="132.5498809814453" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">hash of these two values</text></g><g stroke-linecap="round" transform="translate(1102.4444623505774 634.4136737231911) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C91.1 2.71, 156.15 0.49, 192.62 0 M27.5 0 C80.17 0.81, 132.17 1.4, 192.62 0 M192.62 0 C210.81 1.46, 220.74 9.08, 220.12 27.5 M192.62 0 C213.04 1.27, 221.72 8.84, 220.12 27.5 M220.12 27.5 C220.01 47.84, 222.03 70.83, 220.12 82.5 M220.12 27.5 C220.08 40.1, 220.5 51.59, 220.12 82.5 M220.12 82.5 C221.3 99.44, 210.63 108.54, 192.62 110 M220.12 82.5 C221.56 102.92, 210.89 111.27, 192.62 110 M192.62 110 C145.41 109.56, 100.75 110.29, 27.5 110 M192.62 110 C144.95 109.26, 96.38 109.11, 27.5 110 M27.5 110 C7.45 111.38, 0.84 101.17, 0 82.5 M27.5 110 C9.45 107.88, -1.11 100.93, 0 82.5 M0 82.5 C0.54 63.3, -0.8 43.77, 0 27.5 M0 82.5 C-0.24 69.24, 0.08 56.49, 0 27.5 M0 27.5 C0.08 7.35, 10.48 0.77, 27.5 0 M0 27.5 C-1.06 7.83, 7.88 -1.4, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1110.482113163026 651.9136737231911) rotate(0 102.0199203491211 37.5)"><text x="102.0199203491211" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">5. Ensure that the </text><text x="102.0199203491211" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots are part of </text><text x="102.0199203491211" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">the quinary tree</text></g><g stroke-linecap="round"><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M-0.2 0.03 C9.76 -0.38, 49.88 -1.95, 59.94 -2.2 M-1.76 -1 C8.02 -1.23, 48.78 -0.31, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M35.53 7.94 C42.97 5.24, 50.15 2.82, 58.99 -0.72 M35.53 7.94 C42.92 5.3, 52.65 2, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M35.45 -9.16 C42.95 -6.46, 50.15 -3.48, 58.99 -0.72 M35.45 -9.16 C42.99 -5.75, 52.75 -3.02, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1448.7703876518676 633.9832207470788) rotate(0 144.30894446548086 67.5)"><path d="M32 0 C93.47 -0.74, 151.95 1.73, 256.62 0 M32 0 C117.69 -0.34, 202.81 0.27, 256.62 0 M256.62 0 C277.01 -0.47, 287.29 11.72, 288.62 32 M256.62 0 C278.76 -1.18, 290.62 11.19, 288.62 32 M288.62 32 C288.15 46.39, 288.94 65.64, 288.62 103 M288.62 32 C287.51 48.33, 287.22 64.81, 288.62 103 M288.62 103 C289.94 125.58, 278.12 133.79, 256.62 135 M288.62 103 C287.83 124.9, 278.7 133.02, 256.62 135 M256.62 135 C192.68 132.62, 130.98 133.96, 32 135 M256.62 135 C174.93 136.96, 94.43 136.29, 32 135 M32 135 C9.48 135.32, -0.69 125.82, 0 103 M32 135 C9.29 134.7, 1.15 122.42, 0 103 M0 103 C1.65 86.54, 0.12 73.14, 0 32 M0 103 C0.03 87.72, 0.95 71.44, 0 32 M0 32 C1.48 10.17, 12.22 -0.3, 32 0 M0 32 C-1.12 12.13, 12.73 -0.74, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1454.809434656411 638.9832207470788) rotate(0 138.2698974609376 62.5)"><text x="138.2698974609375" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create a component </text><text x="138.2698974609375" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(QuinLeafExists) to be </text><text x="138.2698974609375" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">used to verify if a leaf </text><text x="138.2698974609375" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">exists in a quinary tree of </text><text x="138.2698974609375" y="100" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">depth k</text></g><g stroke-linecap="round" transform="translate(1752.4061456814302 637.7649367937547) rotate(0 194.22116942181583 67.5)"><path d="M32 0 C121.11 -0.25, 210.9 -0.26, 356.44 0 M32 0 C101.09 0.66, 171.74 0.14, 356.44 0 M356.44 0 C377.99 0.59, 387.09 10.36, 388.44 32 M356.44 0 C378.51 2.11, 387.39 10.5, 388.44 32 M388.44 32 C387.1 58.96, 386.37 83.2, 388.44 103 M388.44 32 C387.17 51.65, 387.81 69.95, 388.44 103 M388.44 103 C389.56 125.49, 378.05 135.07, 356.44 135 M388.44 103 C389.96 126.49, 377.13 135.66, 356.44 135 M356.44 135 C258.9 135.57, 162.37 134.36, 32 135 M356.44 135 C230.75 134.94, 104.19 135.25, 32 135 M32 135 C11.05 133.48, -1.28 125.68, 0 103 M32 135 C9.47 134.73, 1.26 123.56, 0 103 M0 103 C-1.01 79.74, -1.77 52.4, 0 32 M0 103 C-0.85 88.66, -0.46 73.17, 0 32 M0 32 C-0.28 11.01, 11.67 0.16, 32 0 M0 32 C0.07 12.75, 8.67 -1.27, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1757.5174823395741 642.7649367937547) rotate(0 189.10983276367188 62.5)"><text x="189.10983276367188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create a component </text><text x="189.10983276367188" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(QuinGeneratePathIndices) to </text><text x="189.10983276367188" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">generate the indices of the path from</text><text x="189.10983276367188" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">a leaf to the root of a quinary tree</text><text x="189.10983276367188" y="100" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">with a depth of k</text></g><g stroke-linecap="round" transform="translate(2155.3683562529327 639.7310366085505) rotate(0 199.98966765019668 62.38027606929904)"><path d="M31.19 0 C139.06 -1.61, 244.08 -2.03, 368.79 0 M31.19 0 C136.97 0.3, 243.38 0.29, 368.79 0 M368.79 0 C389.5 -0.73, 398.45 12.02, 399.98 31.19 M368.79 0 C389.17 -0.28, 400.42 10.53, 399.98 31.19 M399.98 31.19 C399.09 52.5, 398.36 77.4, 399.98 93.57 M399.98 31.19 C400.44 51.98, 399.51 73.71, 399.98 93.57 M399.98 93.57 C398.38 114.48, 387.71 124.72, 368.79 124.76 M399.98 93.57 C400.02 113.05, 389.01 124.69, 368.79 124.76 M368.79 124.76 C291.51 122.72, 212.31 123.73, 31.19 124.76 M368.79 124.76 C297.58 127.14, 226.17 126.47, 31.19 124.76 M31.19 124.76 C9.44 125.58, 1.66 113.2, 0 93.57 M31.19 124.76 C11.07 126.67, 0.04 116.28, 0 93.57 M0 93.57 C0.37 72.15, 1.68 54.53, 0 31.19 M0 93.57 C-0.74 68.11, 0.43 44.67, 0 31.19 M0 31.19 C-0.84 8.63, 8.88 -0.63, 31.19 0 M0 31.19 C-0.45 12.37, 10.4 1.7, 31.19 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(2161.168204567192 652.1113126778496) rotate(0 194.1898193359375 50)"><text x="194.1898193359375" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Loop from 0 to k and assign the path</text><text x="194.1898193359375" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">indices and elements to the leaf </text><text x="194.1898193359375" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">existence checker to confirm that each</text><text x="194.1898193359375" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballot is part of the quinary tree</text></g><g stroke-linecap="round" transform="translate(1104.0355308573048 799.7900063619686) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C62.96 1.07, 95.39 1.07, 192.62 0 M27.5 0 C80.32 -0.5, 135.42 -0.1, 192.62 0 M192.62 0 C209.62 -0.29, 218.54 10.89, 220.12 27.5 M192.62 0 C211.48 -0.31, 220.47 8.87, 220.12 27.5 M220.12 27.5 C217.9 41.69, 219.94 53.81, 220.12 82.5 M220.12 27.5 C220.48 42.58, 220.58 57.64, 220.12 82.5 M220.12 82.5 C220.24 102.55, 209.96 109.42, 192.62 110 M220.12 82.5 C218.04 99.29, 212.86 111.25, 192.62 110 M192.62 110 C139.13 107.79, 87.39 108.16, 27.5 110 M192.62 110 C157.47 109.05, 123.23 107.93, 27.5 110 M27.5 110 C8.8 108, 1.61 101.6, 0 82.5 M27.5 110 C10.47 109.31, -1.06 102.87, 0 82.5 M0 82.5 C0.39 69.64, -1.32 57.64, 0 27.5 M0 82.5 C0.1 63.19, 0.63 44.39, 0 27.5 M0 27.5 C-1.16 7.27, 10.68 -1.04, 27.5 0 M0 27.5 C1.18 10.34, 11.01 -1.27, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1120.3231816697535 829.7900063619686) rotate(0 93.7699203491211 25)"><text x="93.7699203491211" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">6. Verify the vote </text><text x="93.7699203491211" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option root</text></g><g stroke-linecap="round"><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M-0.46 -0.57 C15.37 1.84, 78.14 11.15, 93.9 13.48 M1.5 1.74 C17.27 3.88, 77.64 10.06, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M68.73 17.74 C72.92 16.63, 79.9 15.72, 92.98 11.65 M68.73 17.74 C76.31 16.38, 84.92 13.4, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M70.49 0.73 C74.17 3.19, 80.78 5.85, 92.98 11.65 M70.49 0.73 C77.57 5.16, 85.57 7.97, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1466.2028348089398 820.791988445272) rotate(0 146.6977890121732 65.2199633785624)"><path d="M32 0 C113.19 -0.64, 193.7 0.23, 261.4 0 M32 0 C105.51 -0.52, 180.62 -1.22, 261.4 0 M261.4 0 C284.61 -0.86, 293.79 12.13, 293.4 32 M261.4 0 C284.6 0.01, 292.64 11.68, 293.4 32 M293.4 32 C291.34 57.14, 291.87 81.96, 293.4 98.44 M293.4 32 C293.72 58.14, 293.21 82.17, 293.4 98.44 M293.4 98.44 C292.23 118, 281.01 129.53, 261.4 130.44 M293.4 98.44 C293.05 119.67, 284.41 130.8, 261.4 130.44 M261.4 130.44 C177.92 131.94, 94.94 133.62, 32 130.44 M261.4 130.44 C182.33 130.34, 103.26 129.27, 32 130.44 M32 130.44 C9.44 131.25, -0.32 120.58, 0 98.44 M32 130.44 C8.88 132.64, -1.81 119.58, 0 98.44 M0 98.44 C0.16 73.57, 0.42 46.44, 0 32 M0 98.44 C0.33 74.38, 0.25 49.76, 0 32 M0 32 C1.37 8.98, 11.73 0.59, 32 0 M0 32 C2.18 11.53, 9.18 -1.02, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1475.7207532156442 861.0119518238344) rotate(0 137.17987060546886 25)"><text x="137.17987060546875" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">verify the root of the vote</text><text x="137.17987060546875" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option tree for each ballot.</text></g><g stroke-linecap="round" transform="translate(1779.2838341147149 824.1889212252056) rotate(0 357.85828845441506 59.82879290296307)"><path d="M29.91 0 C288.99 0.24, 547.28 1.36, 685.8 0 M29.91 0 C277.62 0.21, 524.46 0.87, 685.8 0 M685.8 0 C704.74 1.22, 714.83 8.78, 715.72 29.91 M685.8 0 C706.87 1.77, 717.95 10.25, 715.72 29.91 M715.72 29.91 C716.86 46.78, 715.92 66.41, 715.72 89.74 M715.72 29.91 C715.97 45.93, 716.4 60.5, 715.72 89.74 M715.72 89.74 C715.78 107.77, 705.28 119.84, 685.8 119.66 M715.72 89.74 C716.58 107.9, 704.24 119.09, 685.8 119.66 M685.8 119.66 C467.32 118.79, 249.16 119.29, 29.91 119.66 M685.8 119.66 C446.13 120.04, 206.49 119.97, 29.91 119.66 M29.91 119.66 C9.86 118.49, 0.9 110.5, 0 89.74 M29.91 119.66 C8.18 119.27, -0.38 109.94, 0 89.74 M0 89.74 C0.79 66.43, 1 41.31, 0 29.91 M0 89.74 C-0.74 68.59, -0.7 46.46, 0 29.91 M0 29.91 C-1.07 8.79, 11.32 -1.48, 29.91 0 M0 29.91 C0.05 8.02, 8.77 1.87, 29.91 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1799.462374033974 834.0177141281686) rotate(0 337.67974853515625 50)"><text x="337.67974853515625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">checks that the root of the vote option tree of the i-th ballot is </text><text x="337.67974853515625" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">equal to the root stored in the i-th ballot. If the roots are not </text><text x="337.67974853515625" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">equal, the circuit will not be satisfied, indicating that the vote </text><text x="337.67974853515625" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">options have been tampered with.</text></g><g stroke-linecap="round" transform="translate(1113.8236902290898 967.5197382409087) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C69.33 1.71, 110.76 -0.07, 192.62 0 M27.5 0 C69.79 1.29, 112.91 0.18, 192.62 0 M192.62 0 C211.23 0.7, 220.6 10.84, 220.12 27.5 M192.62 0 C212.75 2.18, 221.76 11.33, 220.12 27.5 M220.12 27.5 C218.63 42.05, 218.46 60.7, 220.12 82.5 M220.12 27.5 C221.26 45.29, 220.39 63.88, 220.12 82.5 M220.12 82.5 C218.79 102.18, 208.99 108.45, 192.62 110 M220.12 82.5 C220.21 98.73, 213.16 112.21, 192.62 110 M192.62 110 C143.12 108.1, 95.49 109.01, 27.5 110 M192.62 110 C150.56 111.51, 107.95 110.11, 27.5 110 M27.5 110 C10.69 110.22, 0.93 100.58, 0 82.5 M27.5 110 C7.21 109.79, -1.85 102.33, 0 82.5 M0 82.5 C1.68 66.42, -0.33 48.26, 0 27.5 M0 82.5 C0.4 61.85, -0.33 43.54, 0 27.5 M0 27.5 C0.44 10.64, 8.34 0.66, 27.5 0 M0 27.5 C-0.62 8.09, 9.33 1.77, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1138.811315101597 997.5197382409087) rotate(0 85.0699462890625 25)"><text x="85.0699462890625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">7. Tally the new </text><text x="85.0699462890625" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">result</text></g><g stroke-linecap="round"><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M1.18 -1.16 C15.76 0.02, 73.25 5.92, 87.41 7.22 M0.34 0.85 C14.83 1.63, 72.75 4.11, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M62.93 12.41 C68.05 11.4, 77.57 7.18, 86.88 5.26 M62.93 12.41 C68.92 11.16, 77.02 9.46, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M63.94 -4.66 C68.79 -0.63, 78.01 0.19, 86.88 5.26 M63.94 -4.66 C69.81 -1.22, 77.62 1.78, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1471.2591910944852 1000.2724706503091) rotate(0 218.81138583144366 36.4312641367178)"><path d="M18.22 0 C162.48 -0.7, 304.28 -1.28, 419.41 0 M18.22 0 C104.06 -1.93, 189.5 -2.09, 419.41 0 M419.41 0 C430.51 1.48, 435.68 5.62, 437.62 18.22 M419.41 0 C431.93 1.63, 438.53 5.89, 437.62 18.22 M437.62 18.22 C438.57 30.01, 439.45 46.11, 437.62 54.65 M437.62 18.22 C438.63 32.9, 438.22 47.72, 437.62 54.65 M437.62 54.65 C436.19 67.85, 429.96 74.6, 419.41 72.86 M437.62 54.65 C438.83 66.95, 429.91 73.28, 419.41 72.86 M419.41 72.86 C303.69 73.65, 189.77 74.18, 18.22 72.86 M419.41 72.86 C284 70.24, 147.35 71.13, 18.22 72.86 M18.22 72.86 C5.66 71.26, 1.48 65.58, 0 54.65 M18.22 72.86 C6.53 74.79, -2.22 65.57, 0 54.65 M0 54.65 C-1.87 41.01, 0.17 29.71, 0 18.22 M0 54.65 C-0.29 46.32, -0.45 38.21, 0 18.22 M0 18.22 C0.61 5.1, 5.54 1.73, 18.22 0 M0 18.22 C0.44 7.69, 7.55 0.14, 18.22 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1485.480763693507 1024.2037347870269) rotate(0 204.58981323242188 12.5)"><text x="204.58981323242188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use CalculateTotal to sum up the votes</text></g><g stroke-linecap="round" transform="translate(1115.6745567089288 1114.8001809100474) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C92.18 -0.65, 155.6 -0.99, 192.62 0 M27.5 0 C91.2 -0.18, 153.12 0.71, 192.62 0 M192.62 0 C211.82 -1.95, 220.07 8.79, 220.12 27.5 M192.62 0 C210.22 -0.02, 221.35 7.12, 220.12 27.5 M220.12 27.5 C219.43 38.39, 219.37 50.94, 220.12 82.5 M220.12 27.5 C220.93 44.37, 220.43 59.47, 220.12 82.5 M220.12 82.5 C218.59 102.79, 210.27 108.93, 192.62 110 M220.12 82.5 C218.47 100.83, 211.49 108.95, 192.62 110 M192.62 110 C145.5 112.87, 99.82 110.58, 27.5 110 M192.62 110 C151.69 111.5, 109.66 109.94, 27.5 110 M27.5 110 C10.95 108.42, -1.23 99.82, 0 82.5 M27.5 110 C10.79 108.66, -1.52 99.99, 0 82.5 M0 82.5 C0.36 68.98, 1.61 54.91, 0 27.5 M0 82.5 C-0.03 64.14, 0.33 43.25, 0 27.5 M0 27.5 C-0.19 9.83, 9.47 -1.6, 27.5 0 M0 27.5 C-0.35 9.9, 9.27 -1.58, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1124.5922200335845 1132.3001809100474) rotate(0 101.13990783691406 37.5)"><text x="101.13990783691406" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">8. Tally the new </text><text x="101.13990783691406" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">total of spent voice</text><text x="101.13990783691406" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">credits</text></g><g stroke-linecap="round" transform="translate(480.7500883641337 948.0077161054639) rotate(0 203.01703692827346 58.69960147919426)"><path d="M29.35 0 C157.02 -0.47, 284.19 -0.3, 376.68 0 M29.35 0 C167.31 -1.76, 304.77 -1.73, 376.68 0 M376.68 0 C396.14 1.23, 405.92 10.5, 406.03 29.35 M376.68 0 C396.87 -0.43, 406.93 10.69, 406.03 29.35 M406.03 29.35 C407.19 48.05, 405.38 65.19, 406.03 88.05 M406.03 29.35 C406.37 51.44, 405.18 74.29, 406.03 88.05 M406.03 88.05 C404.95 109.58, 396.97 116.77, 376.68 117.4 M406.03 88.05 C407.26 106.78, 395.16 116.76, 376.68 117.4 M376.68 117.4 C240.85 117.16, 108.68 118.77, 29.35 117.4 M376.68 117.4 C261.11 119.26, 146.1 119.71, 29.35 117.4 M29.35 117.4 C9.19 117.16, -1.5 109, 0 88.05 M29.35 117.4 C9.6 117.16, 1.26 107.94, 0 88.05 M0 88.05 C0.13 65.13, 1.61 44.79, 0 29.35 M0 88.05 C0.68 76.59, -0.39 63.77, 0 29.35 M0 29.35 C0.93 8.14, 10.44 -1.03, 29.35 0 M0 29.35 C1.09 7.58, 8.03 -1.06, 29.35 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(496.5172778802978 969.2073175846583) rotate(0 187.24984741210938 37.5)"><text x="187.24984741210938" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">if this is the first batch then we do </text><text x="187.24984741210938" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">not add the current result (as it </text><text x="187.24984741210938" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">would be zero) to the calculation</text></g><g stroke-linecap="round"><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-0.76 -0.29 C-26.27 -6.38, -127.24 -29.48, -152.93 -35.53 M1.04 -1.49 C-24.54 -7.36, -127.7 -31.43, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-128.47 -40.17 C-136.63 -37.43, -141.93 -39.72, -153.27 -37.04 M-128.47 -40.17 C-137.06 -39.48, -143.94 -37.78, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-132.26 -23.5 C-139.39 -25.91, -143.5 -33.39, -153.27 -37.04 M-132.26 -23.5 C-139.81 -27.97, -145.51 -31.44, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1475.1235614450711 1126.0203789058685) rotate(0 218.81138583144366 36.4312641367178)"><path d="M18.22 0 C173.54 -2.57, 328.12 -0.9, 419.41 0 M18.22 0 C151.33 0.93, 284.78 0.12, 419.41 0 M419.41 0 C433.01 1.18, 435.67 6.12, 437.62 18.22 M419.41 0 C431.12 -0.37, 438.07 4.21, 437.62 18.22 M437.62 18.22 C435.59 27.98, 436.83 40.16, 437.62 54.65 M437.62 18.22 C437.03 26.28, 437.52 33.86, 437.62 54.65 M437.62 54.65 C437.28 68.11, 432.05 71.36, 419.41 72.86 M437.62 54.65 C438.13 65.41, 430.91 70.75, 419.41 72.86 M419.41 72.86 C335.98 72.64, 251.76 70.99, 18.22 72.86 M419.41 72.86 C312.51 70.8, 206.15 71.21, 18.22 72.86 M18.22 72.86 C5.81 73.89, 1.23 66.3, 0 54.65 M18.22 72.86 C6.18 74.88, 0.69 66.55, 0 54.65 M0 54.65 C-1.53 40.36, 1.89 26.73, 0 18.22 M0 54.65 C-0.85 43.55, -0.97 30.42, 0 18.22 M0 18.22 C-1.92 7.78, 7.47 1.8, 18.22 0 M0 18.22 C-1.47 7.72, 5.17 1.32, 18.22 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1489.345134044093 1149.9516430425863) rotate(0 204.58981323242188 12.5)"><text x="204.58981323242188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use CalculateTotal to sum up the votes</text></g><g stroke-linecap="round" transform="translate(1939.9312949254977 1124.9057522299108) rotate(0 79.24150107935225 38.57681398772138)"><path d="M19.29 0 C60.89 0.34, 98.87 -0.71, 139.19 0 M19.29 0 C55.49 -0.55, 92.29 -0.65, 139.19 0 M139.19 0 C150.68 1.09, 159.57 4.73, 158.48 19.29 M139.19 0 C153.92 -0.55, 160.2 8.27, 158.48 19.29 M158.48 19.29 C160.3 31.26, 158.99 40.45, 158.48 57.87 M158.48 19.29 C157.68 33.92, 158.62 47.98, 158.48 57.87 M158.48 57.87 C158.84 71.22, 150.93 77.04, 139.19 77.15 M158.48 57.87 C158.25 70.74, 150.1 75.95, 139.19 77.15 M139.19 77.15 C112.18 75.87, 82.8 76.47, 19.29 77.15 M139.19 77.15 C111.77 76.93, 83.25 77.46, 19.29 77.15 M19.29 77.15 C6 76.45, 0.78 72.08, 0 57.87 M19.29 77.15 C8.49 78.19, -2.18 72.73, 0 57.87 M0 57.87 C-0.75 48.68, 1.49 34.41, 0 19.29 M0 57.87 C0.4 46.35, 0.92 33.98, 0 19.29 M0 19.29 C1.2 5.39, 5.77 0.96, 19.29 0 M0 19.29 C0.63 7.96, 7.67 0.27, 19.29 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1950.0928475795567 1138.4825662176322) rotate(0 69.07994842529297 25)"><text x="69.07994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes are ** </text><text x="69.07994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2</text></g><g stroke-linecap="round"><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M-0.14 -0.35 C14.51 0.99, 72.72 5.84, 87.11 6.93 M-1.67 -1.58 C12.93 0.07, 71.94 7.03, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M62.13 14.4 C67.38 13.85, 73.78 10.91, 86.42 8.48 M62.13 14.4 C69.01 13.94, 74.26 11.68, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M64.01 -2.6 C68.66 0.9, 74.61 2, 86.42 8.48 M64.01 -2.6 C70.38 1.05, 75.18 2.91, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1111.4640872122798 1250.81619378166) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C76.36 0.88, 128.45 1.17, 192.62 0 M27.5 0 C64.73 -1.2, 102.61 -0.61, 192.62 0 M192.62 0 C209.57 0.31, 218.85 7.46, 220.12 27.5 M192.62 0 C211.81 -0.56, 219.3 6.88, 220.12 27.5 M220.12 27.5 C220.11 45.13, 220.19 65.17, 220.12 82.5 M220.12 27.5 C218.94 45.07, 219.09 63.63, 220.12 82.5 M220.12 82.5 C221.33 102.26, 210.73 110.91, 192.62 110 M220.12 82.5 C219.35 102.04, 212.24 108.5, 192.62 110 M192.62 110 C129.87 107.42, 65.59 109.43, 27.5 110 M192.62 110 C131.78 108.53, 70.56 109.19, 27.5 110 M27.5 110 C8.89 110.62, -0.05 101.28, 0 82.5 M27.5 110 C6.92 111.19, 0.5 101.36, 0 82.5 M0 82.5 C-0.71 71.56, -0.97 57.49, 0 27.5 M0 82.5 C1.44 67.57, 0.15 52.5, 0 27.5 M0 27.5 C-1.05 7.59, 7.9 -1.11, 27.5 0 M0 27.5 C1.42 8.87, 7.61 0.76, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1125.821730090158 1268.31619378166) rotate(0 95.6999282836914 37.5)"><text x="95.6999282836914" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">9. Tally the spent </text><text x="95.6999282836914" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">voice credits per </text><text x="95.6999282836914" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">vote option</text></g><g stroke-linecap="round"><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M0.94 -0.45 C14.78 -0.3, 69.35 0.65, 83.02 0.64 M-0.03 -1.73 C14.2 -1.95, 71.06 -1.7, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.7 6.9 C67.91 2.91, 76.01 0.35, 85.29 -1.36 M61.7 6.9 C66.33 6.15, 72.88 2.66, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.91 -10.2 C68.02 -9.16, 76.06 -6.69, 85.29 -1.36 M61.91 -10.2 C66.36 -7.13, 72.86 -6.81, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1476.68677924149 1261.5065728261172) rotate(0 79.24150107935225 38.57681398772138)"><path d="M19.29 0 C44.02 -0.66, 69.35 1.55, 139.19 0 M19.29 0 C49.84 -1.97, 78.94 -2.08, 139.19 0 M139.19 0 C151.02 -1.76, 156.64 5.18, 158.48 19.29 M139.19 0 C149.76 0.79, 158.61 4.2, 158.48 19.29 M158.48 19.29 C159.83 29.23, 157.9 35.6, 158.48 57.87 M158.48 19.29 C157.63 29.38, 158.2 38.69, 158.48 57.87 M158.48 57.87 C159.74 70.88, 150.51 77.28, 139.19 77.15 M158.48 57.87 C158.46 70, 151.6 74.96, 139.19 77.15 M139.19 77.15 C97.91 77.95, 54.92 78.45, 19.29 77.15 M139.19 77.15 C96.77 76.81, 55.02 77.16, 19.29 77.15 M19.29 77.15 C6.52 75.82, 0.78 71.05, 0 57.87 M19.29 77.15 C4.63 78.98, -0.47 72.2, 0 57.87 M0 57.87 C0.49 45.02, 1.3 31.41, 0 19.29 M0 57.87 C0.81 44.76, 0.41 31.29, 0 19.29 M0 19.29 C-1.4 5.59, 6.45 -1.84, 19.29 0 M0 19.29 C0.22 4.54, 7.58 -0.34, 19.29 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1486.848331895549 1275.0833868138386) rotate(0 69.07994842529297 25)"><text x="69.07994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes are ** </text><text x="69.07994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2</text></g><g stroke-linecap="round" transform="translate(1119.0945932957025 1379.993768697064) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C92.61 -2.74, 156.61 -1.78, 192.62 0 M27.5 0 C82.18 -0.47, 135.48 -0.07, 192.62 0 M192.62 0 C211.29 -0.95, 218.56 10.09, 220.12 27.5 M192.62 0 C210.27 1.57, 220.83 8.22, 220.12 27.5 M220.12 27.5 C218.53 49.92, 221.58 70.12, 220.12 82.5 M220.12 27.5 C219.65 47.35, 220.38 66.37, 220.12 82.5 M220.12 82.5 C220.8 102.61, 212.86 108.57, 192.62 110 M220.12 82.5 C222.01 99.38, 213.2 110.53, 192.62 110 M192.62 110 C136.11 111.22, 83.99 109.65, 27.5 110 M192.62 110 C153.89 109.82, 116.53 110.46, 27.5 110 M27.5 110 C10.41 110.22, 1.1 100.21, 0 82.5 M27.5 110 C10.39 110.88, 0.43 101.41, 0 82.5 M0 82.5 C-0.44 63.93, 1.24 44.1, 0 27.5 M0 82.5 C-0.61 69.02, 0.25 56.8, 0 27.5 M0 27.5 C1.83 8.76, 8.87 1.99, 27.5 0 M0 27.5 C0.13 11.13, 11.31 1.56, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1145.8022193889128 1397.493768697064) rotate(0 83.34994506835938 37.5)"><text x="83.34994506835938" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">10. Verify the </text><text x="83.34994506835938" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">current and new </text><text x="83.34994506835938" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Tally </text></g><g stroke-linecap="round"><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-0.47 -0.91 C-33.31 -38.17, -164.09 -187.2, -196.84 -224.13 M1.48 1.22 C-31.45 -35.88, -164.17 -185.53, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-175.35 -211.23 C-183.71 -213.56, -190.9 -217.55, -197.31 -223.16 M-175.35 -211.23 C-182.33 -216.03, -191.04 -219.77, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-188.16 -199.9 C-192.45 -205.74, -195.61 -213.3, -197.31 -223.16 M-188.16 -199.9 C-190.7 -208.52, -194.98 -216.18, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round"><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M0.5 -1.15 C14.62 -0.74, 71.33 1.11, 85.03 1.49 M-0.7 0.86 C13.34 1.04, 70.43 0.22, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.35 8.87 C67.11 7.85, 78.45 1.06, 84.71 -0.05 M61.35 8.87 C69.77 6.37, 77.68 3.44, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.08 -8.23 C66.79 -3.69, 78.22 -4.91, 84.71 -0.05 M61.08 -8.23 C69.45 -4.49, 77.46 -1.19, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1472.5923872577696 1387.49749106691) rotate(0 155.50068085529665 48.72157468842897)"><path d="M24.36 0 C115.42 -3.59, 204.6 -3.45, 286.64 0 M24.36 0 C80.96 -0.47, 138.41 -0.94, 286.64 0 M286.64 0 C303.95 -0.18, 311.37 7.83, 311 24.36 M286.64 0 C303.06 0.38, 311.07 9.93, 311 24.36 M311 24.36 C309.56 38.06, 311.33 48.55, 311 73.08 M311 24.36 C310.36 42.2, 309.98 58.28, 311 73.08 M311 73.08 C312.18 89.24, 302.68 96.36, 286.64 97.44 M311 73.08 C311.86 88.88, 300.82 97.16, 286.64 97.44 M286.64 97.44 C212.73 98.87, 142.52 97.69, 24.36 97.44 M286.64 97.44 C216.62 97.31, 147.09 96.65, 24.36 97.44 M24.36 97.44 C7.95 96.78, 1.82 90.88, 0 73.08 M24.36 97.44 C7.05 98.37, 1.05 90.58, 0 73.08 M0 73.08 C0.44 55.06, 1.35 35.01, 0 24.36 M0 73.08 C-0.59 57.18, -0.69 40.71, 0 24.36 M0 24.36 C1.19 9.4, 9.82 -1.15, 24.36 0 M0 24.36 C1.97 10.37, 8.4 -0.79, 24.36 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1486.323216428496 1423.719065755339) rotate(0 141.7698516845703 12.5)"><text x="141.7698516845703" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use ResultCommitmentVerifier</text></g><g stroke-linecap="round"><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-0.02 -1.17 C-31.8 -17.66, -159.44 -83.48, -190.93 -99.78 M-1.49 0.83 C-32.88 -15.46, -157.45 -82.31, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-163.97 -95.25 C-172.78 -97.85, -179.26 -95.51, -188.73 -98.72 M-163.97 -95.25 C-170.62 -97.11, -178.96 -96.56, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-172 -80.15 C-178.47 -86.95, -182.72 -88.81, -188.73 -98.72 M-172 -80.15 C-176.25 -86.47, -182.24 -90.35, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask></svg>
+  <rect x="0" y="0" width="2565.347691553326" height="1499.993768697064" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(517.8468497956186 613.8964685925898) rotate(0 114.33810379333892 33.80052213620303)"><path d="M16.9 0 C73.19 -3.23, 130.79 -3.18, 211.78 0 M16.9 0 C92.83 0.63, 168.82 1.51, 211.78 0 M211.78 0 C222.82 1.28, 228.34 5.6, 228.68 16.9 M211.78 0 C224.67 0.71, 228.57 3.62, 228.68 16.9 M228.68 16.9 C228.23 26.67, 226.62 37.71, 228.68 50.7 M228.68 16.9 C228.23 25.45, 228.92 32.06, 228.68 50.7 M228.68 50.7 C229.05 63.1, 224.1 66.43, 211.78 67.6 M228.68 50.7 C230 61.15, 221.81 68.99, 211.78 67.6 M211.78 67.6 C166.79 69.94, 125 67.32, 16.9 67.6 M211.78 67.6 C166.5 68.08, 120.87 67.35, 16.9 67.6 M16.9 67.6 C5.93 68.32, 0.16 61.92, 0 50.7 M16.9 67.6 C3.93 65.55, -0.59 60.24, 0 50.7 M0 50.7 C-0.89 42.31, 0.73 38.02, 0 16.9 M0 50.7 C0.6 43.19, 0.56 33.53, 0 16.9 M0 16.9 C1.08 5.82, 5.22 -1.27, 16.9 0 M0 16.9 C-2.25 5.92, 4.31 -1.67, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(538.7950381226489 635.196990728793) rotate(0 93.38991546630854 12.5)"><text x="93.3899154663086" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#e03131" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Tally Votes Circuit</text></g><g stroke-linecap="round" transform="translate(274.8151306253857 96.12987726788646) rotate(0 70.68038597279167 30.528358897653305)"><path d="M15.26 0 C48.98 -1.4, 83.99 -2.3, 126.1 0 M15.26 0 C47.32 -1.17, 78.38 -0.57, 126.1 0 M126.1 0 C137.99 1.09, 143.33 3.62, 141.36 15.26 M126.1 0 C134.68 -0.75, 139.2 4.28, 141.36 15.26 M141.36 15.26 C139.62 23.34, 142.52 33.63, 141.36 45.79 M141.36 15.26 C141.01 25.61, 141.77 37.12, 141.36 45.79 M141.36 45.79 C142.7 56.52, 135.6 61.53, 126.1 61.06 M141.36 45.79 C141.33 55.8, 134.2 61.54, 126.1 61.06 M126.1 61.06 C93.91 62.22, 63.14 61.16, 15.26 61.06 M126.1 61.06 C91.71 59.65, 58.86 60.74, 15.26 61.06 M15.26 61.06 C4.66 61.69, -0.69 56.3, 0 45.79 M15.26 61.06 C4.76 60.28, 0.8 57.96, 0 45.79 M0 45.79 C-0.82 35.21, 1.73 24.7, 0 15.26 M0 45.79 C-0.84 36.03, 0.86 24.06, 0 15.26 M0 15.26 C-1.27 6.49, 3.31 1.37, 15.26 0 M0 15.26 C0.36 3.93, 5.64 -0.88, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(293.11556512112645 114.15823616553979) rotate(0 52.37995147705078 12.5)"><text x="52.37995147705078" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateRoot</text></g><g stroke-linecap="round" transform="translate(30.841281830089997 10) rotate(0 70.68038597279167 30.528358897653305)"><path d="M15.26 0 C48.59 -1.03, 84.37 1.94, 126.1 0 M15.26 0 C44.96 -1.62, 72.54 -1.18, 126.1 0 M126.1 0 C136.52 -0.65, 139.61 4.39, 141.36 15.26 M126.1 0 C135.37 -0.36, 143.09 5.71, 141.36 15.26 M141.36 15.26 C140.49 23.26, 139.65 32.67, 141.36 45.79 M141.36 15.26 C142.03 21.57, 141.94 28.2, 141.36 45.79 M141.36 45.79 C141.9 55.03, 137.29 61.93, 126.1 61.06 M141.36 45.79 C139.28 55.73, 136 59.85, 126.1 61.06 M126.1 61.06 C97.88 62.65, 73.62 60.66, 15.26 61.06 M126.1 61.06 C84.19 61.58, 44.66 61.9, 15.26 61.06 M15.26 61.06 C4.06 59.69, 0.27 55.95, 0 45.79 M15.26 61.06 C6.66 60.16, -0.19 54.83, 0 45.79 M0 45.79 C1.33 39.12, 1.55 33.95, 0 15.26 M0 45.79 C-0.48 37.91, 0.36 29.61, 0 15.26 M0 15.26 C0.82 3.86, 6.23 0.61, 15.26 0 M0 15.26 C2.2 5.15, 6.42 1.98, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(49.81171449477608 28.028358897653277) rotate(0 51.70995330810547 12.5)"><text x="51.70995330810547" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotRoot</text></g><g stroke-linecap="round" transform="translate(198.1205343879002 10.664576425954493) rotate(0 85.38362342154988 30.33022431103332)"><path d="M15.17 0 C45.98 0.14, 79.02 0.25, 155.6 0 M15.17 0 C63.84 1.2, 113.18 0.89, 155.6 0 M155.6 0 C167.59 -0.54, 170.58 3.32, 170.77 15.17 M155.6 0 C166.54 -0.78, 172.74 5.17, 170.77 15.17 M170.77 15.17 C171.55 23.62, 172.09 31.79, 170.77 45.5 M170.77 15.17 C170.66 22.85, 171.12 30.35, 170.77 45.5 M170.77 45.5 C170.42 53.68, 166.08 61.24, 155.6 60.66 M170.77 45.5 C172.23 54.11, 167.91 60.12, 155.6 60.66 M155.6 60.66 C122.55 61.6, 87.3 60.56, 15.17 60.66 M155.6 60.66 C113.52 60.53, 69.27 61.04, 15.17 60.66 M15.17 60.66 C6.02 59.4, 1.48 53.85, 0 45.5 M15.17 60.66 C5.76 62.4, 0.94 55.43, 0 45.5 M0 45.5 C0.29 36.94, 1.16 23.72, 0 15.17 M0 45.5 C0.5 37.99, -0.72 30.6, 0 15.17 M0 15.17 C1.12 5.33, 3.16 -0.24, 15.17 0 M0 15.17 C0.23 5.22, 4.11 1.71, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(207.3242185394305 15.99480073698777) rotate(0 76.17993927001953 25)"><text x="76.17993927001953" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateAndBallot</text><text x="76.17993927001953" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Salt</text></g><g stroke-linecap="round" transform="translate(386.1956629330326 15.362017250403198) rotate(0 85.38362342154988 30.330224311033334)"><path d="M15.17 0 C55.85 -0.75, 95.26 -0.43, 155.6 0 M15.17 0 C69.82 2.02, 123.89 0.85, 155.6 0 M155.6 0 C163.92 -1.81, 171.61 4.83, 170.77 15.17 M155.6 0 C163.95 -2.21, 170.59 3.82, 170.77 15.17 M170.77 15.17 C169.54 25.36, 171.24 36.89, 170.77 45.5 M170.77 15.17 C169.84 23.57, 170.11 32.37, 170.77 45.5 M170.77 45.5 C169.19 57.42, 167.12 60.43, 155.6 60.66 M170.77 45.5 C168.48 55.19, 163.43 62.57, 155.6 60.66 M155.6 60.66 C100.69 62.71, 46.09 59.35, 15.17 60.66 M155.6 60.66 C105.74 61.78, 54.4 61.42, 15.17 60.66 M15.17 60.66 C3.64 60.83, -1.19 53.7, 0 45.5 M15.17 60.66 C4.15 62.59, 1.29 55.6, 0 45.5 M0 45.5 C-0.29 39.5, 1.06 31.85, 0 15.17 M0 45.5 C0.85 37.67, -0.56 30.39, 0 15.17 M0 15.17 C-1.11 4.23, 4.37 0.76, 15.17 0 M0 15.17 C0.64 4.04, 5.18 0.68, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(419.0293290791918 33.19224156143656) rotate(0 52.549957275390625 12.5)"><text x="52.549957275390625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">packedVals</text></g><g stroke-linecap="round" transform="translate(580.0951227640153 18.387697500245793) rotate(0 85.38362342154983 30.330224311033334)"><path d="M15.17 0 C50.01 1.75, 90.78 0.04, 155.6 0 M15.17 0 C48.06 -0.12, 82.42 0.3, 155.6 0 M155.6 0 C164.5 1.59, 172.4 5.01, 170.77 15.17 M155.6 0 C167.77 -0.6, 172.25 5.18, 170.77 15.17 M170.77 15.17 C170.44 23.72, 171.68 32.98, 170.77 45.5 M170.77 15.17 C170.76 21.46, 170.99 27.08, 170.77 45.5 M170.77 45.5 C170.26 56.35, 164.21 60.42, 155.6 60.66 M170.77 45.5 C168.69 57.34, 167.31 61.32, 155.6 60.66 M155.6 60.66 C107.81 58.13, 64.83 61.6, 15.17 60.66 M155.6 60.66 C105.03 61.67, 54.03 61.34, 15.17 60.66 M15.17 60.66 C3.49 59.87, 1.07 55.87, 0 45.5 M15.17 60.66 C6.15 59.41, 0.25 54.27, 0 45.5 M0 45.5 C-0.82 34.75, 0.85 25.1, 0 15.17 M0 45.5 C0.32 35.25, -0.58 26.2, 0 15.17 M0 15.17 C0.99 6.89, 3.59 0.67, 15.17 0 M0 15.17 C1.45 2.84, 4.07 -0.85, 15.17 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(587.5988252260922 23.717921811279155) rotate(0 77.87992095947266 25)"><text x="77.87992095947266" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateAndBallot</text><text x="77.87992095947266" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">TreeCommitment</text></g><g stroke-linecap="round" transform="translate(779.4763061581511 22.61044087758421) rotate(0 123.65868497225415 26.666798360507585)"><path d="M13.33 0 C58.01 1.16, 104.07 0.7, 233.98 0 M13.33 0 C79.02 1.66, 146.9 0.86, 233.98 0 M233.98 0 C244.23 0.84, 245.8 3.28, 247.32 13.33 M233.98 0 C244.38 -0.7, 246.29 3.15, 247.32 13.33 M247.32 13.33 C245.54 22.73, 247.08 29.48, 247.32 40 M247.32 13.33 C248.09 20.99, 248.04 29.59, 247.32 40 M247.32 40 C246.48 50.49, 243.07 55.27, 233.98 53.33 M247.32 40 C247.34 51.18, 245.14 51.19, 233.98 53.33 M233.98 53.33 C153.2 52.76, 74.18 50.34, 13.33 53.33 M233.98 53.33 C158.27 53.13, 84.61 53.27, 13.33 53.33 M13.33 53.33 C5.16 51.69, 0.8 47.65, 0 40 M13.33 53.33 C6.6 54.44, 2.06 48.79, 0 40 M0 40 C0.71 31.71, 0.43 21.16, 0 13.33 M0 40 C-0.38 31.7, -1.02 21.36, 0 13.33 M0 13.33 C1.89 4.01, 2.89 -1.17, 13.33 0 M0 13.33 C-2.17 5.69, 4.12 0.47, 13.33 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.7850994678074 36.777239238091795) rotate(0 114.34989166259766 12.5)"><text x="114.34989166259766" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentTallyCommitment</text></g><g stroke-linecap="round" transform="translate(443.82186911028873 95.7860843006215) rotate(0 123.6586849722542 26.666798360507585)"><path d="M13.33 0 C83.1 2.31, 152.09 2.55, 233.98 0 M13.33 0 C86.72 0.11, 158.69 0.31, 233.98 0 M233.98 0 C242.39 1.65, 246.79 5.18, 247.32 13.33 M233.98 0 C241.56 0.3, 248.85 3.22, 247.32 13.33 M247.32 13.33 C245.61 21.82, 247.34 31.65, 247.32 40 M247.32 13.33 C247.95 22.23, 247.26 31.33, 247.32 40 M247.32 40 C249.09 49.32, 242.26 51.59, 233.98 53.33 M247.32 40 C247.45 49.58, 242.06 54.32, 233.98 53.33 M233.98 53.33 C158.33 54.46, 82.58 53.5, 13.33 53.33 M233.98 53.33 C179.37 51.55, 124.23 52.88, 13.33 53.33 M13.33 53.33 C3.58 54.55, 0.57 48.98, 0 40 M13.33 53.33 C4.76 52.79, 2.12 48.99, 0 40 M0 40 C-0.19 31.88, -1.26 19.71, 0 13.33 M0 40 C0.76 31.7, 0.48 23.35, 0 13.33 M0 13.33 C-0.36 5.2, 2.75 0.89, 13.33 0 M0 13.33 C-2.25 4.94, 5.93 1.77, 13.33 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(471.9906401421132 109.95288266112908) rotate(0 95.48991394042963 12.5)"><text x="95.48991394042969" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newTallyCommitment</text></g><g stroke-linecap="round" transform="translate(736.600807174364 97.75711065710146) rotate(0 138.97283739642387 29.94840245140105)"><path d="M14.97 0 C114.23 -1.38, 212.47 0.75, 262.97 0 M14.97 0 C101.45 -1.81, 188.95 -1.89, 262.97 0 M262.97 0 C271.47 -0.37, 279.45 3.12, 277.95 14.97 M262.97 0 C274.65 -0.94, 280.2 3.21, 277.95 14.97 M277.95 14.97 C277.29 23.02, 277.09 30.57, 277.95 44.92 M277.95 14.97 C278.67 26.9, 276.83 36.99, 277.95 44.92 M277.95 44.92 C277.58 54.45, 271.64 60.67, 262.97 59.9 M277.95 44.92 C276.02 54.59, 272.51 59.48, 262.97 59.9 M262.97 59.9 C190.72 59.72, 120.04 59.96, 14.97 59.9 M262.97 59.9 C174.52 61.15, 87.39 61.05, 14.97 59.9 M14.97 59.9 C4.9 58.17, 0.93 54.95, 0 44.92 M14.97 59.9 C3.91 60.84, -0.77 54.88, 0 44.92 M0 44.92 C-0.99 34.19, -0.82 25.95, 0 14.97 M0 44.92 C1 37.9, -0.33 32.67, 0 14.97 M0 14.97 C1.21 5.55, 5.31 0.81, 14.97 0 M0 14.97 C-1.38 4.59, 2.78 -0.99, 14.97 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(763.7237605375849 115.20551310850243) rotate(0 111.84988403320312 12.5)"><text x="111.84988403320312" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">inputHash (public input)</text></g><g stroke-linecap="round" transform="translate(10 269.61822553049905) rotate(0 70.68038597279167 30.528358897653277)"><path d="M15.26 0 C57.79 -0.95, 96.94 0.94, 126.1 0 M15.26 0 C40.34 -1.34, 63.68 -1, 126.1 0 M126.1 0 C138.16 -1.44, 140.17 5.34, 141.36 15.26 M126.1 0 C137.31 1.07, 142.83 4.62, 141.36 15.26 M141.36 15.26 C142.65 25.91, 141.39 34.44, 141.36 45.79 M141.36 15.26 C141.24 22.37, 140.64 27.8, 141.36 45.79 M141.36 45.79 C143.12 57.23, 135.16 60.01, 126.1 61.06 M141.36 45.79 C139.75 54.3, 133.98 59.27, 126.1 61.06 M126.1 61.06 C84.94 62.38, 40.74 61.07, 15.26 61.06 M126.1 61.06 C98.32 61.86, 68.64 62.15, 15.26 61.06 M15.26 61.06 C5 59.24, 1.73 57.35, 0 45.79 M15.26 61.06 C5.61 59.85, -0.25 54.97, 0 45.79 M0 45.79 C1.33 35.77, 1.09 25.46, 0 15.26 M0 45.79 C-0.59 34.95, 0.31 26.16, 0 15.26 M0 15.26 C-0.93 6.33, 4.2 0.54, 15.26 0 M0 15.26 C1.73 6.29, 6.32 1.46, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(42.050419236951825 275.14658442815227) rotate(0 38.629966735839844 25)"><text x="38.629966735839844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots </text><text x="38.629966735839844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(array)</text></g><g stroke-linecap="round" transform="translate(12.063901943958285 182.38947377105058) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C83.18 1.32, 152.18 0.58, 204.03 0 M16.09 0 C79.57 0.71, 144.42 2.63, 204.03 0 M204.03 0 C215.49 0.2, 218.4 4.81, 220.12 16.09 M204.03 0 C214.79 -1.03, 221.51 3.92, 220.12 16.09 M220.12 16.09 C221.03 24.27, 218.87 35.08, 220.12 48.27 M220.12 16.09 C219.79 24.06, 219.06 33.52, 220.12 48.27 M220.12 48.27 C221.45 58.16, 213.02 64.67, 204.03 64.35 M220.12 48.27 C220.85 61.21, 215.51 62.89, 204.03 64.35 M204.03 64.35 C159.53 63.62, 111.39 61.97, 16.09 64.35 M204.03 64.35 C134.3 64.53, 62.81 64.19, 16.09 64.35 M16.09 64.35 C4.43 64.88, -1.6 60.09, 0 48.27 M16.09 64.35 C6.7 66.08, 1.09 56.84, 0 48.27 M0 48.27 C1.09 40.28, -0.58 29.95, 0 16.09 M0 48.27 C-0.85 36.58, 0.51 23.9, 0 16.09 M0 16.09 C-0.1 6.52, 4.2 1.88, 16.09 0 M0 16.09 C-1.46 4.52, 6.52 -0.02, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(27.661557944395213 202.0668903219265) rotate(0 94.45991516113281 12.5)"><text x="94.45991516113281" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotPathElements</text></g><g stroke-linecap="round" transform="translate(191.8132500471637 269.5274138449651) rotate(0 70.68038597279167 30.528358897653277)"><path d="M15.26 0 C47.83 -1.16, 85.47 -0.08, 126.1 0 M15.26 0 C56.88 -0.3, 99.45 -0.2, 126.1 0 M126.1 0 C136.08 0.8, 141.62 6.56, 141.36 15.26 M126.1 0 C136.45 1.14, 142.08 3.09, 141.36 15.26 M141.36 15.26 C139.82 27.87, 140.67 37.85, 141.36 45.79 M141.36 15.26 C140.71 24.08, 141.84 33.9, 141.36 45.79 M141.36 45.79 C140.58 54.26, 134.28 59.86, 126.1 61.06 M141.36 45.79 C143.45 53.92, 134.17 59.28, 126.1 61.06 M126.1 61.06 C86.47 62.45, 44.91 60.01, 15.26 61.06 M126.1 61.06 C87.53 61.72, 47.38 60.27, 15.26 61.06 M15.26 61.06 C6.95 61.87, 0.02 54.51, 0 45.79 M15.26 61.06 C4.89 61.8, 2.04 54.27, 0 45.79 M0 45.79 C-1.42 40.42, -0.76 32.1, 0 15.26 M0 45.79 C0.93 39.16, 0.61 31.88, 0 15.26 M0 15.26 C1.46 5.13, 5.56 0.1, 15.26 0 M0 15.26 C-1.16 5.36, 3.95 2.03, 15.26 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(228.333662875424 275.05577274261833) rotate(0 34.15997314453125 25)"><text x="34.15997314453125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes </text><text x="34.15997314453125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(array)</text></g><g stroke-linecap="round" transform="translate(23.202780735500482 96.60751727431688) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C70.78 -0.01, 123.49 -1.25, 204.03 0 M16.09 0 C57.49 1.26, 97.94 0.87, 204.03 0 M204.03 0 C216.35 -1.48, 220.29 6.79, 220.12 16.09 M204.03 0 C215.25 0.57, 217.87 4.82, 220.12 16.09 M220.12 16.09 C219.53 28.87, 221.91 38.86, 220.12 48.27 M220.12 16.09 C220.92 25.05, 219.69 33.47, 220.12 48.27 M220.12 48.27 C221.29 58.04, 214.98 64.44, 204.03 64.35 M220.12 48.27 C220.71 59.67, 215.4 63.93, 204.03 64.35 M204.03 64.35 C139.43 63.73, 74.64 62.33, 16.09 64.35 M204.03 64.35 C135.19 64.21, 65.05 65.58, 16.09 64.35 M16.09 64.35 C4.03 64.05, 1.83 57.97, 0 48.27 M16.09 64.35 C4.38 66.31, 0.48 59.87, 0 48.27 M0 48.27 C1.05 37.43, 0.81 28.06, 0 16.09 M0 48.27 C0.18 41.54, -0.41 34.98, 0 16.09 M0 16.09 C1.1 6.76, 6.39 1.34, 16.09 0 M0 16.09 C0.25 4.87, 3.25 -0.73, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(61.10042452890616 116.28493382519275) rotate(0 72.15992736816406 12.5)"><text x="72.15992736816406" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentResults</text></g><g stroke-linecap="round" transform="translate(266.99087835584 181.52057105264402) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C65.89 -1.89, 116.14 -1, 204.03 0 M16.09 0 C68.97 0.33, 123.11 -0.1, 204.03 0 M204.03 0 C214.71 0.52, 222.09 6.43, 220.12 16.09 M204.03 0 C216.03 1.73, 222.11 4.66, 220.12 16.09 M220.12 16.09 C220.26 25.19, 219.24 32.17, 220.12 48.27 M220.12 16.09 C220.28 25.83, 219.81 35.62, 220.12 48.27 M220.12 48.27 C220.72 59.56, 215.91 64.52, 204.03 64.35 M220.12 48.27 C218.71 58.27, 214.81 66.25, 204.03 64.35 M204.03 64.35 C149.82 63.15, 94.3 61.63, 16.09 64.35 M204.03 64.35 C139.92 63.99, 75.03 64.9, 16.09 64.35 M16.09 64.35 C5.74 63.29, 1.05 57.65, 0 48.27 M16.09 64.35 C6.79 63.52, -2.1 59.77, 0 48.27 M0 48.27 C-1.89 37.49, -1.67 28.13, 0 16.09 M0 48.27 C0.84 39.12, 0.16 29.78, 0 16.09 M0 16.09 C1.78 4.74, 6.96 0.26, 16.09 0 M0 16.09 C0.76 4.25, 6.86 0.69, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(275.2985486995386 188.6979876035199) rotate(0 101.7499008178711 25)"><text x="101.7499008178711" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentResultsRootS</text><text x="101.7499008178711" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">alt</text></g><g stroke-linecap="round" transform="translate(780.0769016238432 175.80356266788) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C79.37 0.34, 141.5 0.53, 204.03 0 M16.09 0 C65.96 0.48, 113.49 1.17, 204.03 0 M204.03 0 C214.37 1.73, 219.4 4.71, 220.12 16.09 M204.03 0 C216.32 -2.11, 222.25 5.8, 220.12 16.09 M220.12 16.09 C220.05 23.57, 217.81 32.69, 220.12 48.27 M220.12 16.09 C219.87 25.07, 220.57 34.21, 220.12 48.27 M220.12 48.27 C221.32 58.9, 214.11 63.5, 204.03 64.35 M220.12 48.27 C220.6 60.76, 216.03 65.08, 204.03 64.35 M204.03 64.35 C130.51 66.05, 58.6 63.28, 16.09 64.35 M204.03 64.35 C154.8 64.11, 106.38 63.69, 16.09 64.35 M16.09 64.35 C5.32 65.88, 1.71 57.22, 0 48.27 M16.09 64.35 C6.35 62.11, -0.84 59.55, 0 48.27 M0 48.27 C-1.33 35.09, 0.11 23.74, 0 16.09 M0 48.27 C0.51 39.91, -0.62 30.93, 0 16.09 M0 16.09 C1.57 5.29, 5.3 -0.66, 16.09 0 M0 16.09 C-1.16 3.15, 5.58 -2.12, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.6445741037724 182.98097921875592) rotate(0 101.48989868164062 25)"><text x="101.48989868164062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentSpentVoiceCre</text><text x="101.48989868164062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ditSubtotal</text></g><g stroke-linecap="round" transform="translate(357.00796164157634 272.56240595327967) rotate(0 124.30262237876906 30)"><path d="M15 0 C68.9 0.06, 122.61 2.11, 233.61 0 M15 0 C68.93 -0.04, 124.5 -0.57, 233.61 0 M233.61 0 C245.22 1.25, 248.92 4.21, 248.61 15 M233.61 0 C241.83 -0.93, 247.41 5.58, 248.61 15 M248.61 15 C250.22 20.79, 249.96 27.07, 248.61 45 M248.61 15 C247.62 24.44, 248.39 32.21, 248.61 45 M248.61 45 C248.38 53.75, 244.14 58.13, 233.61 60 M248.61 45 C246.77 56.79, 243.14 60.55, 233.61 60 M233.61 60 C172.18 59.48, 111.85 60.04, 15 60 M233.61 60 C155.73 61.78, 79.42 61.99, 15 60 M15 60 C4.86 60.42, 0.92 53.1, 0 45 M15 60 C6.66 59.58, 1.68 53.93, 0 45 M0 45 C0.37 34.7, -1.4 28.01, 0 15 M0 45 C-0.46 33.79, -1.12 22.94, 0 15 M0 15 C-1.81 5.96, 5.09 1.64, 15 0 M0 15 C-1.53 5.71, 5.38 -1.21, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(366.29070181819714 277.56240595327967) rotate(0 115.0198822021485 25)"><text x="115.01988220214844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentSpentVoiceCredit</text><text x="115.01988220214844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">SubtotalSalt</text></g><g stroke-linecap="round" transform="translate(517.2472446685452 177.551816608284) rotate(0 110.0575711615698 32.177416550875904)"><path d="M16.09 0 C61.23 -0.09, 109.08 0.32, 204.03 0 M16.09 0 C70.33 1.35, 123.02 -0.02, 204.03 0 M204.03 0 C216.01 0.39, 220.61 3.63, 220.12 16.09 M204.03 0 C213.31 0.76, 218.23 4.35, 220.12 16.09 M220.12 16.09 C221.37 22.89, 220.15 28.56, 220.12 48.27 M220.12 16.09 C219.77 23.84, 220.02 32.9, 220.12 48.27 M220.12 48.27 C219.49 57.17, 215.81 64.34, 204.03 64.35 M220.12 48.27 C218.01 57.64, 216.31 62.45, 204.03 64.35 M204.03 64.35 C151.78 62.38, 95.8 62.45, 16.09 64.35 M204.03 64.35 C163.11 65.18, 121.36 66.7, 16.09 64.35 M16.09 64.35 C5.88 63.34, 1.21 58.66, 0 48.27 M16.09 64.35 C5.46 65.52, 0.79 58.08, 0 48.27 M0 48.27 C0.44 37.54, -0.86 27.51, 0 16.09 M0 48.27 C0.14 39.59, 0.81 29.88, 0 16.09 M0 16.09 C1.33 3.95, 5.84 1.39, 16.09 0 M0 16.09 C-1.04 3.55, 5.59 0.93, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(523.7049165381228 184.72923315915995) rotate(0 103.59989929199213 25)"><text x="103.59989929199219" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentPerVOSpentVoi</text><text x="103.59989929199219" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ceCredits</text></g><g stroke-linecap="round" transform="translate(643.7355392059662 277.8686735514718) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C72.42 1.09, 132.82 2.62, 204.03 0 M16.09 0 C87.57 2.27, 159.73 0.53, 204.03 0 M204.03 0 C216.08 -0.92, 218.48 6.01, 220.12 16.09 M204.03 0 C212.82 -2.26, 219.87 7.6, 220.12 16.09 M220.12 16.09 C221.13 30.26, 218.72 42.26, 220.12 48.27 M220.12 16.09 C219.42 27.31, 219.68 40.04, 220.12 48.27 M220.12 48.27 C221.7 58.5, 213.46 65.32, 204.03 64.35 M220.12 48.27 C218.78 60.79, 214.1 62.66, 204.03 64.35 M204.03 64.35 C163.89 66.3, 128.12 65.33, 16.09 64.35 M204.03 64.35 C139.81 63.51, 74.48 63.96, 16.09 64.35 M16.09 64.35 C4.99 63.02, 0.73 60.81, 0 48.27 M16.09 64.35 C7.01 63.6, 0.77 60.67, 0 48.27 M0 48.27 C0.5 41.89, 1.58 29.75, 0 16.09 M0 48.27 C-0.62 36.33, 0.48 24.43, 0 16.09 M0 16.09 C-1.19 3.74, 6.05 0.25, 16.09 0 M0 16.09 C1.73 5.92, 3.31 -1.52, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(650.1932110755438 285.0460901023477) rotate(0 103.59989929199219 25)"><text x="103.59989929199219" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">currentPerVOSpentVoi</text><text x="103.59989929199219" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ceCreditsRootSalt</text></g><g stroke-linecap="round" transform="translate(266.6111203981519 366.3131925497832) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C83.96 0.81, 156.53 -0.12, 204.03 0 M16.09 0 C88.61 -0.39, 160.94 -1.67, 204.03 0 M204.03 0 C214.24 -0.96, 219.67 4.83, 220.12 16.09 M204.03 0 C215.47 1.54, 220.87 6.46, 220.12 16.09 M220.12 16.09 C219.8 27.04, 221.71 41.22, 220.12 48.27 M220.12 16.09 C219.39 23.48, 220.34 31.46, 220.12 48.27 M220.12 48.27 C220.44 60.43, 214.44 64.12, 204.03 64.35 M220.12 48.27 C220.45 61, 216.18 66.24, 204.03 64.35 M204.03 64.35 C141.09 63.98, 79.78 64.58, 16.09 64.35 M204.03 64.35 C161.19 65.2, 120.25 66.06, 16.09 64.35 M16.09 64.35 C6.29 65.46, -0.15 58.31, 0 48.27 M16.09 64.35 C6.57 63.95, -0.88 57.68, 0 48.27 M0 48.27 C0.76 37.31, -1.83 25.81, 0 16.09 M0 48.27 C-0.46 39.27, -0.92 29.67, 0 16.09 M0 16.09 C-1.57 7.04, 3.41 1.28, 16.09 0 M0 16.09 C-1.62 7.52, 3.96 1.5, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(278.82877914517087 385.9906091006591) rotate(0 97.83991241455078 12.5)"><text x="97.83991241455078" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newResultsRootSalt</text></g><g stroke-linecap="round" transform="translate(13.593253284431626 365.0377011484165) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C62.57 0.23, 108.35 -2.36, 204.03 0 M16.09 0 C85.33 -1.79, 155.08 -2.25, 204.03 0 M204.03 0 C215.58 -1.57, 221.79 3.41, 220.12 16.09 M204.03 0 C216.22 -1.62, 222.27 3.96, 220.12 16.09 M220.12 16.09 C219.34 26.15, 220.76 40.67, 220.12 48.27 M220.12 16.09 C219.5 23.64, 220.48 29.53, 220.12 48.27 M220.12 48.27 C219.9 57.03, 216.3 63.6, 204.03 64.35 M220.12 48.27 C219.65 59.53, 214.89 63.06, 204.03 64.35 M204.03 64.35 C159.48 61.28, 118.45 65.15, 16.09 64.35 M204.03 64.35 C153.03 63.85, 101.79 65.21, 16.09 64.35 M16.09 64.35 C6.8 63.63, 0.54 58.72, 0 48.27 M16.09 64.35 C5.03 64.93, 1.88 60.91, 0 48.27 M0 48.27 C-1.25 37.25, 1.75 23.64, 0 16.09 M0 48.27 C1.26 37.07, 1.22 25.03, 0 16.09 M0 16.09 C-1.78 5.7, 5.98 1.33, 16.09 0 M0 16.09 C1.45 4.22, 7.57 -1.42, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(21.980917829790428 372.2151176992924) rotate(0 101.66990661621094 25)"><text x="101.66990661621094" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newPerVOSpentVoiceC</text><text x="101.66990661621094" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">reditsRootSalt</text></g><g stroke-linecap="round" transform="translate(536.9657638411214 357.1018915839049) rotate(0 110.0575711615698 32.17741655087593)"><path d="M16.09 0 C56.85 -0.66, 92.06 -0.56, 204.03 0 M16.09 0 C77.78 -0.22, 139.85 -1.67, 204.03 0 M204.03 0 C214.34 -1.28, 220.06 7.29, 220.12 16.09 M204.03 0 C216.77 -0.68, 220.46 6.32, 220.12 16.09 M220.12 16.09 C221.51 24.68, 219.77 36.4, 220.12 48.27 M220.12 16.09 C220.67 26.31, 219.88 36.25, 220.12 48.27 M220.12 48.27 C219.24 57.49, 215.44 66.04, 204.03 64.35 M220.12 48.27 C219.98 60.14, 213.63 64.56, 204.03 64.35 M204.03 64.35 C136.25 63.98, 73.13 65.62, 16.09 64.35 M204.03 64.35 C143.14 64.68, 81.74 64.59, 16.09 64.35 M16.09 64.35 C7.01 62.76, -0.83 57.28, 0 48.27 M16.09 64.35 C5.28 66.37, -0.34 58.03, 0 48.27 M0 48.27 C-0.93 39.81, 1.32 27.22, 0 16.09 M0 48.27 C0.63 37.12, -0.63 25.77, 0 16.09 M0 16.09 C1.96 4.84, 7.29 -0.61, 16.09 0 M0 16.09 C1.12 5.5, 6.25 1.44, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(544.7834363210505 364.2793081347808) rotate(0 102.23989868164057 25)"><text x="102.23989868164062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newSpentVoiceCreditS</text><text x="102.23989868164062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ubtotalSalt</text></g><g stroke-linecap="round"><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M-1.16 -0.97 C-1.45 12.37, -2.28 67.64, -2.11 81.17 M0.42 1.13 C0.55 14.65, 0.23 66.09, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M-8.28 55.92 C-7.46 60.64, -2.25 70.22, 0.1 79.47 M-8.28 55.92 C-6.85 63.32, -3.39 69.98, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(588.359957435367 475.5060823760983) rotate(0 -0.5737647404203017 40.173851339145926)"><path d="M8.82 56.04 C5.11 60.57, 5.78 70.11, 0.1 79.47 M8.82 56.04 C5.34 63.43, 3.89 70.05, 0.1 79.47" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(649.1512625237958 497.939590852403) rotate(0 31.809967041015625 12.5)"><text x="0" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Inputs</text></g><g stroke-linecap="round"><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M0.11 -0.41 C38.68 -4.43, 192.34 -19.1, 230.8 -23.08 M-1.29 -1.67 C37.22 -5.5, 191.52 -21.16, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M207.61 -13.94 C212.49 -15.71, 220.31 -18.21, 230.16 -24.74 M207.61 -13.94 C213.06 -17.74, 219.12 -19.89, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(801.5081075393834 625.747776767402) rotate(0 115.11289570814108 -11.985195439505617)"><path d="M205.95 -30.96 C211.39 -28.46, 219.63 -26.69, 230.16 -24.74 M205.95 -30.96 C211.98 -30.12, 218.49 -27.63, 230.16 -24.74" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1068.4076690157722 76.6330906873581) rotate(0 134.7272739645182 56.817925724212444)"><path d="M28.41 0 C86.16 1.01, 147.05 1.74, 241.05 0 M28.41 0 C75.39 0.01, 122.67 1.1, 241.05 0 M241.05 0 C259.6 0.79, 267.67 10.83, 269.45 28.41 M241.05 0 C259.58 -0.4, 271.25 10.56, 269.45 28.41 M269.45 28.41 C270.4 45.7, 270.87 65.99, 269.45 85.23 M269.45 28.41 C270.23 39.88, 269.12 51.99, 269.45 85.23 M269.45 85.23 C271.07 102.26, 260.32 113.6, 241.05 113.64 M269.45 85.23 C267.9 104.25, 259.2 113.62, 241.05 113.64 M241.05 113.64 C177.15 110.22, 115.77 112.46, 28.41 113.64 M241.05 113.64 C188.13 111.72, 134.98 112.72, 28.41 113.64 M28.41 113.64 C7.8 113.82, 0.26 102.73, 0 85.23 M28.41 113.64 C9.28 112.34, -0.56 105.76, 0 85.23 M0 85.23 C0.51 73.16, -0.11 62.23, 0 28.41 M0 85.23 C-0.36 65.35, 1.5 45.67, 0 28.41 M0 28.41 C1.83 8.51, 8.74 0.1, 28.41 0 M0 28.41 C-0.15 8.05, 7.58 -1.77, 28.41 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1076.845041246892 95.95101641157055) rotate(0 126.28990173339844 37.5)"><text x="126.28990173339844" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">1. verify state and ballot</text><text x="126.28990173339844" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">root commitment </text><text x="126.28990173339844" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(sbCommitment)</text></g><g transform="translate(835.4534528920151 506.9384420969274) rotate(0 49.669944763183594 12.5)"><text x="0" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1e1e1e" text-anchor="start" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Processing</text></g><g stroke-linecap="round"><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M0.08 -0.98 C20.85 -2.2, 102.91 -5.51, 123.62 -6.24 M-1.34 1.13 C19.36 0.63, 101.79 -3.25, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M99.69 5.2 C102.9 3.08, 109.69 2.18, 122.68 -4.62 M99.69 5.2 C108.94 1.95, 117.25 -2.92, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1338.8622169448086 128.2381131764094) rotate(0 61.8100949426514 -3.1920893994773394)"><path d="M98.75 -11.88 C102.32 -10.33, 109.32 -7.58, 122.68 -4.62 M98.75 -11.88 C108.42 -8.52, 117.09 -6.77, 122.68 -4.62" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1480.9262539797019 70.53188686001079) rotate(0 160.23457477676288 53.48255786656648)"><path d="M26.74 0 C79.67 0.93, 134.69 1.03, 293.73 0 M26.74 0 C121.26 1.11, 213.56 -0.03, 293.73 0 M293.73 0 C312.37 -1.81, 320.44 7.51, 320.47 26.74 M293.73 0 C313.56 1.09, 321.18 8.58, 320.47 26.74 M320.47 26.74 C319.12 38.43, 319.88 51.03, 320.47 80.22 M320.47 26.74 C320.63 42.43, 320.66 57.78, 320.47 80.22 M320.47 80.22 C319.51 98.79, 310.94 107.05, 293.73 106.97 M320.47 80.22 C318.91 100, 310.68 105.24, 293.73 106.97 M293.73 106.97 C201.59 107.5, 110.24 105.85, 26.74 106.97 M293.73 106.97 C216.12 108.51, 138.86 108.58, 26.74 106.97 M26.74 106.97 C7.28 107.33, -1.39 96.09, 0 80.22 M26.74 106.97 C9.22 106.43, -1.95 98.84, 0 80.22 M0 80.22 C-1.98 61.52, 1.28 44.09, 0 26.74 M0 80.22 C-0.5 63.88, 0.68 49.92, 0 26.74 M0 26.74 C0.02 7.43, 9.25 1.56, 26.74 0 M0 26.74 C-1.13 6.67, 6.7 1.3, 26.74 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1519.9909297696483 86.51444472657727) rotate(0 121.16989898681652 37.5)"><text x="121.1698989868164" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">hash3( stateTreeRoot, </text><text x="121.1698989868164" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballotTreeRoot, </text><text x="121.1698989868164" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">saltAndBallotSalt)</text></g><g stroke-linecap="round" transform="translate(1081.0231174443206 208.7300319126395) rotate(0 126.89967642472766 59.3983285600263)"><path d="M29.7 0 C77.93 2.41, 126.27 1.32, 224.1 0 M29.7 0 C85.82 -0.22, 141.51 0.75, 224.1 0 M224.1 0 C242.55 0.37, 252.33 8.92, 253.8 29.7 M224.1 0 C245.71 0.76, 255.17 7.76, 253.8 29.7 M253.8 29.7 C253.9 49.4, 254.23 68.91, 253.8 89.1 M253.8 29.7 C253.55 42.41, 252.79 53.23, 253.8 89.1 M253.8 89.1 C254.96 107.95, 244.89 120.31, 224.1 118.8 M253.8 89.1 C252.73 109.94, 242.63 119.29, 224.1 118.8 M224.1 118.8 C170.85 116.88, 116.6 117.62, 29.7 118.8 M224.1 118.8 C185.27 117.42, 145.58 118.04, 29.7 118.8 M29.7 118.8 C10.02 120.07, -1.64 110.86, 0 89.1 M29.7 118.8 C9.38 120.42, 2.1 110.7, 0 89.1 M0 89.1 C-0.89 74.2, 1.63 63.04, 0 29.7 M0 89.1 C-0.27 68.48, -0.28 48.83, 0 29.7 M0 29.7 C-0.18 8.23, 11.44 0.22, 29.7 0 M0 29.7 C0.83 11.46, 10.67 1.03, 29.7 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1089.592898849517 243.1283604726658) rotate(0 118.32989501953125 25.00000000000003)"><text x="118.32989501953125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2. verify the inputHash </text><text x="118.32989501953125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(the only public input)</text></g><g stroke-linecap="round"><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M0.39 -0.06 C19.12 -1.55, 94.56 -6.82, 113.41 -8.17 M-0.87 -1.14 C17.66 -2.53, 93.71 -5.85, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M89.62 2.82 C98.27 -0.25, 106.53 -3.81, 112.68 -6.84 M89.62 2.82 C95.9 0.19, 102.23 -1.52, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1340.4632814593897 262.09322484973836) rotate(0 56.497890677715304 -3.8876755950670656)"><path d="M88.81 -14.26 C97.88 -10.81, 106.45 -7.84, 112.68 -6.84 M88.81 -14.26 C95.46 -12.33, 102.01 -9.48, 112.68 -6.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1473.4984936328037 214.19739367915025) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C61.25 -0.49, 96.05 0.35, 192.62 0 M27.5 0 C86.67 1.74, 145.18 1.46, 192.62 0 M192.62 0 C210.42 -0.89, 220.95 7.96, 220.12 27.5 M192.62 0 C212.42 0.79, 220.27 7.8, 220.12 27.5 M220.12 27.5 C220.14 49.71, 220.45 69.04, 220.12 82.5 M220.12 27.5 C219.57 48.66, 220.31 69.48, 220.12 82.5 M220.12 82.5 C221.82 101.29, 212.49 108.55, 192.62 110 M220.12 82.5 C218.6 102.41, 208.83 109.57, 192.62 110 M192.62 110 C148.75 109.11, 100.62 108.72, 27.5 110 M192.62 110 C131.86 109.64, 73.51 109.87, 27.5 110 M27.5 110 C7.9 110.27, 1.37 100.73, 0 82.5 M27.5 110 C10.36 110.85, 1.16 99.29, 0 82.5 M0 82.5 C0 70.59, 0.05 55.77, 0 27.5 M0 82.5 C0.49 65.33, -0.39 49.35, 0 27.5 M0 27.5 C0.66 7.43, 8.85 -1.56, 27.5 0 M0 27.5 C1.29 10.47, 10.4 2.04, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1482.7061578729868 244.19739367915025) rotate(0 100.84990692138672 25)"><text x="100.84990692138672" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">TallyVotesInputHash</text><text x="100.84990692138672" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">er component</text></g><g stroke-linecap="round" transform="translate(1712.9754580881586 212.39394458672888) rotate(0 231.85483863891614 57.215831729189176)"><path d="M28.61 0 C164.65 -0.63, 299.55 -0.25, 435.1 0 M28.61 0 C127.17 -1.48, 225.82 -1.48, 435.1 0 M435.1 0 C455.29 -1.77, 465.14 8.43, 463.71 28.61 M435.1 0 C455.4 1.84, 463.76 10.77, 463.71 28.61 M463.71 28.61 C464.17 47.99, 463.92 67.42, 463.71 85.82 M463.71 28.61 C463.74 47.54, 463.7 65.07, 463.71 85.82 M463.71 85.82 C463.18 105.4, 454.08 115.59, 435.1 114.43 M463.71 85.82 C465.26 105.82, 453.16 115.49, 435.1 114.43 M435.1 114.43 C310.32 114.83, 184.86 115.36, 28.61 114.43 M435.1 114.43 C348.02 115.21, 259.79 115, 28.61 114.43 M28.61 114.43 C7.97 113.48, 1.33 103.25, 0 85.82 M28.61 114.43 C11.56 115.3, -1.34 106.14, 0 85.82 M0 85.82 C0.93 74.7, -0.77 61.12, 0 28.61 M0 85.82 C-0.24 64.93, -0.91 44.43, 0 28.61 M0 28.61 C1.26 9.84, 8.03 -1.28, 28.61 0 M0 28.61 C-0.62 11.51, 11.25 2.29, 28.61 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1719.2605030259028 244.60977631591805) rotate(0 225.56979370117188 25)"><text x="225.56979370117188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">inputs: sbCommitment, currentTallyCommitment,</text><text x="225.56979370117188" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newTallyCommitment, packedVals, inputHash</text></g><g stroke-linecap="round" transform="translate(1048.673448808577 348.54528000971067) rotate(0 178.5978782182391 62.11394901169069)"><path d="M31.06 0 C131.85 0.48, 228.61 -0.06, 326.14 0 M31.06 0 C142.68 1.67, 255.49 1.39, 326.14 0 M326.14 0 C348.26 -1.66, 358.05 11.46, 357.2 31.06 M326.14 0 C347.88 0.91, 357.47 9.4, 357.2 31.06 M357.2 31.06 C356.07 46.21, 356.92 58.56, 357.2 93.17 M357.2 31.06 C357.43 49.97, 356.59 68.3, 357.2 93.17 M357.2 93.17 C357.23 112.51, 345.79 125.99, 326.14 124.23 M357.2 93.17 C354.96 112.33, 348.95 125.09, 326.14 124.23 M326.14 124.23 C246.35 126.88, 166.79 124.86, 31.06 124.23 M326.14 124.23 C234.29 125.19, 142.1 125.62, 31.06 124.23 M31.06 124.23 C8.64 122.74, 1.54 114.36, 0 93.17 M31.06 124.23 C11.25 123.51, 0.89 112.37, 0 93.17 M0 93.17 C-0.18 73.89, -0.57 49.92, 0 31.06 M0 93.17 C0.84 72.31, 0.34 49.29, 0 31.06 M0 31.06 C-1.97 12.23, 9.67 -1.48, 31.06 0 M0 31.06 C-1.48 8.44, 12.52 1.57, 31.06 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1058.5514478764255 373.15922902140136) rotate(0 168.71987915039062 37.5)"><text x="168.71987915039062" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">3. Validate that the batch start</text><text x="168.71987915039062" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">index is &lt;= than the number of </text><text x="168.71987915039062" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">signups</text></g><g stroke-linecap="round" transform="translate(1102.038228298699 497.7820786115755) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C84.43 1.1, 142.52 0.4, 192.62 0 M27.5 0 C74.9 1.84, 124.83 1.09, 192.62 0 M192.62 0 C209 -1.59, 221.69 9.38, 220.12 27.5 M192.62 0 C210.27 0, 221.22 7.85, 220.12 27.5 M220.12 27.5 C219.7 47.28, 219.16 70.61, 220.12 82.5 M220.12 27.5 C220.59 45.34, 218.99 63.87, 220.12 82.5 M220.12 82.5 C219.93 99.5, 209.23 109.57, 192.62 110 M220.12 82.5 C221.6 99.41, 211.23 110.47, 192.62 110 M192.62 110 C141.66 110.55, 92.47 110.93, 27.5 110 M192.62 110 C130.31 108.88, 67.06 110.74, 27.5 110 M27.5 110 C7.67 108.04, -1.97 101.73, 0 82.5 M27.5 110 C7.71 108.83, 0.54 100.91, 0 82.5 M0 82.5 C-0.39 71.65, -0.88 60.9, 0 27.5 M0 82.5 C0.3 64.27, 0.44 48.17, 0 27.5 M0 27.5 C0.73 7.46, 7.31 1.61, 27.5 0 M0 27.5 C0.68 11.3, 10.15 1.17, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1110.10587026105 502.7820786115755) rotate(0 101.98992919921875 50)"><text x="101.98992919921875" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">4. Hash each ballot </text><text x="101.98992919921875" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">and generate the </text><text x="101.98992919921875" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">subroot of the </text><text x="101.98992919921875" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots</text></g><g stroke-linecap="round"><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M0.07 0.87 C9.56 1.03, 47.09 1.04, 56.48 0.77 M-1.36 0.28 C8.02 0.12, 46.07 -0.94, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M32.23 7.98 C39.83 5.76, 45.76 3.38, 55.58 -0.96 M32.23 7.98 C37.95 6.07, 43.91 2.85, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.7997420399533 557.4333083115348) rotate(0 28.201147162785674 0.007314142972575155)"><path d="M31.95 -9.12 C39.59 -6.85, 45.59 -4.75, 55.58 -0.96 M31.95 -9.12 C37.61 -6.98, 43.64 -6.16, 55.58 -0.96" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1480.5190969264277 480.7566003276174) rotate(0 148.9439038532455 55)"><path d="M27.5 0 C120.55 -2.94, 215.26 -0.03, 270.39 0 M27.5 0 C101.18 0.21, 174.6 0.63, 270.39 0 M270.39 0 C288.95 -1.44, 298.26 9.27, 297.89 27.5 M270.39 0 C288.12 2.29, 296.97 10.28, 297.89 27.5 M297.89 27.5 C299.69 42.26, 300.04 51.76, 297.89 82.5 M297.89 27.5 C298.12 47.43, 297.95 66.92, 297.89 82.5 M297.89 82.5 C298.93 99.38, 286.78 110.85, 270.39 110 M297.89 82.5 C296.94 98.77, 286.94 107.74, 270.39 110 M270.39 110 C214.73 108.34, 154.83 110.49, 27.5 110 M270.39 110 C214.65 111.03, 157.97 110.87, 27.5 110 M27.5 110 C9.84 111.38, -0.53 101.78, 0 82.5 M27.5 110 C9.22 108.56, -0.79 102.52, 0 82.5 M0 82.5 C-0.7 64.12, 0.42 48.3, 0 27.5 M0 82.5 C0.69 70.22, -1.02 58.72, 0 27.5 M0 27.5 C1.48 9.06, 10.23 -0.54, 27.5 0 M0 27.5 C1.7 10.44, 7.9 1.55, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1489.153125291392 485.7566003276174) rotate(0 140.30987548828125 50)"><text x="140.30987548828125" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create one hasher </text><text x="140.30987548828125" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">component for each element </text><text x="140.30987548828125" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">in the batch </text><text x="140.30987548828125" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(hashLeftAndRight)</text></g><g stroke-linecap="round" transform="translate(1805.2138714477983 482.26298891160326) rotate(0 141.35669318607802 51.623315648622)"><path d="M25.81 0 C105.94 2.67, 184.48 0.57, 256.9 0 M25.81 0 C73.01 -2.16, 120.04 -2.65, 256.9 0 M256.9 0 C272.4 1.21, 284.07 10.47, 282.71 25.81 M256.9 0 C272.62 -1.34, 281.55 8.01, 282.71 25.81 M282.71 25.81 C282.23 46, 283.35 64.69, 282.71 77.43 M282.71 25.81 C282.29 39.72, 282.37 53.51, 282.71 77.43 M282.71 77.43 C280.74 95.64, 273.84 103.17, 256.9 103.25 M282.71 77.43 C284.87 96.12, 274.92 104.72, 256.9 103.25 M256.9 103.25 C181.01 102.82, 106.13 103.5, 25.81 103.25 M256.9 103.25 C179.74 104.53, 100.41 103.58, 25.81 103.25 M25.81 103.25 C9.14 104.62, -0.31 95.03, 0 77.43 M25.81 103.25 C8.11 102.46, 0.63 94.24, 0 77.43 M0 77.43 C-0.3 64.63, 0.55 53.92, 0 25.81 M0 77.43 C0.03 63.18, -0.33 48.87, 0 25.81 M0 25.81 C1.58 8.04, 9.72 -0.61, 25.81 0 M0 25.81 C-0.04 7.37, 9.96 -0.88, 25.81 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1818.670654660732 508.88630456022526) rotate(0 127.89990997314453 25)"><text x="127.89990997314453" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Hash the nonce and vote </text><text x="127.89990997314453" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option tree root</text></g><g stroke-linecap="round" transform="translate(2119.099124311517 483.6794711026367) rotate(0 138.05888577727933 48.48326212498239)"><path d="M24.24 0 C91.85 0.91, 161.94 1.8, 251.88 0 M24.24 0 C113.43 -0.37, 201.75 0.78, 251.88 0 M251.88 0 C267.21 -0.7, 276.1 7.19, 276.12 24.24 M251.88 0 C266.32 0.67, 277.88 6.98, 276.12 24.24 M276.12 24.24 C275 43.72, 277.52 59.54, 276.12 72.72 M276.12 24.24 C275.77 36.94, 275.19 48.04, 276.12 72.72 M276.12 72.72 C277.01 87.01, 269.02 95.57, 251.88 96.97 M276.12 72.72 C278.1 90.67, 269.17 98.47, 251.88 96.97 M251.88 96.97 C189.88 95.91, 128.05 97.09, 24.24 96.97 M251.88 96.97 C184.11 95.81, 115.02 95.86, 24.24 96.97 M24.24 96.97 C10.03 95.56, -0.25 87.57, 0 72.72 M24.24 96.97 C9.51 96.94, -0.21 87.04, 0 72.72 M0 72.72 C0.09 62.1, 0.22 48.42, 0 24.24 M0 72.72 C0.25 60.38, 0.19 46.9, 0 24.24 M0 24.24 C-0.71 9.66, 8.59 0.29, 24.24 0 M0 24.24 C-0.7 6.99, 7.24 -0.1, 24.24 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(2124.6081291073506 507.16273322761907) rotate(0 132.5498809814453 25)"><text x="132.5498809814453" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">The ballot subroot is the </text><text x="132.5498809814453" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">hash of these two values</text></g><g stroke-linecap="round" transform="translate(1102.4444623505774 634.4136737231911) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C91.1 2.71, 156.15 0.49, 192.62 0 M27.5 0 C80.17 0.81, 132.17 1.4, 192.62 0 M192.62 0 C210.81 1.46, 220.74 9.08, 220.12 27.5 M192.62 0 C213.04 1.27, 221.72 8.84, 220.12 27.5 M220.12 27.5 C220.01 47.84, 222.03 70.83, 220.12 82.5 M220.12 27.5 C220.08 40.1, 220.5 51.59, 220.12 82.5 M220.12 82.5 C221.3 99.44, 210.63 108.54, 192.62 110 M220.12 82.5 C221.56 102.92, 210.89 111.27, 192.62 110 M192.62 110 C145.41 109.56, 100.75 110.29, 27.5 110 M192.62 110 C144.95 109.26, 96.38 109.11, 27.5 110 M27.5 110 C7.45 111.38, 0.84 101.17, 0 82.5 M27.5 110 C9.45 107.88, -1.11 100.93, 0 82.5 M0 82.5 C0.54 63.3, -0.8 43.77, 0 27.5 M0 82.5 C-0.24 69.24, 0.08 56.49, 0 27.5 M0 27.5 C0.08 7.35, 10.48 0.77, 27.5 0 M0 27.5 C-1.06 7.83, 7.88 -1.4, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1110.482113163026 651.9136737231911) rotate(0 102.0199203491211 37.5)"><text x="102.0199203491211" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">5. Ensure that the </text><text x="102.0199203491211" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballots are part of </text><text x="102.0199203491211" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">the quinary tree</text></g><g stroke-linecap="round"><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M-0.2 0.03 C9.76 -0.38, 49.88 -1.95, 59.94 -2.2 M-1.76 -1 C8.02 -1.23, 48.78 -0.31, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M35.53 7.94 C42.97 5.24, 50.15 2.82, 58.99 -0.72 M35.53 7.94 C42.92 5.3, 52.65 2, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1363.1669063231693 697.7052688159902) rotate(0 29.970244303496656 -1.0413346064792108)"><path d="M35.45 -9.16 C42.95 -6.46, 50.15 -3.48, 58.99 -0.72 M35.45 -9.16 C42.99 -5.75, 52.75 -3.02, 58.99 -0.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1448.7703876518676 633.9832207470788) rotate(0 144.30894446548086 67.5)"><path d="M32 0 C93.47 -0.74, 151.95 1.73, 256.62 0 M32 0 C117.69 -0.34, 202.81 0.27, 256.62 0 M256.62 0 C277.01 -0.47, 287.29 11.72, 288.62 32 M256.62 0 C278.76 -1.18, 290.62 11.19, 288.62 32 M288.62 32 C288.15 46.39, 288.94 65.64, 288.62 103 M288.62 32 C287.51 48.33, 287.22 64.81, 288.62 103 M288.62 103 C289.94 125.58, 278.12 133.79, 256.62 135 M288.62 103 C287.83 124.9, 278.7 133.02, 256.62 135 M256.62 135 C192.68 132.62, 130.98 133.96, 32 135 M256.62 135 C174.93 136.96, 94.43 136.29, 32 135 M32 135 C9.48 135.32, -0.69 125.82, 0 103 M32 135 C9.29 134.7, 1.15 122.42, 0 103 M0 103 C1.65 86.54, 0.12 73.14, 0 32 M0 103 C0.03 87.72, 0.95 71.44, 0 32 M0 32 C1.48 10.17, 12.22 -0.3, 32 0 M0 32 C-1.12 12.13, 12.73 -0.74, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1454.809434656411 638.9832207470788) rotate(0 138.2698974609376 62.5)"><text x="138.2698974609375" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create a component </text><text x="138.2698974609375" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(QuinaryLeafExists) to be </text><text x="138.2698974609375" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">used to verify if a leaf </text><text x="138.2698974609375" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">exists in a quinary tree of </text><text x="138.2698974609375" y="100" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">depth k</text></g><g stroke-linecap="round" transform="translate(1752.4061456814302 637.7649367937547) rotate(0 194.22116942181583 67.5)"><path d="M32 0 C121.11 -0.25, 210.9 -0.26, 356.44 0 M32 0 C101.09 0.66, 171.74 0.14, 356.44 0 M356.44 0 C377.99 0.59, 387.09 10.36, 388.44 32 M356.44 0 C378.51 2.11, 387.39 10.5, 388.44 32 M388.44 32 C387.1 58.96, 386.37 83.2, 388.44 103 M388.44 32 C387.17 51.65, 387.81 69.95, 388.44 103 M388.44 103 C389.56 125.49, 378.05 135.07, 356.44 135 M388.44 103 C389.96 126.49, 377.13 135.66, 356.44 135 M356.44 135 C258.9 135.57, 162.37 134.36, 32 135 M356.44 135 C230.75 134.94, 104.19 135.25, 32 135 M32 135 C11.05 133.48, -1.28 125.68, 0 103 M32 135 C9.47 134.73, 1.26 123.56, 0 103 M0 103 C-1.01 79.74, -1.77 52.4, 0 32 M0 103 C-0.85 88.66, -0.46 73.17, 0 32 M0 32 C-0.28 11.01, 11.67 0.16, 32 0 M0 32 C0.07 12.75, 8.67 -1.27, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1757.5174823395741 642.7649367937547) rotate(0 189.10983276367188 62.5)"><text x="189.10983276367188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Create a component </text><text x="189.10983276367188" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">(QuinaryGeneratePathIndices) to </text><text x="189.10983276367188" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">generate the indices of the path from</text><text x="189.10983276367188" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">a leaf to the root of a quinary tree</text><text x="189.10983276367188" y="100" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">with a depth of k</text></g><g stroke-linecap="round" transform="translate(2155.3683562529327 639.7310366085505) rotate(0 199.98966765019668 62.38027606929904)"><path d="M31.19 0 C139.06 -1.61, 244.08 -2.03, 368.79 0 M31.19 0 C136.97 0.3, 243.38 0.29, 368.79 0 M368.79 0 C389.5 -0.73, 398.45 12.02, 399.98 31.19 M368.79 0 C389.17 -0.28, 400.42 10.53, 399.98 31.19 M399.98 31.19 C399.09 52.5, 398.36 77.4, 399.98 93.57 M399.98 31.19 C400.44 51.98, 399.51 73.71, 399.98 93.57 M399.98 93.57 C398.38 114.48, 387.71 124.72, 368.79 124.76 M399.98 93.57 C400.02 113.05, 389.01 124.69, 368.79 124.76 M368.79 124.76 C291.51 122.72, 212.31 123.73, 31.19 124.76 M368.79 124.76 C297.58 127.14, 226.17 126.47, 31.19 124.76 M31.19 124.76 C9.44 125.58, 1.66 113.2, 0 93.57 M31.19 124.76 C11.07 126.67, 0.04 116.28, 0 93.57 M0 93.57 C0.37 72.15, 1.68 54.53, 0 31.19 M0 93.57 C-0.74 68.11, 0.43 44.67, 0 31.19 M0 31.19 C-0.84 8.63, 8.88 -0.63, 31.19 0 M0 31.19 C-0.45 12.37, 10.4 1.7, 31.19 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(2161.168204567192 652.1113126778496) rotate(0 194.1898193359375 50)"><text x="194.1898193359375" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Loop from 0 to k and assign the path</text><text x="194.1898193359375" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">indices and elements to the leaf </text><text x="194.1898193359375" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">existence checker to confirm that each</text><text x="194.1898193359375" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">ballot is part of the quinary tree</text></g><g stroke-linecap="round" transform="translate(1104.0355308573048 799.7900063619686) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C62.96 1.07, 95.39 1.07, 192.62 0 M27.5 0 C80.32 -0.5, 135.42 -0.1, 192.62 0 M192.62 0 C209.62 -0.29, 218.54 10.89, 220.12 27.5 M192.62 0 C211.48 -0.31, 220.47 8.87, 220.12 27.5 M220.12 27.5 C217.9 41.69, 219.94 53.81, 220.12 82.5 M220.12 27.5 C220.48 42.58, 220.58 57.64, 220.12 82.5 M220.12 82.5 C220.24 102.55, 209.96 109.42, 192.62 110 M220.12 82.5 C218.04 99.29, 212.86 111.25, 192.62 110 M192.62 110 C139.13 107.79, 87.39 108.16, 27.5 110 M192.62 110 C157.47 109.05, 123.23 107.93, 27.5 110 M27.5 110 C8.8 108, 1.61 101.6, 0 82.5 M27.5 110 C10.47 109.31, -1.06 102.87, 0 82.5 M0 82.5 C0.39 69.64, -1.32 57.64, 0 27.5 M0 82.5 C0.1 63.19, 0.63 44.39, 0 27.5 M0 27.5 C-1.16 7.27, 10.68 -1.04, 27.5 0 M0 27.5 C1.18 10.34, 11.01 -1.27, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1120.3231816697535 829.7900063619686) rotate(0 93.7699203491211 25)"><text x="93.7699203491211" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">6. Verify the vote </text><text x="93.7699203491211" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option root</text></g><g stroke-linecap="round"><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M-0.46 -0.57 C15.37 1.84, 78.14 11.15, 93.9 13.48 M1.5 1.74 C17.27 3.88, 77.64 10.06, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M68.73 17.74 C72.92 16.63, 79.9 15.72, 92.98 11.65 M68.73 17.74 C76.31 16.38, 84.92 13.4, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1351.2678784433556 859.4476217421691) rotate(0 46.92503091319634 6.460994713404034)"><path d="M70.49 0.73 C74.17 3.19, 80.78 5.85, 92.98 11.65 M70.49 0.73 C77.57 5.16, 85.57 7.97, 92.98 11.65" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1466.2028348089398 820.791988445272) rotate(0 146.6977890121732 65.2199633785624)"><path d="M32 0 C113.19 -0.64, 193.7 0.23, 261.4 0 M32 0 C105.51 -0.52, 180.62 -1.22, 261.4 0 M261.4 0 C284.61 -0.86, 293.79 12.13, 293.4 32 M261.4 0 C284.6 0.01, 292.64 11.68, 293.4 32 M293.4 32 C291.34 57.14, 291.87 81.96, 293.4 98.44 M293.4 32 C293.72 58.14, 293.21 82.17, 293.4 98.44 M293.4 98.44 C292.23 118, 281.01 129.53, 261.4 130.44 M293.4 98.44 C293.05 119.67, 284.41 130.8, 261.4 130.44 M261.4 130.44 C177.92 131.94, 94.94 133.62, 32 130.44 M261.4 130.44 C182.33 130.34, 103.26 129.27, 32 130.44 M32 130.44 C9.44 131.25, -0.32 120.58, 0 98.44 M32 130.44 C8.88 132.64, -1.81 119.58, 0 98.44 M0 98.44 C0.16 73.57, 0.42 46.44, 0 32 M0 98.44 C0.33 74.38, 0.25 49.76, 0 32 M0 32 C1.37 8.98, 11.73 0.59, 32 0 M0 32 C2.18 11.53, 9.18 -1.02, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1475.7207532156442 861.0119518238344) rotate(0 137.17987060546886 25)"><text x="137.17987060546875" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">verify the root of the vote</text><text x="137.17987060546875" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">option tree for each ballot.</text></g><g stroke-linecap="round" transform="translate(1779.2838341147149 824.1889212252056) rotate(0 357.85828845441506 59.82879290296307)"><path d="M29.91 0 C288.99 0.24, 547.28 1.36, 685.8 0 M29.91 0 C277.62 0.21, 524.46 0.87, 685.8 0 M685.8 0 C704.74 1.22, 714.83 8.78, 715.72 29.91 M685.8 0 C706.87 1.77, 717.95 10.25, 715.72 29.91 M715.72 29.91 C716.86 46.78, 715.92 66.41, 715.72 89.74 M715.72 29.91 C715.97 45.93, 716.4 60.5, 715.72 89.74 M715.72 89.74 C715.78 107.77, 705.28 119.84, 685.8 119.66 M715.72 89.74 C716.58 107.9, 704.24 119.09, 685.8 119.66 M685.8 119.66 C467.32 118.79, 249.16 119.29, 29.91 119.66 M685.8 119.66 C446.13 120.04, 206.49 119.97, 29.91 119.66 M29.91 119.66 C9.86 118.49, 0.9 110.5, 0 89.74 M29.91 119.66 C8.18 119.27, -0.38 109.94, 0 89.74 M0 89.74 C0.79 66.43, 1 41.31, 0 29.91 M0 89.74 C-0.74 68.59, -0.7 46.46, 0 29.91 M0 29.91 C-1.07 8.79, 11.32 -1.48, 29.91 0 M0 29.91 C0.05 8.02, 8.77 1.87, 29.91 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1799.462374033974 834.0177141281686) rotate(0 337.67974853515625 50)"><text x="337.67974853515625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">checks that the root of the vote option tree of the i-th ballot is </text><text x="337.67974853515625" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">equal to the root stored in the i-th ballot. If the roots are not </text><text x="337.67974853515625" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">equal, the circuit will not be satisfied, indicating that the vote </text><text x="337.67974853515625" y="75" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">options have been tampered with.</text></g><g stroke-linecap="round" transform="translate(1113.8236902290898 967.5197382409087) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C69.33 1.71, 110.76 -0.07, 192.62 0 M27.5 0 C69.79 1.29, 112.91 0.18, 192.62 0 M192.62 0 C211.23 0.7, 220.6 10.84, 220.12 27.5 M192.62 0 C212.75 2.18, 221.76 11.33, 220.12 27.5 M220.12 27.5 C218.63 42.05, 218.46 60.7, 220.12 82.5 M220.12 27.5 C221.26 45.29, 220.39 63.88, 220.12 82.5 M220.12 82.5 C218.79 102.18, 208.99 108.45, 192.62 110 M220.12 82.5 C220.21 98.73, 213.16 112.21, 192.62 110 M192.62 110 C143.12 108.1, 95.49 109.01, 27.5 110 M192.62 110 C150.56 111.51, 107.95 110.11, 27.5 110 M27.5 110 C10.69 110.22, 0.93 100.58, 0 82.5 M27.5 110 C7.21 109.79, -1.85 102.33, 0 82.5 M0 82.5 C1.68 66.42, -0.33 48.26, 0 27.5 M0 82.5 C0.4 61.85, -0.33 43.54, 0 27.5 M0 27.5 C0.44 10.64, 8.34 0.66, 27.5 0 M0 27.5 C-0.62 8.09, 9.33 1.77, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1138.811315101597 997.5197382409087) rotate(0 85.0699462890625 25)"><text x="85.0699462890625" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">7. Tally the new </text><text x="85.0699462890625" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">result</text></g><g stroke-linecap="round"><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M1.18 -1.16 C15.76 0.02, 73.25 5.92, 87.41 7.22 M0.34 0.85 C14.83 1.63, 72.75 4.11, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M62.93 12.41 C68.05 11.4, 77.57 7.18, 86.88 5.26 M62.93 12.41 C68.92 11.16, 77.02 9.46, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1366.4343438451117 1033.7539627696497) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M63.94 -4.66 C68.79 -0.63, 78.01 0.19, 86.88 5.26 M63.94 -4.66 C69.81 -1.22, 77.62 1.78, 86.88 5.26" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1471.2591910944852 1000.2724706503091) rotate(0 218.81138583144366 36.4312641367178)"><path d="M18.22 0 C162.48 -0.7, 304.28 -1.28, 419.41 0 M18.22 0 C104.06 -1.93, 189.5 -2.09, 419.41 0 M419.41 0 C430.51 1.48, 435.68 5.62, 437.62 18.22 M419.41 0 C431.93 1.63, 438.53 5.89, 437.62 18.22 M437.62 18.22 C438.57 30.01, 439.45 46.11, 437.62 54.65 M437.62 18.22 C438.63 32.9, 438.22 47.72, 437.62 54.65 M437.62 54.65 C436.19 67.85, 429.96 74.6, 419.41 72.86 M437.62 54.65 C438.83 66.95, 429.91 73.28, 419.41 72.86 M419.41 72.86 C303.69 73.65, 189.77 74.18, 18.22 72.86 M419.41 72.86 C284 70.24, 147.35 71.13, 18.22 72.86 M18.22 72.86 C5.66 71.26, 1.48 65.58, 0 54.65 M18.22 72.86 C6.53 74.79, -2.22 65.57, 0 54.65 M0 54.65 C-1.87 41.01, 0.17 29.71, 0 18.22 M0 54.65 C-0.29 46.32, -0.45 38.21, 0 18.22 M0 18.22 C0.61 5.1, 5.54 1.73, 18.22 0 M0 18.22 C0.44 7.69, 7.55 0.14, 18.22 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1485.480763693507 1024.2037347870269) rotate(0 204.58981323242188 12.5)"><text x="204.58981323242188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use CalculateTotal to sum up the votes</text></g><g stroke-linecap="round" transform="translate(1115.6745567089288 1114.8001809100474) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C92.18 -0.65, 155.6 -0.99, 192.62 0 M27.5 0 C91.2 -0.18, 153.12 0.71, 192.62 0 M192.62 0 C211.82 -1.95, 220.07 8.79, 220.12 27.5 M192.62 0 C210.22 -0.02, 221.35 7.12, 220.12 27.5 M220.12 27.5 C219.43 38.39, 219.37 50.94, 220.12 82.5 M220.12 27.5 C220.93 44.37, 220.43 59.47, 220.12 82.5 M220.12 82.5 C218.59 102.79, 210.27 108.93, 192.62 110 M220.12 82.5 C218.47 100.83, 211.49 108.95, 192.62 110 M192.62 110 C145.5 112.87, 99.82 110.58, 27.5 110 M192.62 110 C151.69 111.5, 109.66 109.94, 27.5 110 M27.5 110 C10.95 108.42, -1.23 99.82, 0 82.5 M27.5 110 C10.79 108.66, -1.52 99.99, 0 82.5 M0 82.5 C0.36 68.98, 1.61 54.91, 0 27.5 M0 82.5 C-0.03 64.14, 0.33 43.25, 0 27.5 M0 27.5 C-0.19 9.83, 9.47 -1.6, 27.5 0 M0 27.5 C-0.35 9.9, 9.27 -1.58, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1124.5922200335845 1132.3001809100474) rotate(0 101.13990783691406 37.5)"><text x="101.13990783691406" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">8. Tally the new </text><text x="101.13990783691406" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">total of spent voice</text><text x="101.13990783691406" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">credits</text></g><g stroke-linecap="round" transform="translate(480.7500883641337 948.0077161054639) rotate(0 203.01703692827346 58.69960147919426)"><path d="M29.35 0 C157.02 -0.47, 284.19 -0.3, 376.68 0 M29.35 0 C167.31 -1.76, 304.77 -1.73, 376.68 0 M376.68 0 C396.14 1.23, 405.92 10.5, 406.03 29.35 M376.68 0 C396.87 -0.43, 406.93 10.69, 406.03 29.35 M406.03 29.35 C407.19 48.05, 405.38 65.19, 406.03 88.05 M406.03 29.35 C406.37 51.44, 405.18 74.29, 406.03 88.05 M406.03 88.05 C404.95 109.58, 396.97 116.77, 376.68 117.4 M406.03 88.05 C407.26 106.78, 395.16 116.76, 376.68 117.4 M376.68 117.4 C240.85 117.16, 108.68 118.77, 29.35 117.4 M376.68 117.4 C261.11 119.26, 146.1 119.71, 29.35 117.4 M29.35 117.4 C9.19 117.16, -1.5 109, 0 88.05 M29.35 117.4 C9.6 117.16, 1.26 107.94, 0 88.05 M0 88.05 C0.13 65.13, 1.61 44.79, 0 29.35 M0 88.05 C0.68 76.59, -0.39 63.77, 0 29.35 M0 29.35 C0.93 8.14, 10.44 -1.03, 29.35 0 M0 29.35 C1.09 7.58, 8.03 -1.06, 29.35 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(496.5172778802978 969.2073175846583) rotate(0 187.24984741210938 37.5)"><text x="187.24984741210938" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">if this is the first batch then we do </text><text x="187.24984741210938" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">not add the current result (as it </text><text x="187.24984741210938" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">would be zero) to the calculation</text></g><g stroke-linecap="round"><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-0.76 -0.29 C-26.27 -6.38, -127.24 -29.48, -152.93 -35.53 M1.04 -1.49 C-24.54 -7.36, -127.7 -31.43, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-128.47 -40.17 C-136.63 -37.43, -141.93 -39.72, -153.27 -37.04 M-128.47 -40.17 C-137.06 -39.48, -143.94 -37.78, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1072.5666577812376 1029.057968720134) rotate(0 -77.04585966563582 -18.342157370195764)"><path d="M-132.26 -23.5 C-139.39 -25.91, -143.5 -33.39, -153.27 -37.04 M-132.26 -23.5 C-139.81 -27.97, -145.51 -31.44, -153.27 -37.04" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1475.1235614450711 1126.0203789058685) rotate(0 218.81138583144366 36.4312641367178)"><path d="M18.22 0 C173.54 -2.57, 328.12 -0.9, 419.41 0 M18.22 0 C151.33 0.93, 284.78 0.12, 419.41 0 M419.41 0 C433.01 1.18, 435.67 6.12, 437.62 18.22 M419.41 0 C431.12 -0.37, 438.07 4.21, 437.62 18.22 M437.62 18.22 C435.59 27.98, 436.83 40.16, 437.62 54.65 M437.62 18.22 C437.03 26.28, 437.52 33.86, 437.62 54.65 M437.62 54.65 C437.28 68.11, 432.05 71.36, 419.41 72.86 M437.62 54.65 C438.13 65.41, 430.91 70.75, 419.41 72.86 M419.41 72.86 C335.98 72.64, 251.76 70.99, 18.22 72.86 M419.41 72.86 C312.51 70.8, 206.15 71.21, 18.22 72.86 M18.22 72.86 C5.81 73.89, 1.23 66.3, 0 54.65 M18.22 72.86 C6.18 74.88, 0.69 66.55, 0 54.65 M0 54.65 C-1.53 40.36, 1.89 26.73, 0 18.22 M0 54.65 C-0.85 43.55, -0.97 30.42, 0 18.22 M0 18.22 C-1.92 7.78, 7.47 1.8, 18.22 0 M0 18.22 C-1.47 7.72, 5.17 1.32, 18.22 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1489.345134044093 1149.9516430425863) rotate(0 204.58981323242188 12.5)"><text x="204.58981323242188" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use CalculateTotal to sum up the votes</text></g><g stroke-linecap="round" transform="translate(1939.9312949254977 1124.9057522299108) rotate(0 79.24150107935225 38.57681398772138)"><path d="M19.29 0 C60.89 0.34, 98.87 -0.71, 139.19 0 M19.29 0 C55.49 -0.55, 92.29 -0.65, 139.19 0 M139.19 0 C150.68 1.09, 159.57 4.73, 158.48 19.29 M139.19 0 C153.92 -0.55, 160.2 8.27, 158.48 19.29 M158.48 19.29 C160.3 31.26, 158.99 40.45, 158.48 57.87 M158.48 19.29 C157.68 33.92, 158.62 47.98, 158.48 57.87 M158.48 57.87 C158.84 71.22, 150.93 77.04, 139.19 77.15 M158.48 57.87 C158.25 70.74, 150.1 75.95, 139.19 77.15 M139.19 77.15 C112.18 75.87, 82.8 76.47, 19.29 77.15 M139.19 77.15 C111.77 76.93, 83.25 77.46, 19.29 77.15 M19.29 77.15 C6 76.45, 0.78 72.08, 0 57.87 M19.29 77.15 C8.49 78.19, -2.18 72.73, 0 57.87 M0 57.87 C-0.75 48.68, 1.49 34.41, 0 19.29 M0 57.87 C0.4 46.35, 0.92 33.98, 0 19.29 M0 19.29 C1.2 5.39, 5.77 0.96, 19.29 0 M0 19.29 C0.63 7.96, 7.67 0.27, 19.29 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1950.0928475795567 1138.4825662176322) rotate(0 69.07994842529297 25)"><text x="69.07994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes are ** </text><text x="69.07994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2</text></g><g stroke-linecap="round"><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M-0.14 -0.35 C14.51 0.99, 72.72 5.84, 87.11 6.93 M-1.67 -1.58 C12.93 0.07, 71.94 7.03, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M62.13 14.4 C67.38 13.85, 73.78 10.91, 86.42 8.48 M62.13 14.4 C69.01 13.94, 74.26 11.68, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1368.9363305930342 1155.1717960839194) rotate(0 43.30460759050732 3.4532420039610088)"><path d="M64.01 -2.6 C68.66 0.9, 74.61 2, 86.42 8.48 M64.01 -2.6 C70.38 1.05, 75.18 2.91, 86.42 8.48" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1111.4640872122798 1250.81619378166) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C76.36 0.88, 128.45 1.17, 192.62 0 M27.5 0 C64.73 -1.2, 102.61 -0.61, 192.62 0 M192.62 0 C209.57 0.31, 218.85 7.46, 220.12 27.5 M192.62 0 C211.81 -0.56, 219.3 6.88, 220.12 27.5 M220.12 27.5 C220.11 45.13, 220.19 65.17, 220.12 82.5 M220.12 27.5 C218.94 45.07, 219.09 63.63, 220.12 82.5 M220.12 82.5 C221.33 102.26, 210.73 110.91, 192.62 110 M220.12 82.5 C219.35 102.04, 212.24 108.5, 192.62 110 M192.62 110 C129.87 107.42, 65.59 109.43, 27.5 110 M192.62 110 C131.78 108.53, 70.56 109.19, 27.5 110 M27.5 110 C8.89 110.62, -0.05 101.28, 0 82.5 M27.5 110 C6.92 111.19, 0.5 101.36, 0 82.5 M0 82.5 C-0.71 71.56, -0.97 57.49, 0 27.5 M0 82.5 C1.44 67.57, 0.15 52.5, 0 27.5 M0 27.5 C-1.05 7.59, 7.9 -1.11, 27.5 0 M0 27.5 C1.42 8.87, 7.61 0.76, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1125.821730090158 1268.31619378166) rotate(0 95.6999282836914 37.5)"><text x="95.6999282836914" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">9. Tally the spent </text><text x="95.6999282836914" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">voice credits per </text><text x="95.6999282836914" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">vote option</text></g><g stroke-linecap="round"><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M0.94 -0.45 C14.78 -0.3, 69.35 0.65, 83.02 0.64 M-0.03 -1.73 C14.2 -1.95, 71.06 -1.7, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.7 6.9 C67.91 2.91, 76.01 0.35, 85.29 -1.36 M61.7 6.9 C66.33 6.15, 72.88 2.66, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1350.5206300733018 1289.6112414426218) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.91 -10.2 C68.02 -9.16, 76.06 -6.69, 85.29 -1.36 M61.91 -10.2 C66.36 -7.13, 72.86 -6.81, 85.29 -1.36" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1476.68677924149 1261.5065728261172) rotate(0 79.24150107935225 38.57681398772138)"><path d="M19.29 0 C44.02 -0.66, 69.35 1.55, 139.19 0 M19.29 0 C49.84 -1.97, 78.94 -2.08, 139.19 0 M139.19 0 C151.02 -1.76, 156.64 5.18, 158.48 19.29 M139.19 0 C149.76 0.79, 158.61 4.2, 158.48 19.29 M158.48 19.29 C159.83 29.23, 157.9 35.6, 158.48 57.87 M158.48 19.29 C157.63 29.38, 158.2 38.69, 158.48 57.87 M158.48 57.87 C159.74 70.88, 150.51 77.28, 139.19 77.15 M158.48 57.87 C158.46 70, 151.6 74.96, 139.19 77.15 M139.19 77.15 C97.91 77.95, 54.92 78.45, 19.29 77.15 M139.19 77.15 C96.77 76.81, 55.02 77.16, 19.29 77.15 M19.29 77.15 C6.52 75.82, 0.78 71.05, 0 57.87 M19.29 77.15 C4.63 78.98, -0.47 72.2, 0 57.87 M0 57.87 C0.49 45.02, 1.3 31.41, 0 19.29 M0 57.87 C0.81 44.76, 0.41 31.29, 0 19.29 M0 19.29 C-1.4 5.59, 6.45 -1.84, 19.29 0 M0 19.29 C0.22 4.54, 7.58 -0.34, 19.29 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1486.848331895549 1275.0833868138386) rotate(0 69.07994842529297 25)"><text x="69.07994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">votes are ** </text><text x="69.07994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">2</text></g><g stroke-linecap="round" transform="translate(1119.0945932957025 1379.993768697064) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C92.61 -2.74, 156.61 -1.78, 192.62 0 M27.5 0 C82.18 -0.47, 135.48 -0.07, 192.62 0 M192.62 0 C211.29 -0.95, 218.56 10.09, 220.12 27.5 M192.62 0 C210.27 1.57, 220.83 8.22, 220.12 27.5 M220.12 27.5 C218.53 49.92, 221.58 70.12, 220.12 82.5 M220.12 27.5 C219.65 47.35, 220.38 66.37, 220.12 82.5 M220.12 82.5 C220.8 102.61, 212.86 108.57, 192.62 110 M220.12 82.5 C222.01 99.38, 213.2 110.53, 192.62 110 M192.62 110 C136.11 111.22, 83.99 109.65, 27.5 110 M192.62 110 C153.89 109.82, 116.53 110.46, 27.5 110 M27.5 110 C10.41 110.22, 1.1 100.21, 0 82.5 M27.5 110 C10.39 110.88, 0.43 101.41, 0 82.5 M0 82.5 C-0.44 63.93, 1.24 44.1, 0 27.5 M0 82.5 C-0.61 69.02, 0.25 56.8, 0 27.5 M0 27.5 C1.83 8.76, 8.87 1.99, 27.5 0 M0 27.5 C0.13 11.13, 11.31 1.56, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1145.8022193889128 1397.493768697064) rotate(0 83.34994506835938 37.5)"><text x="83.34994506835938" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">10. Verify the </text><text x="83.34994506835938" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">current and new </text><text x="83.34994506835938" y="50" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">Tally </text></g><g stroke-linecap="round"><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-0.47 -0.91 C-33.31 -38.17, -164.09 -187.2, -196.84 -224.13 M1.48 1.22 C-31.45 -35.88, -164.17 -185.53, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-175.35 -211.23 C-183.71 -213.56, -190.9 -217.55, -197.31 -223.16 M-175.35 -211.23 C-182.33 -216.03, -191.04 -219.77, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1085.8997286630536 1292.2040185814556) rotate(0 -98.87011615869937 -111.5216435334886)"><path d="M-188.16 -199.9 C-192.45 -205.74, -195.61 -213.3, -197.31 -223.16 M-188.16 -199.9 C-190.7 -208.52, -194.98 -216.18, -197.31 -223.16" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round"><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M0.5 -1.15 C14.62 -0.74, 71.33 1.11, 85.03 1.49 M-0.7 0.86 C13.34 1.04, 70.43 0.22, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.35 8.87 C67.11 7.85, 78.45 1.06, 84.71 -0.05 M61.35 8.87 C69.77 6.37, 77.68 3.44, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1360.5264305868823 1438.9572467767052) rotate(0 41.921522033748374 0.19873772120035937)"><path d="M61.08 -8.23 C66.79 -3.69, 78.22 -4.91, 84.71 -0.05 M61.08 -8.23 C69.45 -4.49, 77.46 -1.19, 84.71 -0.05" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1472.5923872577696 1387.49749106691) rotate(0 155.50068085529665 48.72157468842897)"><path d="M24.36 0 C115.42 -3.59, 204.6 -3.45, 286.64 0 M24.36 0 C80.96 -0.47, 138.41 -0.94, 286.64 0 M286.64 0 C303.95 -0.18, 311.37 7.83, 311 24.36 M286.64 0 C303.06 0.38, 311.07 9.93, 311 24.36 M311 24.36 C309.56 38.06, 311.33 48.55, 311 73.08 M311 24.36 C310.36 42.2, 309.98 58.28, 311 73.08 M311 73.08 C312.18 89.24, 302.68 96.36, 286.64 97.44 M311 73.08 C311.86 88.88, 300.82 97.16, 286.64 97.44 M286.64 97.44 C212.73 98.87, 142.52 97.69, 24.36 97.44 M286.64 97.44 C216.62 97.31, 147.09 96.65, 24.36 97.44 M24.36 97.44 C7.95 96.78, 1.82 90.88, 0 73.08 M24.36 97.44 C7.05 98.37, 1.05 90.58, 0 73.08 M0 73.08 C0.44 55.06, 1.35 35.01, 0 24.36 M0 73.08 C-0.59 57.18, -0.69 40.71, 0 24.36 M0 24.36 C1.19 9.4, 9.82 -1.15, 24.36 0 M0 24.36 C1.97 10.37, 8.4 -0.79, 24.36 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1486.323216428496 1423.719065755339) rotate(0 141.7698516845703 12.5)"><text x="141.7698516845703" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#1971c2" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">use ResultCommitmentVerifier</text></g><g stroke-linecap="round"><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-0.02 -1.17 C-31.8 -17.66, -159.44 -83.48, -190.93 -99.78 M-1.49 0.83 C-32.88 -15.46, -157.45 -82.31, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-163.97 -95.25 C-172.78 -97.85, -179.26 -95.51, -188.73 -98.72 M-163.97 -95.25 C-170.62 -97.11, -178.96 -96.56, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(1080.3886880219522 1105.367356650987) rotate(0 -94.97617241785429 -49.426962130688025)"><path d="M-172 -80.15 C-178.47 -86.95, -182.72 -88.81, -188.73 -98.72 M-172 -80.15 C-176.25 -86.47, -182.24 -90.35, -188.73 -98.72" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask></svg>

package/versioned_docs/version-v0.x/introduction.md CHANGED Viewed

@@ -41,9 +41,7 @@ Refer to the [Glossary](#glossary) for definitions of terms.
 3. The signup period ends after a fixed amount of time. From that point onwards, users may no longer invoke `signUp()` in this contract.
 4. Each user votes. To do this, they:
    - Sign their command using the key which they had signed up with and then use a random (ephemeral) key as well as the coordinator's public key to generate a shared key (via ECDH) encrypt it.
      - If they are bribed, the user should sign it using an old public key which has already been replaced with a new one.
      - Otherwise, the user should use the most current public key they have registered.
@@ -53,9 +51,7 @@ Refer to the [Glossary](#glossary) for definitions of terms.
 5. The coordinator processes all the commands after the voting period ends.
 6. For each batch of commands, they perform the following steps:
    - Generate a new state root which is the result of:
      - For each valid command, in reverse order, update the state leaf accordingly
      - Ignore all invalid commands

package/versioned_docs/version-v0.x/quadratic-vote-tallying-circuit.md CHANGED Viewed

@@ -35,25 +35,25 @@ The MACI contract's `quadraticVoteTally()` function should verify a proof create
 ## Inputs
-| Pseudocode name               | zk-SNARK input type | Description                                                                                                | Set by      |
-| ----------------------------- | ------------------- | ---------------------------------------------------------------------------------------------------------- | ----------- |
-| `fullStateRoot`               | Public              | The final Merkle root of the state tree                                                                    | Contract    |
-| `fullStateTreeDepth`          | Hardcoded           | The depth of the state tree                                                                                | Contract    |
-| `intermediateStateTreeDepth`  | Hardcoded           | The depth of the intermediate state tree                                                                   | Contract    |
-| `intermediateStateRoot`       | Public              | The intermediate Merkle root generated by the given state leaves                                           | Contract    |
-| `intermediatePathElements[k]` | Private             | The Merkle path elements from `intermediateStateRoot` to `stateRoot`.                                      | Coordinator |
-| `intermediatePathIndex`       | Public              | The Merkle path index from `intermediateStateRoot` to `stateRoot`.                                         | Contract    |
-| `currentResults[n]`           | Private             | The vote tally of all prior batches of state leaves                                                        | Coordinator |
-| `currentResultsSalt`          | Private             | A random value to hash with the vote tally for state leaves up to the current batch                        | Coordinator |
-| `currentResultsCommitment`    | Public              | The salted commitment of the values in `currentResults`                                                    | Contract    |
-| `newResultsCommitment`        | Public              | The salted commitment of the vote tally for this batch of leaves plus the vote tally from `currentResults` | Contract    |
-| `salt`                        | Private             | A random value to hash with the culmulate vote tally for this batch of state leaves                        | Coordinator |
-| `stateLeaves[m][p]`           | Private             | The batch of leaves of the state tree to tally.                                                            | Coordinator |
-| `voteLeaves[m][n]`            | Private             | The vote leaves for each user in this batch of state leaves.                                               | Coordinator |
+| Pseudocode name                 | zk-SNARK input type | Description                                                                                                | Set by      |
+| ------------------------------- | ------------------- | ---------------------------------------------------------------------------------------------------------- | ----------- |
+| `fullStateRoot`                 | Public              | The final Merkle root of the state tree                                                                    | Contract    |
+| `fullStateTreeDepth`            | Hardcoded           | The depth of the state tree                                                                                | Contract    |
+| `tallyProcessingStateTreeDepth` | Hardcoded           | The depth of the intermediate state tree                                                                   | Contract    |
+| `intermediateStateRoot`         | Public              | The intermediate Merkle root generated by the given state leaves                                           | Contract    |
+| `intermediatePathElements[k]`   | Private             | The Merkle path elements from `intermediateStateRoot` to `stateRoot`.                                      | Coordinator |
+| `intermediatePathIndex`         | Public              | The Merkle path index from `intermediateStateRoot` to `stateRoot`.                                         | Contract    |
+| `currentResults[n]`             | Private             | The vote tally of all prior batches of state leaves                                                        | Coordinator |
+| `currentResultsSalt`            | Private             | A random value to hash with the vote tally for state leaves up to the current batch                        | Coordinator |
+| `currentResultsCommitment`      | Public              | The salted commitment of the values in `currentResults`                                                    | Contract    |
+| `newResultsCommitment`          | Public              | The salted commitment of the vote tally for this batch of leaves plus the vote tally from `currentResults` | Contract    |
+| `salt`                          | Private             | A random value to hash with the culmulate vote tally for this batch of state leaves                        | Coordinator |
+| `stateLeaves[m][p]`             | Private             | The batch of leaves of the state tree to tally.                                                            | Coordinator |
+| `voteLeaves[m][n]`              | Private             | The vote leaves for each user in this batch of state leaves.                                               | Coordinator |
 `n` is the number of options in `voteOptionTree`.
 `m` is the number of state leaves in this batch.
-`k` is `fullStateTreeDepth - intermediateStateTreeDepth`
+`k` is `fullStateTreeDepth - tallyProcessingStateTreeDepth`
 `p` is the message length
 A result commitment is the hash of a Merkle root of all the vote leaves, and a salt. For instance: