@maci-protocol/website 0.0.0-ci.f433bba → 0.0.0-ci.f4e2c46

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 (58) hide show
  1. package/LICENSE +1 -2
  2. package/blog/2024-02-28-maci-v1.2.0.md +1 -1
  3. package/blog/2024-08-10-maci-v2.md +1 -1
  4. package/docusaurus.config.ts +2 -2
  5. package/package.json +12 -12
  6. package/src/pages/roadmap.md +39 -80
  7. package/static/img/circuits/MACI-Circuits.excalidraw +79 -79
  8. package/static/img/circuits/ecdh.svg +1 -1
  9. package/static/img/circuits/messageToCommand.svg +1 -1
  10. package/static/img/circuits/messageValidator.svg +1 -1
  11. package/static/img/circuits/privToPubkey.svg +1 -1
  12. package/static/img/circuits/processMessages.svg +1 -1
  13. package/static/img/circuits/processMessagesInputHasher.svg +1 -1
  14. package/static/img/circuits/processMessages_2_0.svg +1 -1
  15. package/static/img/circuits/processOne.svg +1 -1
  16. package/static/img/circuits/processTopup.svg +1 -1
  17. package/static/img/circuits/quinBatchLeavesExists.svg +1 -1
  18. package/static/img/circuits/quinCheckRoot.svg +1 -1
  19. package/static/img/circuits/quinGeneratePathIndices.svg +1 -1
  20. package/static/img/circuits/quinSelector.svg +1 -1
  21. package/static/img/circuits/resultsCommitmentVerifier.svg +1 -1
  22. package/static/img/circuits/splicer.svg +1 -1
  23. package/static/img/circuits/tallyInputHasher.svg +1 -1
  24. package/static/img/circuits/tallyVotes.svg +1 -1
  25. package/static/img/circuits/verifySignature.svg +1 -1
  26. package/versioned_docs/version-v0.x/quadratic-vote-tallying-circuit.md +16 -16
  27. package/versioned_docs/version-v3.x/core-concepts/key-change.md +28 -28
  28. package/versioned_docs/version-v3.x/core-concepts/maci-keys.md +1 -1
  29. package/versioned_docs/version-v3.x/core-concepts/poll-types.md +33 -9
  30. package/versioned_docs/version-v3.x/core-concepts/polls.md +34 -10
  31. package/versioned_docs/version-v3.x/core-concepts/spec.md +42 -108
  32. package/versioned_docs/version-v3.x/core-concepts/state-leaf.md +2 -2
  33. package/versioned_docs/version-v3.x/core-concepts/workflow.md +1 -1
  34. package/versioned_docs/version-v3.x/guides/compile-circuits.md +36 -20
  35. package/versioned_docs/version-v3.x/guides/integrating.md +9 -9
  36. package/versioned_docs/version-v3.x/guides/testing/testing-in-detail.md +2 -2
  37. package/versioned_docs/version-v3.x/guides/testing/testing-introduction.md +34 -2
  38. package/versioned_docs/version-v3.x/guides/troubleshooting.md +62 -17
  39. package/versioned_docs/version-v3.x/quick-start.md +29 -21
  40. package/versioned_docs/version-v3.x/resources.md +1 -0
  41. package/versioned_docs/version-v3.x/security/audit.md +2 -2
  42. package/versioned_docs/version-v3.x/security/trusted-setup.md +35 -35
  43. package/versioned_docs/version-v3.x/supported-networks/costs.md +725 -0
  44. package/versioned_docs/version-v3.x/supported-networks/deployed-contracts.md +9 -9
  45. package/versioned_docs/version-v3.x/supported-networks/supported-networks.md +16 -0
  46. package/versioned_docs/version-v3.x/technical-references/smart-contracts/MACI.md +7 -7
  47. package/versioned_docs/version-v3.x/technical-references/smart-contracts/MessageProcessor.md +1 -1
  48. package/versioned_docs/version-v3.x/technical-references/smart-contracts/Params.md +2 -2
  49. package/versioned_docs/version-v3.x/technical-references/smart-contracts/Poll.md +8 -8
  50. package/versioned_docs/version-v3.x/technical-references/smart-contracts/PollFactory.md +1 -1
  51. package/versioned_docs/version-v3.x/technical-references/smart-contracts/Tally.md +4 -4
  52. package/versioned_docs/version-v3.x/technical-references/smart-contracts/VkRegistry.md +8 -8
  53. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/joinPoll.md +3 -4
  54. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/processMessages.md +19 -15
  55. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/setup.md +3 -3
  56. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/tallyVotes.md +5 -5
  57. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/utilities.md +9 -9
  58. package/versioned_docs/version-v3.x/technical-references/zk-snark-circuits/zk-snark-circuits.md +3 -3
package/static/img/circuits/processTopup.svg CHANGED
@@ -18,4 +18,4 @@
18
18
  </style>
19
19
 
20
20
  </defs>
21
- <rect x="0" y="0" width="1473.9516795609748" height="849.7829336723412" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(305.0938053366018 342.91267861253846) rotate(0 114.33810379333897 33.80052213620297)"><path d="M16.9 0 C57.53 -1.87, 99.09 -0.68, 211.78 0 M16.9 0 C82.55 1.51, 148.92 1.5, 211.78 0 M211.78 0 C223.1 -1.04, 229.77 6.62, 228.68 16.9 M211.78 0 C224.37 0.26, 228.95 5.67, 228.68 16.9 M228.68 16.9 C227.38 24.03, 229.65 29.38, 228.68 50.7 M228.68 16.9 C229.34 30.33, 229.53 43.83, 228.68 50.7 M228.68 50.7 C228.16 62.5, 222.59 66.36, 211.78 67.6 M228.68 50.7 C229.96 61.89, 222.26 69.56, 211.78 67.6 M211.78 67.6 C139.81 65.29, 69.82 66.76, 16.9 67.6 M211.78 67.6 C155.59 67.48, 100.16 67.86, 16.9 67.6 M16.9 67.6 C6.87 67.4, -0.02 63.87, 0 50.7 M16.9 67.6 C5.55 69.05, 0.8 60.23, 0 50.7 M0 50.7 C-0.1 44.1, 0.52 37.54, 0 16.9 M0 50.7 C-0.42 42.13, 0.05 31.42, 0 16.9 M0 16.9 C-1.19 7.08, 6.43 0.12, 16.9 0 M0 16.9 C0 7.76, 7.86 -1.36, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(352.5119872549408 364.21320074874166) rotate(0 66.919921875 12.5)"><text x="66.919921875" 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">ProcessTopup</text></g><g stroke-linecap="round"><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M0 0.44 C-0.69 13.93, -3.96 67.51, -4.86 81.21 M-1.46 -0.37 C-2.19 13.26, -4.72 69, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M-14.32 53.85 C-11.39 61.73, -10.7 67.69, -5.5 82.53 M-14.32 53.85 C-10.7 64.25, -6.8 76.25, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M6.17 54.89 C4.16 62.52, -0.08 68.23, -5.5 82.53 M6.17 54.89 C1.93 65.06, -2.02 76.66, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(452.0787100794711 295.7899274158285) rotate(0 26.379974365234375 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">Input</text></g><g transform="translate(463.36494619147345 444.35683512232436) rotate(0 34.84996032714844 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">Output</text></g><g stroke-linecap="round"><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M0.41 0.45 C0.49 7.16, 0.4 33.93, 0.46 40.74 M-0.04 0.2 C-0.04 7.22, -0.06 34.6, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M-7.09 22.05 C-4.04 27.85, -3.23 34.17, 0.04 41.29 M-7.09 22.05 C-4.48 28.77, -2.5 35.54, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M6.94 21.97 C5.76 27.85, 2.34 34.19, 0.04 41.29 M6.94 21.97 C4.65 28.73, 1.73 35.52, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(305.8244266247631 495.2353693232585) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C85.53 1.05, 158.03 1.11, 204.03 0 M16.09 0 C73.68 0.08, 132.65 -0.7, 204.03 0 M204.03 0 C214.73 0.93, 218.3 7.29, 220.12 16.09 M204.03 0 C215.82 -0.58, 221.29 5.45, 220.12 16.09 M220.12 16.09 C220.69 27.55, 218.92 41.02, 220.12 48.27 M220.12 16.09 C220.65 25.67, 219.25 34.67, 220.12 48.27 M220.12 48.27 C219.27 58.96, 215.39 64.08, 204.03 64.35 M220.12 48.27 C222.11 58.75, 213.77 64.55, 204.03 64.35 M204.03 64.35 C149.29 65.5, 96.87 65.44, 16.09 64.35 M204.03 64.35 C134.83 62.14, 67.68 62.75, 16.09 64.35 M16.09 64.35 C5.58 64.6, 0.48 58.42, 0 48.27 M16.09 64.35 C6.42 63.22, -0.61 60.37, 0 48.27 M0 48.27 C1.75 38.73, 0.42 27.61, 0 16.09 M0 48.27 C-0.14 36.28, 0.47 22.61, 0 16.09 M0 16.09 C0.93 5.16, 4.53 1.35, 16.09 0 M0 16.09 C-1.49 3.81, 5.48 0.78, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(346.6220566852586 514.9127858741344) rotate(0 69.25994110107422 12.5)"><text x="69.25994110107422" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#2f9e44" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newStateRoot</text></g><g transform="translate(570.3737259406327 257.96351260310803) 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(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M0.14 0.02 C13.79 -6.5, 68.74 -32.34, 82.58 -39 M-1.24 -1.01 C12.71 -7.33, 70.84 -31.05, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M62.87 -16.85 C70.71 -26, 78.72 -32.34, 84.74 -37.39 M62.87 -16.85 C67.06 -20.78, 73.54 -26.78, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M54.78 -35.72 C65.53 -38.12, 76.44 -37.72, 84.74 -37.39 M54.78 -35.72 C60.86 -35.28, 69.22 -36.89, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(296.2022097980471 180.8810513443027) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C54.49 0.7, 96.49 -1.09, 204.03 0 M16.09 0 C91.09 0.51, 165.77 0.6, 204.03 0 M204.03 0 C214.24 0.53, 219.66 4.13, 220.12 16.09 M204.03 0 C216.04 -0.08, 219.33 7.32, 220.12 16.09 M220.12 16.09 C219.12 26.97, 220.1 40.16, 220.12 48.27 M220.12 16.09 C219.97 25.38, 220.3 34.96, 220.12 48.27 M220.12 48.27 C221.35 58.79, 214.73 66.25, 204.03 64.35 M220.12 48.27 C220.03 60.44, 215.55 62.62, 204.03 64.35 M204.03 64.35 C165.74 64.74, 128.44 65, 16.09 64.35 M204.03 64.35 C152.78 64.03, 102.27 62.48, 16.09 64.35 M16.09 64.35 C4.18 65.8, 0.8 59.11, 0 48.27 M16.09 64.35 C5.37 66.48, 2.23 57.63, 0 48.27 M0 48.27 C-1.03 39, -0.41 27.04, 0 16.09 M0 48.27 C0.26 36.78, -0.59 24.75, 0 16.09 M0 16.09 C-0.49 5.05, 5.93 0.28, 16.09 0 M0 16.09 C-1.92 5.47, 7.15 -0.58, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(343.31984718276135 200.55846789517864) rotate(0 62.93993377685547 12.5)"><text x="62.93993377685547" 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">messageType</text></g><g stroke-linecap="round" transform="translate(693.7410533145616 71.95385055299676) rotate(0 124.50711860321496 67.5)"><path d="M32 0 C89.24 2.61, 142.13 2.7, 217.01 0 M32 0 C87.91 0.02, 144.11 -0.87, 217.01 0 M217.01 0 C239.46 -0.07, 248.33 12.37, 249.01 32 M217.01 0 C239.82 0.09, 247.28 9.51, 249.01 32 M249.01 32 C248.73 52.05, 248.8 67.78, 249.01 103 M249.01 32 C249.56 53.79, 248.94 76.74, 249.01 103 M249.01 103 C248.94 125.59, 239.04 133.49, 217.01 135 M249.01 103 C246.75 122.49, 238.55 134.57, 217.01 135 M217.01 135 C158.94 136.37, 101.04 134.91, 32 135 M217.01 135 C149.82 133.97, 84.21 133.31, 32 135 M32 135 C10.67 136.85, 1.94 123.15, 0 103 M32 135 C11.06 136.47, 1.79 123.39, 0 103 M0 103 C1.42 77.1, -1.28 53.89, 0 32 M0 103 C0.32 79.13, 0.85 55.72, 0 32 M0 32 C-1.67 10.76, 12.22 -0.5, 32 0 M0 32 C-0.75 9.29, 12.46 -0.11, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g stroke-linecap="round" transform="translate(10 378.0046382852429) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C68.15 -1.73, 122.06 0.23, 204.03 0 M16.09 0 C72.79 0.93, 130.64 0.81, 204.03 0 M204.03 0 C216.49 -0.21, 219.26 5.53, 220.12 16.09 M204.03 0 C214.53 1.05, 221.54 5.13, 220.12 16.09 M220.12 16.09 C221.68 26.41, 218.91 33.37, 220.12 48.27 M220.12 16.09 C220.25 23.29, 220.38 29.96, 220.12 48.27 M220.12 48.27 C221.04 58.01, 214.22 65.55, 204.03 64.35 M220.12 48.27 C220.6 56.82, 213.39 66.02, 204.03 64.35 M204.03 64.35 C142.02 66.3, 75.13 64.7, 16.09 64.35 M204.03 64.35 C136.11 63.48, 66.85 64.26, 16.09 64.35 M16.09 64.35 C4.07 63, 0.1 59.67, 0 48.27 M16.09 64.35 C3.52 64.66, -0.57 58.63, 0 48.27 M0 48.27 C0.05 39.26, -0.55 26.5, 0 16.09 M0 48.27 C-0.68 40.49, 0.03 33.16, 0 16.09 M0 16.09 C0.1 4.04, 3.7 -1.75, 16.09 0 M0 16.09 C-1.8 7.18, 3.68 -2.17, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(39.117652643503334 385.1820548361188) rotate(0 80.9399185180664 25)"><text x="80.9399185180664" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: </text><text x="80.9399185180664" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateTreeDepth</text></g><g stroke-linecap="round"><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M0.77 0.05 C8.11 -4.26, 36.44 -20.76, 43.65 -24.81 M-0.29 -0.97 C7.47 -4.61, 38.67 -19.93, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M28.41 -5.22 C32.98 -11.73, 36.55 -15.94, 45.89 -23.59 M28.41 -5.22 C34.44 -10.78, 38.36 -16.08, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M20.69 -20.75 C27.45 -23.18, 33.07 -23.26, 45.89 -23.59 M20.69 -20.75 C29.07 -21.66, 35.3 -22.32, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(60.19856941201192 185.788439500393) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C62.22 -1.13, 107.83 -1.02, 204.03 0 M16.09 0 C59.03 -0.2, 102.34 -1.15, 204.03 0 M204.03 0 C215.74 0.57, 220.52 4.29, 220.12 16.09 M204.03 0 C212.68 -0.24, 220.27 4.96, 220.12 16.09 M220.12 16.09 C220.93 26.13, 218.82 35.82, 220.12 48.27 M220.12 16.09 C219.02 25.03, 219.41 34.5, 220.12 48.27 M220.12 48.27 C221.81 60.3, 213 63.5, 204.03 64.35 M220.12 48.27 C220.78 58.91, 215.13 64.01, 204.03 64.35 M204.03 64.35 C135.41 62.57, 64.31 62.6, 16.09 64.35 M204.03 64.35 C143.56 64.83, 81.93 65.41, 16.09 64.35 M16.09 64.35 C5.35 63.47, -1.37 57.66, 0 48.27 M16.09 64.35 C7.58 64.29, 0.84 58.06, 0 48.27 M0 48.27 C1.83 40.03, 0.06 35.6, 0 16.09 M0 48.27 C0.87 36.89, -0.34 25.69, 0 16.09 M0 16.09 C-0.54 4.56, 4.18 -1.01, 16.09 0 M0 16.09 C0.29 5.95, 4.53 0.96, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(91.20621381576916 205.46585605126893) rotate(0 79.0499267578125 12.5)"><text x="79.0499267578125" 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">stateTreeIndex</text></g><g stroke-linecap="round" transform="translate(61.02652621204345 103.62790443973608) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C84.72 -0.96, 156.62 2.27, 204.03 0 M16.09 0 C79.6 2.47, 144.96 1.77, 204.03 0 M204.03 0 C212.97 -1.42, 220.64 6.16, 220.12 16.09 M204.03 0 C215.65 -0.8, 221.47 4.18, 220.12 16.09 M220.12 16.09 C222.25 26.63, 221.03 42.69, 220.12 48.27 M220.12 16.09 C219.86 27.01, 220.12 37.07, 220.12 48.27 M220.12 48.27 C220.31 57.78, 216.15 65.92, 204.03 64.35 M220.12 48.27 C221.32 58.33, 213.33 63.58, 204.03 64.35 M204.03 64.35 C128.46 65.32, 54.07 61.95, 16.09 64.35 M204.03 64.35 C133.66 64.39, 64.65 64.32, 16.09 64.35 M16.09 64.35 C7.16 65.22, -0.02 58.97, 0 48.27 M16.09 64.35 C5.46 63.36, -0.22 59.93, 0 48.27 M0 48.27 C-0.53 40.11, 0.55 35.99, 0 16.09 M0 48.27 C-0.22 37.87, 0.48 25.23, 0 16.09 M0 16.09 C1.02 3.73, 6.8 1.45, 16.09 0 M0 16.09 C1.27 4.1, 5.83 -2.25, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(136.54412697566397 123.30532099061202) rotate(0 34.53997039794922 12.5)"><text x="34.53997039794922" 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">amount</text></g><g stroke-linecap="round" transform="translate(296.65395800182364 102.15346082324095) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C55.14 -1.16, 94.08 -2.35, 204.03 0 M16.09 0 C76.54 -1.06, 134.64 -1.64, 204.03 0 M204.03 0 C215.37 -1.89, 218.74 5.5, 220.12 16.09 M204.03 0 C212.64 -0.53, 219.84 6.99, 220.12 16.09 M220.12 16.09 C219.38 23.49, 220.82 32.02, 220.12 48.27 M220.12 16.09 C220.92 24.62, 221.19 31.29, 220.12 48.27 M220.12 48.27 C221.17 58.89, 214.37 66.19, 204.03 64.35 M220.12 48.27 C220.53 60.65, 216.41 63.94, 204.03 64.35 M204.03 64.35 C142.08 62.24, 80.72 61.56, 16.09 64.35 M204.03 64.35 C134.57 65.07, 65.97 66.85, 16.09 64.35 M16.09 64.35 C5.92 65.74, 0.71 60.74, 0 48.27 M16.09 64.35 C5.84 65.73, 0.95 60.21, 0 48.27 M0 48.27 C0.67 38.88, 1 31.88, 0 16.09 M0 48.27 C0.43 42.06, 0.51 35.17, 0 16.09 M0 16.09 C0.42 3.58, 3.97 -1.93, 16.09 0 M0 16.09 C1.8 3.5, 3.97 1.8, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(356.0415844002098 121.83087737411688) rotate(0 50.669944763183594 12.5)"><text x="50.669944763183594" 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">numSignups</text></g><g stroke-linecap="round" transform="translate(67.15680909446849 20.86625005850692) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C56.84 2.95, 99.44 0.05, 204.03 0 M16.09 0 C63.61 -0.03, 109.81 0.75, 204.03 0 M204.03 0 C212.77 -1.27, 218.12 5.09, 220.12 16.09 M204.03 0 C215.41 -2.28, 221.31 7.09, 220.12 16.09 M220.12 16.09 C220.57 28.06, 221.33 36.2, 220.12 48.27 M220.12 16.09 C219.78 28.08, 219.48 39.06, 220.12 48.27 M220.12 48.27 C221.97 59.03, 215.88 62.39, 204.03 64.35 M220.12 48.27 C221.92 60.78, 212.88 64.44, 204.03 64.35 M204.03 64.35 C136.73 64.3, 72.69 64.82, 16.09 64.35 M204.03 64.35 C158.21 62.65, 113.03 62.8, 16.09 64.35 M16.09 64.35 C5.6 63.02, 0.82 58.82, 0 48.27 M16.09 64.35 C3.77 63.32, -2.23 59.18, 0 48.27 M0 48.27 C1.68 35.83, 1.85 22.31, 0 16.09 M0 48.27 C-0.86 41.63, -0.38 33.18, 0 16.09 M0 16.09 C-1.55 6.51, 3.38 1.92, 16.09 0 M0 16.09 C-0.66 6.08, 7.37 -0.26, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(125.35442542205385 40.54366660938285) rotate(0 51.859954833984375 12.5)"><text x="51.859954833984375" 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">stateLeaf</text></g><g stroke-linecap="round" transform="translate(303.1244971034396 19.788772031065037) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C71.71 -1.13, 125.05 -1.11, 204.03 0 M16.09 0 C78.34 -0.43, 139.39 -1.58, 204.03 0 M204.03 0 C212.84 -1.02, 219.55 7.33, 220.12 16.09 M204.03 0 C213.15 -1, 219.5 7.47, 220.12 16.09 M220.12 16.09 C219.32 22.17, 219.16 28.57, 220.12 48.27 M220.12 16.09 C220.37 25.78, 219.87 34.74, 220.12 48.27 M220.12 48.27 C220.36 58.92, 214.76 63.83, 204.03 64.35 M220.12 48.27 C221.05 60.49, 215.71 64.38, 204.03 64.35 M204.03 64.35 C143.22 63.26, 80.22 64.7, 16.09 64.35 M204.03 64.35 C138.74 65.11, 73.3 65.2, 16.09 64.35 M16.09 64.35 C4.2 66.23, 1.17 57.34, 0 48.27 M16.09 64.35 C5.79 64.1, 1.78 60.64, 0 48.27 M0 48.27 C1.31 42.61, 1.8 36.71, 0 16.09 M0 48.27 C-1.03 37.74, 0.78 29.26, 0 16.09 M0 16.09 C0.04 7.08, 3.51 -0.5, 16.09 0 M0 16.09 C0.48 3.81, 4.83 0.47, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(310.81215707116166 26.96618858194097) rotate(0 102.36991119384766 25)"><text x="102.36991119384766" 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">stateLeafPathEleme</text><text x="102.36991119384766" 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">nts</text></g><g transform="translate(699.3682509583037 76.95385055299676) rotate(0 118.87992095947266 62.5)"><text x="118.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">1. Calculate amount and</text><text x="118.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">index by multiplying the </text><text x="118.87992095947266" 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">input (stateTreeIndex </text><text x="118.87992095947266" 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">and amount) * </text><text x="118.87992095947266" 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">messageType - 1</text></g><g transform="translate(662.6824042255288 10) rotate(0 227.539794921875 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">Note that a topup message type should be 2</text></g><g stroke-linecap="round" transform="translate(1024.6434808349804 52.43111348363209) rotate(0 110.05757116156974 80)"><path d="M32 0 C74.21 -0.15, 117.51 -0.22, 188.12 0 M32 0 C89.99 1.97, 146.41 2.13, 188.12 0 M188.12 0 C210.84 -0.48, 221.04 11.47, 220.12 32 M188.12 0 C210.62 0.44, 220.95 8.96, 220.12 32 M220.12 32 C221.29 50.49, 218.04 71.95, 220.12 128 M220.12 32 C221.41 62.16, 221.57 92.34, 220.12 128 M220.12 128 C220.51 148.28, 207.61 160.68, 188.12 160 M220.12 128 C220.31 147.67, 208.23 158.61, 188.12 160 M188.12 160 C154.62 158.86, 123.02 161.95, 32 160 M188.12 160 C146.5 159.89, 104.22 159.84, 32 160 M32 160 C12.35 160.32, 0.92 148.38, 0 128 M32 160 C9.95 160.28, 0.54 150.14, 0 128 M0 128 C-0.68 105.2, 1.02 82.03, 0 32 M0 128 C0.03 97.89, -0.87 68.18, 0 32 M0 32 C-1.2 9.81, 9.65 -0.95, 32 0 M0 32 C-0.18 9.66, 11.87 -0.76, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1030.9511282904955 57.43111348363209) rotate(0 103.74992370605469 75)"><text x="103.74992370605469" 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">this is to ensure </text><text x="103.74992370605469" 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">that if we do not </text><text x="103.74992370605469" 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">pass a topup </text><text x="103.74992370605469" 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">message, then </text><text x="103.74992370605469" 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">amount and index will</text><text x="103.74992370605469" y="125" 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">be zero</text></g><g stroke-linecap="round"><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M-0.47 0.09 C5.87 0.16, 31.43 0.51, 37.66 0.62 M0.29 -0.33 C6.63 -0.22, 31.14 0.92, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M19.67 6.78 C23.86 6.28, 27.29 3.72, 37.43 1.18 M19.67 6.78 C24.43 5.65, 29.32 3.87, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M20.22 -5.95 C24.31 -3.56, 27.62 -3.22, 37.43 1.18 M20.22 -5.95 C24.89 -3.67, 29.63 -2.04, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(689.604523671558 240.80829830175344) rotate(0 140.63242792437597 49.070709675536364)"><path d="M24.54 0 C73.21 -0.32, 122.8 -0.38, 256.73 0 M24.54 0 C91.79 0.13, 160.4 0.24, 256.73 0 M256.73 0 C271.56 -0.29, 281.91 8.02, 281.26 24.54 M256.73 0 C272.38 -0.6, 283.27 8.81, 281.26 24.54 M281.26 24.54 C281.82 41.03, 279.95 60.31, 281.26 73.61 M281.26 24.54 C280.41 38.5, 280.33 52.64, 281.26 73.61 M281.26 73.61 C281.61 90.99, 272.53 97.05, 256.73 98.14 M281.26 73.61 C279.28 89.05, 274.52 98.04, 256.73 98.14 M256.73 98.14 C190.8 96.42, 128.04 96.59, 24.54 98.14 M256.73 98.14 C206.65 99.35, 157.79 99.67, 24.54 98.14 M24.54 98.14 C6.25 97.61, 0.98 90.13, 0 73.61 M24.54 98.14 C9.03 95.89, 0.6 89.72, 0 73.61 M0 73.61 C-1.82 63.8, -1.65 51.55, 0 24.54 M0 73.61 C0.54 57.13, 0.75 43.08, 0 24.54 M0 24.54 C1.91 10.06, 8.84 -0.77, 24.54 0 M0 24.54 C-1.76 7.32, 6.6 2.26, 24.54 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(694.9570443693714 264.8790079772898) rotate(0 135.2799072265625 25)"><text x="135.2799072265625" 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. Check that stateIndex </text><text x="135.2799072265625" 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">&lt;= numSignups</text></g><g stroke-linecap="round" transform="translate(684.61126365493 347.69411862362404) rotate(0 171.64961777213057 30)"><path d="M15 0 C124.5 -1.05, 234.86 -0.26, 328.3 0 M15 0 C113.05 0.55, 211.63 -0.13, 328.3 0 M328.3 0 C336.39 0.68, 344.15 3.52, 343.3 15 M328.3 0 C339.21 1.8, 341.4 4.18, 343.3 15 M343.3 15 C344.45 23.21, 341.45 36.45, 343.3 45 M343.3 15 C343.49 22.8, 343.63 29.33, 343.3 45 M343.3 45 C344.29 54.52, 338.33 61.69, 328.3 60 M343.3 45 C343.56 55.95, 336.11 59.64, 328.3 60 M328.3 60 C217.01 59.23, 104.36 61.65, 15 60 M328.3 60 C262.77 58.67, 198.78 58.07, 15 60 M15 60 C6.93 60.13, 0.08 56.64, 0 45 M15 60 C4.46 61.69, -1.92 55.37, 0 45 M0 45 C1.51 33.68, 1.78 22.67, 0 15 M0 45 C-0.64 35.9, -0.64 27.3, 0 15 M0 15 C-1.88 4, 5.09 -1.11, 15 0 M0 15 C-1.32 3.76, 4.24 -1.85, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(698.5710315735449 352.69411862362404) rotate(0 157.68984985351562 25)"><text x="157.68984985351562" 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. Check that the </text><text x="157.68984985351562" 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">newCreditBalance is &lt; field size</text></g><g stroke-linecap="round" transform="translate(691.8161890962996 426.50247851512904) rotate(0 171.64961777213057 30)"><path d="M15 0 C140.06 -0.11, 265.18 1.64, 328.3 0 M15 0 C116.71 -0.81, 219.57 -1.04, 328.3 0 M328.3 0 C337.36 0.8, 343.66 3.11, 343.3 15 M328.3 0 C336.86 -1.61, 343.07 4.32, 343.3 15 M343.3 15 C342.67 19.9, 341.68 27.45, 343.3 45 M343.3 15 C344.02 21.15, 343.1 27.04, 343.3 45 M343.3 45 C344.85 53.53, 338.94 60.44, 328.3 60 M343.3 45 C345.54 52.97, 338.7 61.5, 328.3 60 M328.3 60 C263.35 57.08, 201.77 58.89, 15 60 M328.3 60 C233.65 61.6, 138.91 61.98, 15 60 M15 60 C6.47 59.4, 0.48 54.81, 0 45 M15 60 C5.5 58.14, -2.12 52.86, 0 45 M0 45 C-1.12 38.46, 1.1 27.4, 0 15 M0 45 C-0.22 37.65, -0.81 27.94, 0 15 M0 15 C1.66 3.15, 3.76 -0.02, 15 0 M0 15 C0.01 3.8, 5.92 1.28, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(725.9459094074926 431.50247851512904) rotate(0 137.5198974609375 25)"><text x="137.5198974609375" 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. Update the voice credit </text><text x="137.5198974609375" 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">balance in the state leaf</text></g><g stroke-linecap="round" transform="translate(1120.6524440167136 413.7371993584802) rotate(0 171.64961777213057 30)"><path d="M15 0 C86.13 2.47, 158.04 0.97, 328.3 0 M15 0 C110.88 0.37, 208.36 0.71, 328.3 0 M328.3 0 C337.55 0.7, 341.53 5.8, 343.3 15 M328.3 0 C340.4 0.61, 341.64 3.6, 343.3 15 M343.3 15 C343.88 24.65, 341.08 34.01, 343.3 45 M343.3 15 C343.26 26.84, 342.39 37.58, 343.3 45 M343.3 45 C344.3 55.64, 337.18 59.81, 328.3 60 M343.3 45 C343.66 53.91, 339.46 61.89, 328.3 60 M328.3 60 C209.33 61.46, 89.29 60.21, 15 60 M328.3 60 C210.56 62.13, 93.52 61.67, 15 60 M15 60 C6.63 61.53, -0.35 56.74, 0 45 M15 60 C3.14 61.66, 1.58 56.88, 0 45 M0 45 C-0.62 36.8, -0.36 29.49, 0 15 M0 45 C-0.64 37.9, 0.13 30.71, 0 15 M0 15 C0.54 3.64, 3.83 -1.97, 15 0 M0 15 C0.15 3.16, 5.44 -0.15, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1148.3321826384536 418.7371993584802) rotate(0 143.96987915039062 25)"><text x="143.96987915039062" 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(pubKeyX, pubKeyY, </text><text x="143.96987915039062" 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">newCreditBalance, timestamp)</text></g><g stroke-linecap="round"><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M-0.46 0.3 C7.49 0.71, 39.38 1.9, 47.44 2.13 M0.3 -0.01 C8.46 0.26, 40.63 0.95, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M25.83 8.76 C32.05 6.47, 37.7 5.48, 48.52 1.32 M25.83 8.76 C32.09 6.59, 38.4 4.87, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M26.36 -7.57 C32.4 -5.79, 37.92 -2.73, 48.52 1.32 M26.36 -7.57 C32.52 -5.28, 38.68 -2.54, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(691.7991762853402 506.1734722387064) rotate(0 171.64961777213057 55)"><path d="M27.5 0 C130.46 -0.14, 230.01 0.57, 315.8 0 M27.5 0 C113.29 1.59, 200.19 1.98, 315.8 0 M315.8 0 C334.62 0.3, 343.16 9.8, 343.3 27.5 M315.8 0 C332.36 0.81, 342.05 6.99, 343.3 27.5 M343.3 27.5 C344.92 45.6, 342.12 60.1, 343.3 82.5 M343.3 27.5 C343.49 39, 343.42 51.83, 343.3 82.5 M343.3 82.5 C342.95 100.15, 335.73 108.38, 315.8 110 M343.3 82.5 C343.08 103.1, 332.72 109.16, 315.8 110 M315.8 110 C240.14 107.7, 163.47 108.74, 27.5 110 M315.8 110 C232.73 110.45, 148.07 110.9, 27.5 110 M27.5 110 C10.87 109.65, 1.07 100.62, 0 82.5 M27.5 110 C10.53 109.56, 2.05 101.42, 0 82.5 M0 82.5 C0.36 68.48, 0.25 55.68, 0 27.5 M0 82.5 C-1.22 70.07, 0.12 57.67, 0 27.5 M0 27.5 C-1.12 9.05, 9.32 -0.25, 27.5 0 M0 27.5 C1.43 8.81, 7.45 2.17, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(710.1989161277833 511.1734722387064) rotate(0 153.2498779296875 50)"><text x="153.2498779296875" 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. Get the path indices (to </text><text x="153.2498779296875" 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">locate the leaf in the quinary </text><text x="153.2498779296875" 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">tree) using </text><text x="153.2498779296875" 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">QuinGeneratePathIndices</text></g><g stroke-linecap="round" transform="translate(691.4589200661493 623.0218739641718) rotate(0 171.64961777213057 42.5)"><path d="M21.25 0 C109.76 0.4, 195.65 2, 322.05 0 M21.25 0 C135.39 1.56, 250.66 2.19, 322.05 0 M322.05 0 C337.56 0.2, 341.62 7.11, 343.3 21.25 M322.05 0 C335.99 1.25, 342.57 8.29, 343.3 21.25 M343.3 21.25 C344.23 35.63, 345.04 49.3, 343.3 63.75 M343.3 21.25 C344.18 31.29, 343.57 41.02, 343.3 63.75 M343.3 63.75 C344.72 76.29, 334.86 83.85, 322.05 85 M343.3 63.75 C342.99 77.96, 334.04 86.36, 322.05 85 M322.05 85 C208.7 84.47, 97.57 84.69, 21.25 85 M322.05 85 C249.75 84.32, 176.6 85.25, 21.25 85 M21.25 85 C7.11 85.76, -0.21 77.71, 0 63.75 M21.25 85 C7.33 84.29, -0.04 79.03, 0 63.75 M0 63.75 C-0.77 50.56, -1 38.42, 0 21.25 M0 63.75 C-0.33 54.22, -0.32 45.32, 0 21.25 M0 21.25 C1.21 6.21, 8.52 0.92, 21.25 0 M0 21.25 C-0.35 5.19, 8.57 -0.38, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(701.438661739647 628.0218739641718) rotate(0 161.6698760986328 37.5)"><text x="161.6698760986328" 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. Generate a Merkle proof for </text><text x="161.6698760986328" 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 leaf using </text><text x="161.6698760986328" 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">QuinTreeInclusionProof</text></g><g stroke-linecap="round" transform="translate(701.9331406802461 729.7829336723412) rotate(0 171.64961777213057 55)"><path d="M27.5 0 C97.44 1.54, 169.33 -0.04, 315.8 0 M27.5 0 C106.61 -1.3, 185.88 -0.79, 315.8 0 M315.8 0 C335.14 -0.95, 342.77 9.46, 343.3 27.5 M315.8 0 C336.06 0.93, 344.98 10.74, 343.3 27.5 M343.3 27.5 C341.86 37.97, 344.82 50.44, 343.3 82.5 M343.3 27.5 C343.25 47.17, 343.32 65.67, 343.3 82.5 M343.3 82.5 C343.84 101.26, 332.18 109.13, 315.8 110 M343.3 82.5 C343.73 100.79, 335.3 111.73, 315.8 110 M315.8 110 C244.41 108.65, 173.58 108.53, 27.5 110 M315.8 110 C205.82 109.19, 94.43 109.61, 27.5 110 M27.5 110 C9.72 111.43, 0.95 99.13, 0 82.5 M27.5 110 C11.45 109.15, -2.17 102.37, 0 82.5 M0 82.5 C0.04 62.23, -1.21 40.82, 0 27.5 M0 82.5 C-0.26 71.2, 0.44 59.03, 0 27.5 M0 27.5 C-0.73 8.95, 8.99 0.05, 27.5 0 M0 27.5 C-1.55 9.58, 9.84 0.92, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(712.5028939504235 734.7829336723412) rotate(0 161.07986450195312 50)"><text x="161.07986450195312" 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. Extract the root from </text><text x="161.07986450195312" 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">QuinTreeInclusionProof and wire </text><text x="161.07986450195312" 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">to the output signal </text><text x="161.07986450195312" 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">newStateRoot</text></g></svg>
21
+ <rect x="0" y="0" width="1473.9516795609748" height="849.7829336723412" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(305.0938053366018 342.91267861253846) rotate(0 114.33810379333897 33.80052213620297)"><path d="M16.9 0 C57.53 -1.87, 99.09 -0.68, 211.78 0 M16.9 0 C82.55 1.51, 148.92 1.5, 211.78 0 M211.78 0 C223.1 -1.04, 229.77 6.62, 228.68 16.9 M211.78 0 C224.37 0.26, 228.95 5.67, 228.68 16.9 M228.68 16.9 C227.38 24.03, 229.65 29.38, 228.68 50.7 M228.68 16.9 C229.34 30.33, 229.53 43.83, 228.68 50.7 M228.68 50.7 C228.16 62.5, 222.59 66.36, 211.78 67.6 M228.68 50.7 C229.96 61.89, 222.26 69.56, 211.78 67.6 M211.78 67.6 C139.81 65.29, 69.82 66.76, 16.9 67.6 M211.78 67.6 C155.59 67.48, 100.16 67.86, 16.9 67.6 M16.9 67.6 C6.87 67.4, -0.02 63.87, 0 50.7 M16.9 67.6 C5.55 69.05, 0.8 60.23, 0 50.7 M0 50.7 C-0.1 44.1, 0.52 37.54, 0 16.9 M0 50.7 C-0.42 42.13, 0.05 31.42, 0 16.9 M0 16.9 C-1.19 7.08, 6.43 0.12, 16.9 0 M0 16.9 C0 7.76, 7.86 -1.36, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(352.5119872549408 364.21320074874166) rotate(0 66.919921875 12.5)"><text x="66.919921875" 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">ProcessTopup</text></g><g stroke-linecap="round"><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M0 0.44 C-0.69 13.93, -3.96 67.51, -4.86 81.21 M-1.46 -0.37 C-2.19 13.26, -4.72 69, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M-14.32 53.85 C-11.39 61.73, -10.7 67.69, -5.5 82.53 M-14.32 53.85 C-10.7 64.25, -6.8 76.25, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(405.49383508348114 257.54246773847444) rotate(0 -2.7202546113021526 40.81570261330012)"><path d="M6.17 54.89 C4.16 62.52, -0.08 68.23, -5.5 82.53 M6.17 54.89 C1.93 65.06, -2.02 76.66, -5.5 82.53" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g transform="translate(452.0787100794711 295.7899274158285) rotate(0 26.379974365234375 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">Input</text></g><g transform="translate(463.36494619147345 444.35683512232436) rotate(0 34.84996032714844 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">Output</text></g><g stroke-linecap="round"><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M0.41 0.45 C0.49 7.16, 0.4 33.93, 0.46 40.74 M-0.04 0.2 C-0.04 7.22, -0.06 34.6, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M-7.09 22.05 C-4.04 27.85, -3.23 34.17, 0.04 41.29 M-7.09 22.05 C-4.48 28.77, -2.5 35.54, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(402.66037233670943 429.6719670239877) rotate(0 0.2229014099474398 20.511057519056294)"><path d="M6.94 21.97 C5.76 27.85, 2.34 34.19, 0.04 41.29 M6.94 21.97 C4.65 28.73, 1.73 35.52, 0.04 41.29" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(305.8244266247631 495.2353693232585) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C85.53 1.05, 158.03 1.11, 204.03 0 M16.09 0 C73.68 0.08, 132.65 -0.7, 204.03 0 M204.03 0 C214.73 0.93, 218.3 7.29, 220.12 16.09 M204.03 0 C215.82 -0.58, 221.29 5.45, 220.12 16.09 M220.12 16.09 C220.69 27.55, 218.92 41.02, 220.12 48.27 M220.12 16.09 C220.65 25.67, 219.25 34.67, 220.12 48.27 M220.12 48.27 C219.27 58.96, 215.39 64.08, 204.03 64.35 M220.12 48.27 C222.11 58.75, 213.77 64.55, 204.03 64.35 M204.03 64.35 C149.29 65.5, 96.87 65.44, 16.09 64.35 M204.03 64.35 C134.83 62.14, 67.68 62.75, 16.09 64.35 M16.09 64.35 C5.58 64.6, 0.48 58.42, 0 48.27 M16.09 64.35 C6.42 63.22, -0.61 60.37, 0 48.27 M0 48.27 C1.75 38.73, 0.42 27.61, 0 16.09 M0 48.27 C-0.14 36.28, 0.47 22.61, 0 16.09 M0 16.09 C0.93 5.16, 4.53 1.35, 16.09 0 M0 16.09 C-1.49 3.81, 5.48 0.78, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(346.6220566852586 514.9127858741344) rotate(0 69.25994110107422 12.5)"><text x="69.25994110107422" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#2f9e44" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">newStateRoot</text></g><g transform="translate(570.3737259406327 257.96351260310803) 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(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M0.14 0.02 C13.79 -6.5, 68.74 -32.34, 82.58 -39 M-1.24 -1.01 C12.71 -7.33, 70.84 -31.05, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M62.87 -16.85 C70.71 -26, 78.72 -32.34, 84.74 -37.39 M62.87 -16.85 C67.06 -20.78, 73.54 -26.78, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(574.0950351317991 385.6055951384592) rotate(0 41.82364155770529 -19.566703345299402)"><path d="M54.78 -35.72 C65.53 -38.12, 76.44 -37.72, 84.74 -37.39 M54.78 -35.72 C60.86 -35.28, 69.22 -36.89, 84.74 -37.39" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(296.2022097980471 180.8810513443027) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C54.49 0.7, 96.49 -1.09, 204.03 0 M16.09 0 C91.09 0.51, 165.77 0.6, 204.03 0 M204.03 0 C214.24 0.53, 219.66 4.13, 220.12 16.09 M204.03 0 C216.04 -0.08, 219.33 7.32, 220.12 16.09 M220.12 16.09 C219.12 26.97, 220.1 40.16, 220.12 48.27 M220.12 16.09 C219.97 25.38, 220.3 34.96, 220.12 48.27 M220.12 48.27 C221.35 58.79, 214.73 66.25, 204.03 64.35 M220.12 48.27 C220.03 60.44, 215.55 62.62, 204.03 64.35 M204.03 64.35 C165.74 64.74, 128.44 65, 16.09 64.35 M204.03 64.35 C152.78 64.03, 102.27 62.48, 16.09 64.35 M16.09 64.35 C4.18 65.8, 0.8 59.11, 0 48.27 M16.09 64.35 C5.37 66.48, 2.23 57.63, 0 48.27 M0 48.27 C-1.03 39, -0.41 27.04, 0 16.09 M0 48.27 C0.26 36.78, -0.59 24.75, 0 16.09 M0 16.09 C-0.49 5.05, 5.93 0.28, 16.09 0 M0 16.09 C-1.92 5.47, 7.15 -0.58, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(343.31984718276135 200.55846789517864) rotate(0 62.93993377685547 12.5)"><text x="62.93993377685547" 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">messageType</text></g><g stroke-linecap="round" transform="translate(693.7410533145616 71.95385055299676) rotate(0 124.50711860321496 67.5)"><path d="M32 0 C89.24 2.61, 142.13 2.7, 217.01 0 M32 0 C87.91 0.02, 144.11 -0.87, 217.01 0 M217.01 0 C239.46 -0.07, 248.33 12.37, 249.01 32 M217.01 0 C239.82 0.09, 247.28 9.51, 249.01 32 M249.01 32 C248.73 52.05, 248.8 67.78, 249.01 103 M249.01 32 C249.56 53.79, 248.94 76.74, 249.01 103 M249.01 103 C248.94 125.59, 239.04 133.49, 217.01 135 M249.01 103 C246.75 122.49, 238.55 134.57, 217.01 135 M217.01 135 C158.94 136.37, 101.04 134.91, 32 135 M217.01 135 C149.82 133.97, 84.21 133.31, 32 135 M32 135 C10.67 136.85, 1.94 123.15, 0 103 M32 135 C11.06 136.47, 1.79 123.39, 0 103 M0 103 C1.42 77.1, -1.28 53.89, 0 32 M0 103 C0.32 79.13, 0.85 55.72, 0 32 M0 32 C-1.67 10.76, 12.22 -0.5, 32 0 M0 32 C-0.75 9.29, 12.46 -0.11, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g stroke-linecap="round" transform="translate(10 378.0046382852429) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C68.15 -1.73, 122.06 0.23, 204.03 0 M16.09 0 C72.79 0.93, 130.64 0.81, 204.03 0 M204.03 0 C216.49 -0.21, 219.26 5.53, 220.12 16.09 M204.03 0 C214.53 1.05, 221.54 5.13, 220.12 16.09 M220.12 16.09 C221.68 26.41, 218.91 33.37, 220.12 48.27 M220.12 16.09 C220.25 23.29, 220.38 29.96, 220.12 48.27 M220.12 48.27 C221.04 58.01, 214.22 65.55, 204.03 64.35 M220.12 48.27 C220.6 56.82, 213.39 66.02, 204.03 64.35 M204.03 64.35 C142.02 66.3, 75.13 64.7, 16.09 64.35 M204.03 64.35 C136.11 63.48, 66.85 64.26, 16.09 64.35 M16.09 64.35 C4.07 63, 0.1 59.67, 0 48.27 M16.09 64.35 C3.52 64.66, -0.57 58.63, 0 48.27 M0 48.27 C0.05 39.26, -0.55 26.5, 0 16.09 M0 48.27 C-0.68 40.49, 0.03 33.16, 0 16.09 M0 16.09 C0.1 4.04, 3.7 -1.75, 16.09 0 M0 16.09 C-1.8 7.18, 3.68 -2.17, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(39.117652643503334 385.1820548361188) rotate(0 80.9399185180664 25)"><text x="80.9399185180664" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: </text><text x="80.9399185180664" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">stateTreeDepth</text></g><g stroke-linecap="round"><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M0.77 0.05 C8.11 -4.26, 36.44 -20.76, 43.65 -24.81 M-0.29 -0.97 C7.47 -4.61, 38.67 -19.93, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M28.41 -5.22 C32.98 -11.73, 36.55 -15.94, 45.89 -23.59 M28.41 -5.22 C34.44 -10.78, 38.36 -16.08, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(251.16626846986253 399.0184776221963) rotate(0 22.27889688945629 -12.101152245474623)"><path d="M20.69 -20.75 C27.45 -23.18, 33.07 -23.26, 45.89 -23.59 M20.69 -20.75 C29.07 -21.66, 35.3 -22.32, 45.89 -23.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(60.19856941201192 185.788439500393) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C62.22 -1.13, 107.83 -1.02, 204.03 0 M16.09 0 C59.03 -0.2, 102.34 -1.15, 204.03 0 M204.03 0 C215.74 0.57, 220.52 4.29, 220.12 16.09 M204.03 0 C212.68 -0.24, 220.27 4.96, 220.12 16.09 M220.12 16.09 C220.93 26.13, 218.82 35.82, 220.12 48.27 M220.12 16.09 C219.02 25.03, 219.41 34.5, 220.12 48.27 M220.12 48.27 C221.81 60.3, 213 63.5, 204.03 64.35 M220.12 48.27 C220.78 58.91, 215.13 64.01, 204.03 64.35 M204.03 64.35 C135.41 62.57, 64.31 62.6, 16.09 64.35 M204.03 64.35 C143.56 64.83, 81.93 65.41, 16.09 64.35 M16.09 64.35 C5.35 63.47, -1.37 57.66, 0 48.27 M16.09 64.35 C7.58 64.29, 0.84 58.06, 0 48.27 M0 48.27 C1.83 40.03, 0.06 35.6, 0 16.09 M0 48.27 C0.87 36.89, -0.34 25.69, 0 16.09 M0 16.09 C-0.54 4.56, 4.18 -1.01, 16.09 0 M0 16.09 C0.29 5.95, 4.53 0.96, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(91.20621381576916 205.46585605126893) rotate(0 79.0499267578125 12.5)"><text x="79.0499267578125" 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">stateTreeIndex</text></g><g stroke-linecap="round" transform="translate(61.02652621204345 103.62790443973608) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C84.72 -0.96, 156.62 2.27, 204.03 0 M16.09 0 C79.6 2.47, 144.96 1.77, 204.03 0 M204.03 0 C212.97 -1.42, 220.64 6.16, 220.12 16.09 M204.03 0 C215.65 -0.8, 221.47 4.18, 220.12 16.09 M220.12 16.09 C222.25 26.63, 221.03 42.69, 220.12 48.27 M220.12 16.09 C219.86 27.01, 220.12 37.07, 220.12 48.27 M220.12 48.27 C220.31 57.78, 216.15 65.92, 204.03 64.35 M220.12 48.27 C221.32 58.33, 213.33 63.58, 204.03 64.35 M204.03 64.35 C128.46 65.32, 54.07 61.95, 16.09 64.35 M204.03 64.35 C133.66 64.39, 64.65 64.32, 16.09 64.35 M16.09 64.35 C7.16 65.22, -0.02 58.97, 0 48.27 M16.09 64.35 C5.46 63.36, -0.22 59.93, 0 48.27 M0 48.27 C-0.53 40.11, 0.55 35.99, 0 16.09 M0 48.27 C-0.22 37.87, 0.48 25.23, 0 16.09 M0 16.09 C1.02 3.73, 6.8 1.45, 16.09 0 M0 16.09 C1.27 4.1, 5.83 -2.25, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(136.54412697566397 123.30532099061202) rotate(0 34.53997039794922 12.5)"><text x="34.53997039794922" 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">amount</text></g><g stroke-linecap="round" transform="translate(296.65395800182364 102.15346082324095) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C55.14 -1.16, 94.08 -2.35, 204.03 0 M16.09 0 C76.54 -1.06, 134.64 -1.64, 204.03 0 M204.03 0 C215.37 -1.89, 218.74 5.5, 220.12 16.09 M204.03 0 C212.64 -0.53, 219.84 6.99, 220.12 16.09 M220.12 16.09 C219.38 23.49, 220.82 32.02, 220.12 48.27 M220.12 16.09 C220.92 24.62, 221.19 31.29, 220.12 48.27 M220.12 48.27 C221.17 58.89, 214.37 66.19, 204.03 64.35 M220.12 48.27 C220.53 60.65, 216.41 63.94, 204.03 64.35 M204.03 64.35 C142.08 62.24, 80.72 61.56, 16.09 64.35 M204.03 64.35 C134.57 65.07, 65.97 66.85, 16.09 64.35 M16.09 64.35 C5.92 65.74, 0.71 60.74, 0 48.27 M16.09 64.35 C5.84 65.73, 0.95 60.21, 0 48.27 M0 48.27 C0.67 38.88, 1 31.88, 0 16.09 M0 48.27 C0.43 42.06, 0.51 35.17, 0 16.09 M0 16.09 C0.42 3.58, 3.97 -1.93, 16.09 0 M0 16.09 C1.8 3.5, 3.97 1.8, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(356.0415844002098 121.83087737411688) rotate(0 50.669944763183594 12.5)"><text x="50.669944763183594" 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">totalSignups</text></g><g stroke-linecap="round" transform="translate(67.15680909446849 20.86625005850692) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C56.84 2.95, 99.44 0.05, 204.03 0 M16.09 0 C63.61 -0.03, 109.81 0.75, 204.03 0 M204.03 0 C212.77 -1.27, 218.12 5.09, 220.12 16.09 M204.03 0 C215.41 -2.28, 221.31 7.09, 220.12 16.09 M220.12 16.09 C220.57 28.06, 221.33 36.2, 220.12 48.27 M220.12 16.09 C219.78 28.08, 219.48 39.06, 220.12 48.27 M220.12 48.27 C221.97 59.03, 215.88 62.39, 204.03 64.35 M220.12 48.27 C221.92 60.78, 212.88 64.44, 204.03 64.35 M204.03 64.35 C136.73 64.3, 72.69 64.82, 16.09 64.35 M204.03 64.35 C158.21 62.65, 113.03 62.8, 16.09 64.35 M16.09 64.35 C5.6 63.02, 0.82 58.82, 0 48.27 M16.09 64.35 C3.77 63.32, -2.23 59.18, 0 48.27 M0 48.27 C1.68 35.83, 1.85 22.31, 0 16.09 M0 48.27 C-0.86 41.63, -0.38 33.18, 0 16.09 M0 16.09 C-1.55 6.51, 3.38 1.92, 16.09 0 M0 16.09 C-0.66 6.08, 7.37 -0.26, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(125.35442542205385 40.54366660938285) rotate(0 51.859954833984375 12.5)"><text x="51.859954833984375" 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">stateLeaf</text></g><g stroke-linecap="round" transform="translate(303.1244971034396 19.788772031065037) rotate(0 110.05757116156974 32.17741655087593)"><path d="M16.09 0 C71.71 -1.13, 125.05 -1.11, 204.03 0 M16.09 0 C78.34 -0.43, 139.39 -1.58, 204.03 0 M204.03 0 C212.84 -1.02, 219.55 7.33, 220.12 16.09 M204.03 0 C213.15 -1, 219.5 7.47, 220.12 16.09 M220.12 16.09 C219.32 22.17, 219.16 28.57, 220.12 48.27 M220.12 16.09 C220.37 25.78, 219.87 34.74, 220.12 48.27 M220.12 48.27 C220.36 58.92, 214.76 63.83, 204.03 64.35 M220.12 48.27 C221.05 60.49, 215.71 64.38, 204.03 64.35 M204.03 64.35 C143.22 63.26, 80.22 64.7, 16.09 64.35 M204.03 64.35 C138.74 65.11, 73.3 65.2, 16.09 64.35 M16.09 64.35 C4.2 66.23, 1.17 57.34, 0 48.27 M16.09 64.35 C5.79 64.1, 1.78 60.64, 0 48.27 M0 48.27 C1.31 42.61, 1.8 36.71, 0 16.09 M0 48.27 C-1.03 37.74, 0.78 29.26, 0 16.09 M0 16.09 C0.04 7.08, 3.51 -0.5, 16.09 0 M0 16.09 C0.48 3.81, 4.83 0.47, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(310.81215707116166 26.96618858194097) rotate(0 102.36991119384766 25)"><text x="102.36991119384766" 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">stateLeafPathEleme</text><text x="102.36991119384766" 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">nts</text></g><g transform="translate(699.3682509583037 76.95385055299676) rotate(0 118.87992095947266 62.5)"><text x="118.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">1. Calculate amount and</text><text x="118.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">index by multiplying the </text><text x="118.87992095947266" 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">input (stateTreeIndex </text><text x="118.87992095947266" 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">and amount) * </text><text x="118.87992095947266" 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">messageType - 1</text></g><g transform="translate(662.6824042255288 10) rotate(0 227.539794921875 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">Note that a topup message type should be 2</text></g><g stroke-linecap="round" transform="translate(1024.6434808349804 52.43111348363209) rotate(0 110.05757116156974 80)"><path d="M32 0 C74.21 -0.15, 117.51 -0.22, 188.12 0 M32 0 C89.99 1.97, 146.41 2.13, 188.12 0 M188.12 0 C210.84 -0.48, 221.04 11.47, 220.12 32 M188.12 0 C210.62 0.44, 220.95 8.96, 220.12 32 M220.12 32 C221.29 50.49, 218.04 71.95, 220.12 128 M220.12 32 C221.41 62.16, 221.57 92.34, 220.12 128 M220.12 128 C220.51 148.28, 207.61 160.68, 188.12 160 M220.12 128 C220.31 147.67, 208.23 158.61, 188.12 160 M188.12 160 C154.62 158.86, 123.02 161.95, 32 160 M188.12 160 C146.5 159.89, 104.22 159.84, 32 160 M32 160 C12.35 160.32, 0.92 148.38, 0 128 M32 160 C9.95 160.28, 0.54 150.14, 0 128 M0 128 C-0.68 105.2, 1.02 82.03, 0 32 M0 128 C0.03 97.89, -0.87 68.18, 0 32 M0 32 C-1.2 9.81, 9.65 -0.95, 32 0 M0 32 C-0.18 9.66, 11.87 -0.76, 32 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1030.9511282904955 57.43111348363209) rotate(0 103.74992370605469 75)"><text x="103.74992370605469" 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">this is to ensure </text><text x="103.74992370605469" 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">that if we do not </text><text x="103.74992370605469" 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">pass a topup </text><text x="103.74992370605469" 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">message, then </text><text x="103.74992370605469" 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">amount and index will</text><text x="103.74992370605469" y="125" 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">be zero</text></g><g stroke-linecap="round"><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M-0.47 0.09 C5.87 0.16, 31.43 0.51, 37.66 0.62 M0.29 -0.33 C6.63 -0.22, 31.14 0.92, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M19.67 6.78 C23.86 6.28, 27.29 3.72, 37.43 1.18 M19.67 6.78 C24.43 5.65, 29.32 3.87, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(964.8394764394076 131.13467708755525) rotate(0 18.623357063721755 0.4400617351489018)"><path d="M20.22 -5.95 C24.31 -3.56, 27.62 -3.22, 37.43 1.18 M20.22 -5.95 C24.89 -3.67, 29.63 -2.04, 37.43 1.18" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(689.604523671558 240.80829830175344) rotate(0 140.63242792437597 49.070709675536364)"><path d="M24.54 0 C73.21 -0.32, 122.8 -0.38, 256.73 0 M24.54 0 C91.79 0.13, 160.4 0.24, 256.73 0 M256.73 0 C271.56 -0.29, 281.91 8.02, 281.26 24.54 M256.73 0 C272.38 -0.6, 283.27 8.81, 281.26 24.54 M281.26 24.54 C281.82 41.03, 279.95 60.31, 281.26 73.61 M281.26 24.54 C280.41 38.5, 280.33 52.64, 281.26 73.61 M281.26 73.61 C281.61 90.99, 272.53 97.05, 256.73 98.14 M281.26 73.61 C279.28 89.05, 274.52 98.04, 256.73 98.14 M256.73 98.14 C190.8 96.42, 128.04 96.59, 24.54 98.14 M256.73 98.14 C206.65 99.35, 157.79 99.67, 24.54 98.14 M24.54 98.14 C6.25 97.61, 0.98 90.13, 0 73.61 M24.54 98.14 C9.03 95.89, 0.6 89.72, 0 73.61 M0 73.61 C-1.82 63.8, -1.65 51.55, 0 24.54 M0 73.61 C0.54 57.13, 0.75 43.08, 0 24.54 M0 24.54 C1.91 10.06, 8.84 -0.77, 24.54 0 M0 24.54 C-1.76 7.32, 6.6 2.26, 24.54 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(694.9570443693714 264.8790079772898) rotate(0 135.2799072265625 25)"><text x="135.2799072265625" 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. Check that stateIndex </text><text x="135.2799072265625" 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">&lt;= totalSignups</text></g><g stroke-linecap="round" transform="translate(684.61126365493 347.69411862362404) rotate(0 171.64961777213057 30)"><path d="M15 0 C124.5 -1.05, 234.86 -0.26, 328.3 0 M15 0 C113.05 0.55, 211.63 -0.13, 328.3 0 M328.3 0 C336.39 0.68, 344.15 3.52, 343.3 15 M328.3 0 C339.21 1.8, 341.4 4.18, 343.3 15 M343.3 15 C344.45 23.21, 341.45 36.45, 343.3 45 M343.3 15 C343.49 22.8, 343.63 29.33, 343.3 45 M343.3 45 C344.29 54.52, 338.33 61.69, 328.3 60 M343.3 45 C343.56 55.95, 336.11 59.64, 328.3 60 M328.3 60 C217.01 59.23, 104.36 61.65, 15 60 M328.3 60 C262.77 58.67, 198.78 58.07, 15 60 M15 60 C6.93 60.13, 0.08 56.64, 0 45 M15 60 C4.46 61.69, -1.92 55.37, 0 45 M0 45 C1.51 33.68, 1.78 22.67, 0 15 M0 45 C-0.64 35.9, -0.64 27.3, 0 15 M0 15 C-1.88 4, 5.09 -1.11, 15 0 M0 15 C-1.32 3.76, 4.24 -1.85, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(698.5710315735449 352.69411862362404) rotate(0 157.68984985351562 25)"><text x="157.68984985351562" 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. Check that the </text><text x="157.68984985351562" 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">newCreditBalance is &lt; field size</text></g><g stroke-linecap="round" transform="translate(691.8161890962996 426.50247851512904) rotate(0 171.64961777213057 30)"><path d="M15 0 C140.06 -0.11, 265.18 1.64, 328.3 0 M15 0 C116.71 -0.81, 219.57 -1.04, 328.3 0 M328.3 0 C337.36 0.8, 343.66 3.11, 343.3 15 M328.3 0 C336.86 -1.61, 343.07 4.32, 343.3 15 M343.3 15 C342.67 19.9, 341.68 27.45, 343.3 45 M343.3 15 C344.02 21.15, 343.1 27.04, 343.3 45 M343.3 45 C344.85 53.53, 338.94 60.44, 328.3 60 M343.3 45 C345.54 52.97, 338.7 61.5, 328.3 60 M328.3 60 C263.35 57.08, 201.77 58.89, 15 60 M328.3 60 C233.65 61.6, 138.91 61.98, 15 60 M15 60 C6.47 59.4, 0.48 54.81, 0 45 M15 60 C5.5 58.14, -2.12 52.86, 0 45 M0 45 C-1.12 38.46, 1.1 27.4, 0 15 M0 45 C-0.22 37.65, -0.81 27.94, 0 15 M0 15 C1.66 3.15, 3.76 -0.02, 15 0 M0 15 C0.01 3.8, 5.92 1.28, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(725.9459094074926 431.50247851512904) rotate(0 137.5198974609375 25)"><text x="137.5198974609375" 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. Update the voice credit </text><text x="137.5198974609375" 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">balance in the state leaf</text></g><g stroke-linecap="round" transform="translate(1120.6524440167136 413.7371993584802) rotate(0 171.64961777213057 30)"><path d="M15 0 C86.13 2.47, 158.04 0.97, 328.3 0 M15 0 C110.88 0.37, 208.36 0.71, 328.3 0 M328.3 0 C337.55 0.7, 341.53 5.8, 343.3 15 M328.3 0 C340.4 0.61, 341.64 3.6, 343.3 15 M343.3 15 C343.88 24.65, 341.08 34.01, 343.3 45 M343.3 15 C343.26 26.84, 342.39 37.58, 343.3 45 M343.3 45 C344.3 55.64, 337.18 59.81, 328.3 60 M343.3 45 C343.66 53.91, 339.46 61.89, 328.3 60 M328.3 60 C209.33 61.46, 89.29 60.21, 15 60 M328.3 60 C210.56 62.13, 93.52 61.67, 15 60 M15 60 C6.63 61.53, -0.35 56.74, 0 45 M15 60 C3.14 61.66, 1.58 56.88, 0 45 M0 45 C-0.62 36.8, -0.36 29.49, 0 15 M0 45 C-0.64 37.9, 0.13 30.71, 0 15 M0 15 C0.54 3.64, 3.83 -1.97, 15 0 M0 15 C0.15 3.16, 5.44 -0.15, 15 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1148.3321826384536 418.7371993584802) rotate(0 143.96987915039062 25)"><text x="143.96987915039062" 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(pubKeyX, pubKeyY, </text><text x="143.96987915039062" 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">newCreditBalance, timestamp)</text></g><g stroke-linecap="round"><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M-0.46 0.3 C7.49 0.71, 39.38 1.9, 47.44 2.13 M0.3 -0.01 C8.46 0.26, 40.63 0.95, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M25.83 8.76 C32.05 6.47, 37.7 5.48, 48.52 1.32 M25.83 8.76 C32.09 6.59, 38.4 4.87, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1052.4157563221893 449.5272260217139) rotate(0 23.866138307756728 0.9130208548290284)"><path d="M26.36 -7.57 C32.4 -5.79, 37.92 -2.73, 48.52 1.32 M26.36 -7.57 C32.52 -5.28, 38.68 -2.54, 48.52 1.32" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(691.7991762853402 506.1734722387064) rotate(0 171.64961777213057 55)"><path d="M27.5 0 C130.46 -0.14, 230.01 0.57, 315.8 0 M27.5 0 C113.29 1.59, 200.19 1.98, 315.8 0 M315.8 0 C334.62 0.3, 343.16 9.8, 343.3 27.5 M315.8 0 C332.36 0.81, 342.05 6.99, 343.3 27.5 M343.3 27.5 C344.92 45.6, 342.12 60.1, 343.3 82.5 M343.3 27.5 C343.49 39, 343.42 51.83, 343.3 82.5 M343.3 82.5 C342.95 100.15, 335.73 108.38, 315.8 110 M343.3 82.5 C343.08 103.1, 332.72 109.16, 315.8 110 M315.8 110 C240.14 107.7, 163.47 108.74, 27.5 110 M315.8 110 C232.73 110.45, 148.07 110.9, 27.5 110 M27.5 110 C10.87 109.65, 1.07 100.62, 0 82.5 M27.5 110 C10.53 109.56, 2.05 101.42, 0 82.5 M0 82.5 C0.36 68.48, 0.25 55.68, 0 27.5 M0 82.5 C-1.22 70.07, 0.12 57.67, 0 27.5 M0 27.5 C-1.12 9.05, 9.32 -0.25, 27.5 0 M0 27.5 C1.43 8.81, 7.45 2.17, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(710.1989161277833 511.1734722387064) rotate(0 153.2498779296875 50)"><text x="153.2498779296875" 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. Get the path indices (to </text><text x="153.2498779296875" 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">locate the leaf in the quinary </text><text x="153.2498779296875" 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">tree) using </text><text x="153.2498779296875" 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">QuinaryGeneratePathIndices</text></g><g stroke-linecap="round" transform="translate(691.4589200661493 623.0218739641718) rotate(0 171.64961777213057 42.5)"><path d="M21.25 0 C109.76 0.4, 195.65 2, 322.05 0 M21.25 0 C135.39 1.56, 250.66 2.19, 322.05 0 M322.05 0 C337.56 0.2, 341.62 7.11, 343.3 21.25 M322.05 0 C335.99 1.25, 342.57 8.29, 343.3 21.25 M343.3 21.25 C344.23 35.63, 345.04 49.3, 343.3 63.75 M343.3 21.25 C344.18 31.29, 343.57 41.02, 343.3 63.75 M343.3 63.75 C344.72 76.29, 334.86 83.85, 322.05 85 M343.3 63.75 C342.99 77.96, 334.04 86.36, 322.05 85 M322.05 85 C208.7 84.47, 97.57 84.69, 21.25 85 M322.05 85 C249.75 84.32, 176.6 85.25, 21.25 85 M21.25 85 C7.11 85.76, -0.21 77.71, 0 63.75 M21.25 85 C7.33 84.29, -0.04 79.03, 0 63.75 M0 63.75 C-0.77 50.56, -1 38.42, 0 21.25 M0 63.75 C-0.33 54.22, -0.32 45.32, 0 21.25 M0 21.25 C1.21 6.21, 8.52 0.92, 21.25 0 M0 21.25 C-0.35 5.19, 8.57 -0.38, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(701.438661739647 628.0218739641718) rotate(0 161.6698760986328 37.5)"><text x="161.6698760986328" 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. Generate a Merkle proof for </text><text x="161.6698760986328" 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 leaf using </text><text x="161.6698760986328" 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">QuinaryTreeInclusionProof</text></g><g stroke-linecap="round" transform="translate(701.9331406802461 729.7829336723412) rotate(0 171.64961777213057 55)"><path d="M27.5 0 C97.44 1.54, 169.33 -0.04, 315.8 0 M27.5 0 C106.61 -1.3, 185.88 -0.79, 315.8 0 M315.8 0 C335.14 -0.95, 342.77 9.46, 343.3 27.5 M315.8 0 C336.06 0.93, 344.98 10.74, 343.3 27.5 M343.3 27.5 C341.86 37.97, 344.82 50.44, 343.3 82.5 M343.3 27.5 C343.25 47.17, 343.32 65.67, 343.3 82.5 M343.3 82.5 C343.84 101.26, 332.18 109.13, 315.8 110 M343.3 82.5 C343.73 100.79, 335.3 111.73, 315.8 110 M315.8 110 C244.41 108.65, 173.58 108.53, 27.5 110 M315.8 110 C205.82 109.19, 94.43 109.61, 27.5 110 M27.5 110 C9.72 111.43, 0.95 99.13, 0 82.5 M27.5 110 C11.45 109.15, -2.17 102.37, 0 82.5 M0 82.5 C0.04 62.23, -1.21 40.82, 0 27.5 M0 82.5 C-0.26 71.2, 0.44 59.03, 0 27.5 M0 27.5 C-0.73 8.95, 8.99 0.05, 27.5 0 M0 27.5 C-1.55 9.58, 9.84 0.92, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(712.5028939504235 734.7829336723412) rotate(0 161.07986450195312 50)"><text x="161.07986450195312" 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. Extract the root from </text><text x="161.07986450195312" 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">QuinaryTreeInclusionProof and wire </text><text x="161.07986450195312" 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">to the output signal </text><text x="161.07986450195312" 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">newStateRoot</text></g></svg>
package/static/img/circuits/quinBatchLeavesExists.svg CHANGED
@@ -18,4 +18,4 @@
18
18
  </style>
19
19
 
20
20
  </defs>
21
- <rect x="0" y="0" width="1629.0087534767117" height="546.4862977078576" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(317.4465741934473 260.11561139102986) rotate(0 123.7048130233893 33.80052213620306)"><path d="M16.9 0 C88.66 -2.52, 156.58 -2.45, 230.51 0 M16.9 0 C66.77 -1.7, 117.36 -1.73, 230.51 0 M230.51 0 C242.24 1.63, 247.43 7.01, 247.41 16.9 M230.51 0 C242.62 -2.15, 246.2 7.38, 247.41 16.9 M247.41 16.9 C246.38 28.17, 248.55 35.49, 247.41 50.7 M247.41 16.9 C248.03 29.22, 246.89 43.41, 247.41 50.7 M247.41 50.7 C245.65 60.13, 241.11 68.68, 230.51 67.6 M247.41 50.7 C248.77 60.22, 241.21 65.36, 230.51 67.6 M230.51 67.6 C179.25 68.27, 128.1 66.52, 16.9 67.6 M230.51 67.6 C154.16 66.28, 77.13 65.93, 16.9 67.6 M16.9 67.6 C6.3 65.98, 0.99 61.68, 0 50.7 M16.9 67.6 C7.51 66.29, -1.08 59.91, 0 50.7 M0 50.7 C1.97 43, -1.17 35.48, 0 16.9 M0 50.7 C-0.43 40.05, -0.32 30.73, 0 16.9 M0 16.9 C-1.08 4.81, 4.96 0.96, 16.9 0 M0 16.9 C-1.51 6.35, 5.18 -0.17, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(326.6914873144924 281.4161335272329) rotate(0 114.45989990234375 12.5)"><text x="114.45989990234375" 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">QuinBatchLeavesExists</text></g><g stroke-linecap="round" transform="translate(448.9836842292516 114.84970794910697) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C59.6 -0.59, 107.31 1.21, 204.03 0 M16.09 0 C67.06 1.44, 117.58 1.31, 204.03 0 M204.03 0 C215.48 -1.87, 219.06 6.88, 220.12 16.09 M204.03 0 C214.35 1, 221.03 4.01, 220.12 16.09 M220.12 16.09 C221.83 29.83, 221.13 41.76, 220.12 48.27 M220.12 16.09 C219 23.41, 219.54 33.1, 220.12 48.27 M220.12 48.27 C221.3 57.47, 214.26 62.41, 204.03 64.35 M220.12 48.27 C218.73 60.22, 215.48 64.35, 204.03 64.35 M204.03 64.35 C148.05 64.4, 88.7 63.66, 16.09 64.35 M204.03 64.35 C156.41 61.94, 108.62 62.61, 16.09 64.35 M16.09 64.35 C6.99 63.22, -0.94 57.2, 0 48.27 M16.09 64.35 C3.79 63.88, -1.24 61.18, 0 48.27 M0 48.27 C0.29 38.79, 1.99 27.82, 0 16.09 M0 48.27 C-0.46 39.34, -0.25 31.72, 0 16.09 M0 16.09 C-1.31 5.99, 4.97 -0.14, 16.09 0 M0 16.09 C1.93 7.3, 7.49 0.11, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(504.9512971999038 134.5271244999829) rotate(0 54.08995819091797 12.5)"><text x="54.08995819091797" 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">pathIndex </text></g><g stroke-linecap="round"><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M0.04 -0.17 C0.68 6.33, 2.91 32.69, 3.41 39.38 M-0.61 -0.73 C0.05 5.81, 2.69 33.34, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M-5.2 22.04 C-3.6 26.88, -1.8 30.04, 3.25 39.99 M-5.2 22.04 C-1.79 28.39, 0.98 36.08, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M8.32 20.81 C6.99 25.92, 5.87 29.35, 3.25 39.99 M8.32 20.81 C6.57 27.68, 4.19 35.84, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(10.98612416042397 238.20014610632353) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C73.06 -1.34, 132.99 -1.78, 204.03 0 M16.09 0 C84.86 2.52, 154.52 2.19, 204.03 0 M204.03 0 C215.55 -1.17, 221.84 6.36, 220.12 16.09 M204.03 0 C214.18 1.78, 221.62 6.35, 220.12 16.09 M220.12 16.09 C221.95 25.27, 218.13 37.31, 220.12 48.27 M220.12 16.09 C220.06 26.5, 219.7 39.4, 220.12 48.27 M220.12 48.27 C220.75 58.99, 214.84 64.48, 204.03 64.35 M220.12 48.27 C217.92 60.36, 216.86 63.22, 204.03 64.35 M204.03 64.35 C135.62 65.64, 69.01 65.97, 16.09 64.35 M204.03 64.35 C149.85 62.39, 95.93 63.08, 16.09 64.35 M16.09 64.35 C4.28 66.25, 0.13 57.75, 0 48.27 M16.09 64.35 C5.86 64.46, 0.44 61.05, 0 48.27 M0 48.27 C1.38 38.71, -0.71 30.63, 0 16.09 M0 48.27 C0.02 36.99, 1.05 26.7, 0 16.09 M0 16.09 C1.85 5.45, 4.18 1.62, 16.09 0 M0 16.09 C1.6 4.23, 6.34 0.98, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(36.97377192111526 257.8775626571994) rotate(0 84.0699234008789 12.5)"><text x="84.0699234008789" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: levels</text></g><g transform="translate(464.43656263196317 212.9928601943197) 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(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M0.48 0.27 C8.12 -0.48, 38.42 -3.96, 46.11 -4.84 M0.06 -0.06 C7.6 -0.93, 37.88 -4.6, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M24.88 5 C32.46 1.06, 39.78 -1.63, 45.61 -5.59 M24.88 5 C31.6 1.91, 38.64 -2.68, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M22.93 -10.8 C31.12 -9.37, 39.11 -6.7, 45.61 -5.59 M22.93 -10.8 C30.35 -8.47, 38.05 -7.63, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(755.152973840808 107.06593525709354) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C90.26 1.77, 162.2 1.27, 204.03 0 M16.09 0 C63.32 -2.78, 111.97 -1.32, 204.03 0 M204.03 0 C215.93 -1.52, 219.63 3.42, 220.12 16.09 M204.03 0 C213.37 1.23, 220.84 5.36, 220.12 16.09 M220.12 16.09 C221.33 27.71, 219.15 36.76, 220.12 48.27 M220.12 16.09 C220.55 23.49, 220.72 32.37, 220.12 48.27 M220.12 48.27 C221.75 57.86, 213.81 62.56, 204.03 64.35 M220.12 48.27 C218.54 58.51, 213.51 66.54, 204.03 64.35 M204.03 64.35 C146.55 65.15, 90.67 64.03, 16.09 64.35 M204.03 64.35 C153.75 65.13, 104.22 66.02, 16.09 64.35 M16.09 64.35 C4.05 64.98, -0.39 58.85, 0 48.27 M16.09 64.35 C7.29 66.3, 2.13 59.1, 0 48.27 M0 48.27 C-1.25 41.36, 0.59 32.12, 0 16.09 M0 48.27 C-0.37 35.87, 1.06 25.72, 0 16.09 M0 16.09 C0.26 6.47, 6.19 0.5, 16.09 0 M0 16.09 C-1.7 5.27, 3.11 1.18, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.6606106151712 114.24335180796942) rotate(0 76.54993438720703 25)"><text x="76.54993438720703" 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. Compute the </text><text x="76.54993438720703" 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">subroot</text></g><g transform="translate(602.5330619846427 238.51548073850375) 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(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M-0.89 1.19 C16.87 0.81, 88.94 -2.43, 107.04 -2.8 M0.85 0.77 C18.93 0.54, 91.55 -1.21, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M81.32 9.23 C92.83 3.91, 98.49 1.24, 109.2 -1.84 M81.32 9.23 C90.87 4.55, 100.38 2.14, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M80.72 -11.29 C92.35 -9.63, 98.21 -5.32, 109.2 -1.84 M80.72 -11.29 C90.61 -8.7, 100.33 -3.85, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(206.40200080163322 112.93838801946617) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C56.74 0.99, 102.15 2.83, 204.03 0 M16.09 0 C57.56 2.37, 100.55 1.83, 204.03 0 M204.03 0 C214.84 0.13, 218.21 6.56, 220.12 16.09 M204.03 0 C216.86 -1.13, 221.38 4.33, 220.12 16.09 M220.12 16.09 C218.22 27.8, 219.56 39.15, 220.12 48.27 M220.12 16.09 C219.28 23.71, 219.42 32.69, 220.12 48.27 M220.12 48.27 C220.24 57.75, 215.18 64.45, 204.03 64.35 M220.12 48.27 C220.56 61.05, 213.91 63.54, 204.03 64.35 M204.03 64.35 C151.65 62.67, 101.88 62.03, 16.09 64.35 M204.03 64.35 C142.63 65.06, 80.47 64.27, 16.09 64.35 M16.09 64.35 C4.18 65.97, 1.39 58, 0 48.27 M16.09 64.35 C6.34 65.33, -0.73 60.31, 0 48.27 M0 48.27 C-1.95 42.9, 0.73 34.62, 0 16.09 M0 48.27 C-0.87 36.8, -1.12 25.92, 0 16.09 M0 16.09 C1.93 5.3, 4.37 0.84, 16.09 0 M0 16.09 C0.78 7.24, 6.91 -0.57, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(295.42959607209013 132.6158045703421) rotate(0 21.02997589111328 12.5)"><text x="21.02997589111328" 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">root</text></g><g stroke-linecap="round" transform="translate(375.6422509985141 10) rotate(0 151.45918851273836 42.5)"><path d="M21.25 0 C89.49 -1.62, 158.61 -2.19, 281.67 0 M21.25 0 C113.36 0.05, 204.65 0.48, 281.67 0 M281.67 0 C297.67 -0.99, 304.02 6.19, 302.92 21.25 M281.67 0 C296.6 -1.96, 303.69 5.22, 302.92 21.25 M302.92 21.25 C301.72 35.17, 301.07 49.6, 302.92 63.75 M302.92 21.25 C302.75 32.5, 302.91 45.03, 302.92 63.75 M302.92 63.75 C303.3 79.7, 295.1 84.29, 281.67 85 M302.92 63.75 C302.33 79.37, 294.59 84.06, 281.67 85 M281.67 85 C212.83 83.32, 142.87 84.97, 21.25 85 M281.67 85 C181.1 85.74, 82.03 84.7, 21.25 85 M21.25 85 C7.93 85.85, -0.64 79.06, 0 63.75 M21.25 85 C5.15 86.15, -1.46 75.86, 0 63.75 M0 63.75 C0.92 48.46, 0.31 30.03, 0 21.25 M0 63.75 C1.38 51.14, -0.08 39.01, 0 21.25 M0 21.25 C0.68 8.71, 8.43 -0.5, 21.25 0 M0 21.25 C-1.4 7.81, 5.35 2.02, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(406.65153411574465 27.5) rotate(0 120.44990539550781 25)"><text x="120.44990539550781" 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">leaves (array of length </text><text x="120.44990539550781" 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">batchLevels ** 5)</text></g><g stroke-linecap="round" transform="translate(10 304.409111720117) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C57.86 2.97, 96.12 1.95, 204.03 0 M16.09 0 C76.97 1.3, 137.97 0.2, 204.03 0 M204.03 0 C212.99 0.97, 220.35 5.21, 220.12 16.09 M204.03 0 C215.03 0.2, 221.22 4.71, 220.12 16.09 M220.12 16.09 C218.71 23.21, 220.6 33.02, 220.12 48.27 M220.12 16.09 C218.89 21.81, 219.92 29.19, 220.12 48.27 M220.12 48.27 C221.64 59.25, 216.54 63.94, 204.03 64.35 M220.12 48.27 C220.56 58.62, 213.27 63.06, 204.03 64.35 M204.03 64.35 C131.09 62.78, 60.47 63.23, 16.09 64.35 M204.03 64.35 C139.89 64.49, 76.67 63.41, 16.09 64.35 M16.09 64.35 C4.04 63.8, -1.77 59.15, 0 48.27 M16.09 64.35 C6.72 65.95, 0.28 58.7, 0 48.27 M0 48.27 C1.17 34.98, -2.08 24.37, 0 16.09 M0 48.27 C-0.39 39.76, -0.69 30.77, 0 16.09 M0 16.09 C0.34 6.15, 3.99 0.45, 16.09 0 M0 16.09 C1.13 5.36, 5.42 -0.42, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(62.477622736277226 311.58652827099286) rotate(0 57.57994842529297 25)"><text x="57.57994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: </text><text x="57.57994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">batchLevels</text></g><g stroke-linecap="round" transform="translate(148.2714379094332 23.68743807921254) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C71.32 -2.09, 126.38 -2.46, 204.03 0 M16.09 0 C64.73 0.75, 115.64 -0.07, 204.03 0 M204.03 0 C216.25 0.5, 219.52 4.71, 220.12 16.09 M204.03 0 C213.05 1.74, 221.21 4.14, 220.12 16.09 M220.12 16.09 C221.76 27.38, 218.94 35.94, 220.12 48.27 M220.12 16.09 C219.58 24.64, 219.15 34.44, 220.12 48.27 M220.12 48.27 C219.79 58.61, 213.57 63.15, 204.03 64.35 M220.12 48.27 C221.22 58.72, 214.39 62.69, 204.03 64.35 M204.03 64.35 C165.17 61.83, 125.49 64.85, 16.09 64.35 M204.03 64.35 C135.15 63.7, 68.02 63.18, 16.09 64.35 M16.09 64.35 C6.7 63.14, 0.23 59.61, 0 48.27 M16.09 64.35 C6.43 63.08, 1.2 58.03, 0 48.27 M0 48.27 C0.05 37.36, 0.5 22.8, 0 16.09 M0 48.27 C0.19 39.18, -0.44 31.06, 0 16.09 M0 16.09 C-0.7 7.09, 7 -1.58, 16.09 0 M0 16.09 C0.48 7.16, 7.61 -0.51, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(193.74906827510495 43.36485463008847) rotate(0 64.57994079589844 12.5)"><text x="64.57994079589844" 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">pathElements</text></g><g stroke-linecap="round"><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M0.45 -0.03 C8.04 -0.03, 38.02 0.02, 45.39 0.06 M0.01 -0.53 C7.58 -0.43, 37.5 0.84, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M23.79 8.05 C29.45 6.6, 35.35 3.32, 45.12 0.8 M23.79 8.05 C31.21 5.95, 38.27 3.74, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M24.12 -7.36 C29.7 -4.68, 35.51 -3.82, 45.12 0.8 M24.12 -7.36 C31.48 -4.28, 38.42 -1.3, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1079.634982658722 104.980815174317) rotate(0 122.9523651708082 42.5)"><path d="M21.25 0 C92.73 -2.31, 164.87 -1.27, 224.65 0 M21.25 0 C68.24 2.32, 114.51 1.04, 224.65 0 M224.65 0 C238.28 -1.25, 246 8.35, 245.9 21.25 M224.65 0 C239.62 -1.62, 245.31 5.77, 245.9 21.25 M245.9 21.25 C245.09 31.75, 245.62 40.43, 245.9 63.75 M245.9 21.25 C246.9 35.91, 246.01 50.04, 245.9 63.75 M245.9 63.75 C247.46 76.99, 240.65 84.35, 224.65 85 M245.9 63.75 C247.89 78.45, 237.76 85.61, 224.65 85 M224.65 85 C147.32 84.92, 66.58 87.58, 21.25 85 M224.65 85 C143.9 85, 63.36 84.42, 21.25 85 M21.25 85 C8.18 85.68, -1.02 77.31, 0 63.75 M21.25 85 C5.4 87.06, 2.01 79.5, 0 63.75 M0 63.75 C-1.99 52.33, -0.7 43.78, 0 21.25 M0 63.75 C-0.45 52.84, 0.13 43.74, 0 21.25 M0 21.25 C0.55 6.66, 5.4 -1.84, 21.25 0 M0 21.25 C1.17 6.22, 6.46 1.25, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1094.837408864687 122.480815174317) rotate(0 107.74993896484375 25)"><text x="107.74993896484375" 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 </text><text x="107.74993896484375" 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">LEAVES_PER_BATCH</text></g><g transform="translate(975.9231518536126 62.84476875375623) rotate(0 214.16986083984375 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">LEAVES_PER_BATCH == 5 ** batchLevels</text></g><g stroke-linecap="round" transform="translate(1373.1040231350953 101.56697410979962) rotate(0 122.9523651708082 42.5)"><path d="M21.25 0 C76.57 0.85, 135.64 -0.74, 224.65 0 M21.25 0 C69.7 0.14, 116.68 -0.27, 224.65 0 M224.65 0 C238.01 -1.01, 247.82 6.36, 245.9 21.25 M224.65 0 C238.05 -1.19, 247.87 6.14, 245.9 21.25 M245.9 21.25 C247.66 33.63, 244.67 44.33, 245.9 63.75 M245.9 21.25 C245.98 35.63, 246.07 51.38, 245.9 63.75 M245.9 63.75 C244.65 76.83, 239.54 84.8, 224.65 85 M245.9 63.75 C246.63 79.15, 238.65 82.87, 224.65 85 M224.65 85 C164.82 84.45, 106.54 84.19, 21.25 85 M224.65 85 C160.52 87.4, 96.1 87.14, 21.25 85 M21.25 85 C7.46 84.65, 1.51 78.48, 0 63.75 M21.25 85 C8.25 84.34, 0.9 76.31, 0 63.75 M0 63.75 C1.83 53.92, -1.76 43.21, 0 21.25 M0 63.75 C0.16 52.76, -0.36 43.09, 0 21.25 M0 21.25 C0.32 6.25, 8.5 0.54, 21.25 0 M0 21.25 C1.92 8.15, 8.03 -2.03, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1387.4764780275837 119.06697410979962) rotate(0 108.57991027832031 25)"><text x="108.57991027832031" 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">pass leaves as input </text><text x="108.57991027832031" 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">to QuinCheckRoot</text></g><g stroke-linecap="round" transform="translate(758.1471536225554 214.58529332893283) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C78.97 3.17, 134.16 2.85, 198.87 0 M21.25 0 C70.9 -1.18, 119.65 -1.56, 198.87 0 M198.87 0 C214.05 -1.2, 220.54 6.39, 220.12 21.25 M198.87 0 C214.4 1.55, 220.7 4.9, 220.12 21.25 M220.12 21.25 C218.6 37.04, 219.07 53.26, 220.12 63.75 M220.12 21.25 C219.89 33.49, 221.16 44.13, 220.12 63.75 M220.12 63.75 C219.13 78.21, 211.51 83.2, 198.87 85 M220.12 63.75 C221.09 79.41, 213.54 83.93, 198.87 85 M198.87 85 C131.52 85.85, 66.42 82.94, 21.25 85 M198.87 85 C145.13 85.67, 91.39 86.66, 21.25 85 M21.25 85 C8.19 86.12, -0.03 77.32, 0 63.75 M21.25 85 C5.34 86.3, 1.71 78.77, 0 63.75 M0 63.75 C0.14 50.7, 2.03 39.16, 0 21.25 M0 63.75 C0.14 47.5, -0.87 32.63, 0 21.25 M0 21.25 C-0.66 7.5, 6.92 1.08, 21.25 0 M0 21.25 C-1.04 8.16, 9.13 -0.03, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(763.684812064399 219.58529332893283) rotate(0 104.51991271972656 37.5)"><text x="104.51991271972656" 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. Check whether the</text><text x="104.51991271972656" 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"> Merkle path is valid</text><text x="104.51991271972656" 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">using QuinLeafExists</text></g><g stroke-linecap="round" transform="translate(1092.6187413417883 212.83382074106493) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C68.22 -0.58, 112.13 -0.05, 198.87 0 M21.25 0 C56.45 1.05, 93.67 -0.41, 198.87 0 M198.87 0 C211.53 1.29, 221.07 6.81, 220.12 21.25 M198.87 0 C212.01 0.19, 219.29 8.61, 220.12 21.25 M220.12 21.25 C221.3 37.41, 219.52 53.7, 220.12 63.75 M220.12 21.25 C219.7 38.28, 220.14 54.31, 220.12 63.75 M220.12 63.75 C218.97 76.4, 211.32 84.24, 198.87 85 M220.12 63.75 C219.31 79.5, 214.9 87.01, 198.87 85 M198.87 85 C141.17 85.46, 81.5 84.93, 21.25 85 M198.87 85 C135.47 85.33, 72.01 86.42, 21.25 85 M21.25 85 C8.44 83.98, -1.01 78.58, 0 63.75 M21.25 85 C5.97 86.53, -0.79 79.46, 0 63.75 M0 63.75 C-0.91 53.76, 0.21 41.92, 0 21.25 M0 63.75 C-0.81 49.09, 0.09 36.13, 0 21.25 M0 21.25 C-1.61 7.01, 5.67 1.07, 21.25 0 M0 21.25 C-0.11 7.23, 5.76 -1.91, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1100.9363909335343 217.83382074106493) rotate(0 101.73992156982422 37.5)"><text x="101.73992156982422" 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 subroot </text><text x="101.73992156982422" 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">calculated above is </text><text x="101.73992156982422" 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">passed as leaf</text></g><g stroke-linecap="round"><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M0.8 -0.41 C11.15 -0.51, 52.55 -1.24, 62.51 -1.15 M-0.24 -1.67 C9.99 -1.55, 51.46 0.16, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M33.57 9.77 C42.4 7.72, 51.78 1.31, 61.99 0.15 M33.57 9.77 C43.98 6.26, 54.78 3.07, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M34.03 -10.74 C42.61 -5.96, 51.83 -5.53, 61.99 0.15 M34.03 -10.74 C44.14 -6.72, 54.77 -2.37, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1092.2323804725975 323.2466065035931) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C85.59 1.16, 150.83 -2.03, 198.87 0 M21.25 0 C86.82 -1.6, 154.31 -0.43, 198.87 0 M198.87 0 C212.48 1.47, 220.14 7.41, 220.12 21.25 M198.87 0 C211.78 1.41, 220.94 5.66, 220.12 21.25 M220.12 21.25 C221.3 30.8, 219.11 43.76, 220.12 63.75 M220.12 21.25 C221.12 30.1, 220.16 40.57, 220.12 63.75 M220.12 63.75 C221.24 79, 212.96 83.07, 198.87 85 M220.12 63.75 C221.92 78.76, 214.05 85.97, 198.87 85 M198.87 85 C163.6 84.14, 128.19 83.43, 21.25 85 M198.87 85 C140.99 85.48, 80.29 85.71, 21.25 85 M21.25 85 C6.65 83.92, -1.56 78.74, 0 63.75 M21.25 85 C7.36 85.31, -0.65 76.58, 0 63.75 M0 63.75 C1.68 49.62, -0.47 37.71, 0 21.25 M0 63.75 C0.3 53.61, -0.64 42.18, 0 21.25 M0 21.25 C-1.17 8.62, 5.71 0.08, 21.25 0 M0 21.25 C0.18 6.07, 5.79 -1.52, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1114.4600337264528 340.7466065035931) rotate(0 87.82991790771484 25)"><text x="87.82991790771484" 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 root input is </text><text x="87.82991790771484" 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">passed as root</text></g><g stroke-linecap="round" transform="translate(1094.9623250351697 426.48629770785766) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C77.99 -2, 124.87 -2.95, 192.62 0 M27.5 0 C80.86 -1.84, 132.58 -1.88, 192.62 0 M192.62 0 C210 0.05, 221.22 9.44, 220.12 27.5 M192.62 0 C211.46 -0.16, 222.01 10.11, 220.12 27.5 M220.12 27.5 C219.51 41.42, 218.38 53.74, 220.12 82.5 M220.12 27.5 C220.42 45.55, 220.71 62.84, 220.12 82.5 M220.12 82.5 C220.62 102.03, 212.72 110.58, 192.62 110 M220.12 82.5 C219.73 100.74, 209.11 108.93, 192.62 110 M192.62 110 C147.67 107.52, 98.81 111.11, 27.5 110 M192.62 110 C130.28 109.94, 69.84 109.6, 27.5 110 M27.5 110 C9.32 110.88, 1.25 100.2, 0 82.5 M27.5 110 C10.34 111.76, 0.79 102.74, 0 82.5 M0 82.5 C-0.17 70.12, -1.36 53.38, 0 27.5 M0 82.5 C-1.19 66.16, 0.54 50.34, 0 27.5 M0 27.5 C0.49 9.71, 8.59 -1.36, 27.5 0 M0 27.5 C1.06 6.98, 9.82 0.32, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1104.1999651664664 431.48629770785766) rotate(0 100.81993103027344 50)"><text x="100.81993103027344" 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">wire each index and </text><text x="100.81993103027344" 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">each element in the </text><text x="100.81993103027344" 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">path to </text><text x="100.81993103027344" 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">QuinLeafExists</text></g><g stroke-linecap="round"><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M0.45 0.47 C5.39 -1.05, 24.95 -7.41, 29.85 -8.91 M0.02 0.23 C4.89 -1.25, 24.61 -7.11, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M17.13 0.59 C22.03 -2.23, 24.89 -5.33, 29.55 -8.48 M17.13 0.59 C20.38 -2.13, 23.58 -4.53, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M14.2 -9.52 C20.13 -8.88, 24 -8.51, 29.55 -8.48 M14.2 -9.52 C18.24 -9.48, 22.24 -9.14, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask></svg>
21
+ <rect x="0" y="0" width="1629.0087534767117" height="546.4862977078576" fill="#ffffff"></rect><g stroke-linecap="round" transform="translate(317.4465741934473 260.11561139102986) rotate(0 123.7048130233893 33.80052213620306)"><path d="M16.9 0 C88.66 -2.52, 156.58 -2.45, 230.51 0 M16.9 0 C66.77 -1.7, 117.36 -1.73, 230.51 0 M230.51 0 C242.24 1.63, 247.43 7.01, 247.41 16.9 M230.51 0 C242.62 -2.15, 246.2 7.38, 247.41 16.9 M247.41 16.9 C246.38 28.17, 248.55 35.49, 247.41 50.7 M247.41 16.9 C248.03 29.22, 246.89 43.41, 247.41 50.7 M247.41 50.7 C245.65 60.13, 241.11 68.68, 230.51 67.6 M247.41 50.7 C248.77 60.22, 241.21 65.36, 230.51 67.6 M230.51 67.6 C179.25 68.27, 128.1 66.52, 16.9 67.6 M230.51 67.6 C154.16 66.28, 77.13 65.93, 16.9 67.6 M16.9 67.6 C6.3 65.98, 0.99 61.68, 0 50.7 M16.9 67.6 C7.51 66.29, -1.08 59.91, 0 50.7 M0 50.7 C1.97 43, -1.17 35.48, 0 16.9 M0 50.7 C-0.43 40.05, -0.32 30.73, 0 16.9 M0 16.9 C-1.08 4.81, 4.96 0.96, 16.9 0 M0 16.9 C-1.51 6.35, 5.18 -0.17, 16.9 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(326.6914873144924 281.4161335272329) rotate(0 114.45989990234375 12.5)"><text x="114.45989990234375" 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">QuinBatchLeavesExists</text></g><g stroke-linecap="round" transform="translate(448.9836842292516 114.84970794910697) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C59.6 -0.59, 107.31 1.21, 204.03 0 M16.09 0 C67.06 1.44, 117.58 1.31, 204.03 0 M204.03 0 C215.48 -1.87, 219.06 6.88, 220.12 16.09 M204.03 0 C214.35 1, 221.03 4.01, 220.12 16.09 M220.12 16.09 C221.83 29.83, 221.13 41.76, 220.12 48.27 M220.12 16.09 C219 23.41, 219.54 33.1, 220.12 48.27 M220.12 48.27 C221.3 57.47, 214.26 62.41, 204.03 64.35 M220.12 48.27 C218.73 60.22, 215.48 64.35, 204.03 64.35 M204.03 64.35 C148.05 64.4, 88.7 63.66, 16.09 64.35 M204.03 64.35 C156.41 61.94, 108.62 62.61, 16.09 64.35 M16.09 64.35 C6.99 63.22, -0.94 57.2, 0 48.27 M16.09 64.35 C3.79 63.88, -1.24 61.18, 0 48.27 M0 48.27 C0.29 38.79, 1.99 27.82, 0 16.09 M0 48.27 C-0.46 39.34, -0.25 31.72, 0 16.09 M0 16.09 C-1.31 5.99, 4.97 -0.14, 16.09 0 M0 16.09 C1.93 7.3, 7.49 0.11, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(504.9512971999038 134.5271244999829) rotate(0 54.08995819091797 12.5)"><text x="54.08995819091797" 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">pathIndex </text></g><g stroke-linecap="round"><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M0.04 -0.17 C0.68 6.33, 2.91 32.69, 3.41 39.38 M-0.61 -0.73 C0.05 5.81, 2.69 33.34, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M-5.2 22.04 C-3.6 26.88, -1.8 30.04, 3.25 39.99 M-5.2 22.04 C-1.79 28.39, 0.98 36.08, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(419.03484766876863 210.44600519547538) rotate(0 1.4394641477324512 19.78250013283899)"><path d="M8.32 20.81 C6.99 25.92, 5.87 29.35, 3.25 39.99 M8.32 20.81 C6.57 27.68, 4.19 35.84, 3.25 39.99" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(10.98612416042397 238.20014610632353) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C73.06 -1.34, 132.99 -1.78, 204.03 0 M16.09 0 C84.86 2.52, 154.52 2.19, 204.03 0 M204.03 0 C215.55 -1.17, 221.84 6.36, 220.12 16.09 M204.03 0 C214.18 1.78, 221.62 6.35, 220.12 16.09 M220.12 16.09 C221.95 25.27, 218.13 37.31, 220.12 48.27 M220.12 16.09 C220.06 26.5, 219.7 39.4, 220.12 48.27 M220.12 48.27 C220.75 58.99, 214.84 64.48, 204.03 64.35 M220.12 48.27 C217.92 60.36, 216.86 63.22, 204.03 64.35 M204.03 64.35 C135.62 65.64, 69.01 65.97, 16.09 64.35 M204.03 64.35 C149.85 62.39, 95.93 63.08, 16.09 64.35 M16.09 64.35 C4.28 66.25, 0.13 57.75, 0 48.27 M16.09 64.35 C5.86 64.46, 0.44 61.05, 0 48.27 M0 48.27 C1.38 38.71, -0.71 30.63, 0 16.09 M0 48.27 C0.02 36.99, 1.05 26.7, 0 16.09 M0 16.09 C1.85 5.45, 4.18 1.62, 16.09 0 M0 16.09 C1.6 4.23, 6.34 0.98, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(36.97377192111526 257.8775626571994) rotate(0 84.0699234008789 12.5)"><text x="84.0699234008789" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: levels</text></g><g transform="translate(464.43656263196317 212.9928601943197) 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(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M0.48 0.27 C8.12 -0.48, 38.42 -3.96, 46.11 -4.84 M0.06 -0.06 C7.6 -0.93, 37.88 -4.6, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M24.88 5 C32.46 1.06, 39.78 -1.63, 45.61 -5.59 M24.88 5 C31.6 1.91, 38.64 -2.68, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(247.68206289723003 301.7801794512458) rotate(0 23.123652268284786 -2.6326676944133425)"><path d="M22.93 -10.8 C31.12 -9.37, 39.11 -6.7, 45.61 -5.59 M22.93 -10.8 C30.35 -8.47, 38.05 -7.63, 45.61 -5.59" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(755.152973840808 107.06593525709354) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C90.26 1.77, 162.2 1.27, 204.03 0 M16.09 0 C63.32 -2.78, 111.97 -1.32, 204.03 0 M204.03 0 C215.93 -1.52, 219.63 3.42, 220.12 16.09 M204.03 0 C213.37 1.23, 220.84 5.36, 220.12 16.09 M220.12 16.09 C221.33 27.71, 219.15 36.76, 220.12 48.27 M220.12 16.09 C220.55 23.49, 220.72 32.37, 220.12 48.27 M220.12 48.27 C221.75 57.86, 213.81 62.56, 204.03 64.35 M220.12 48.27 C218.54 58.51, 213.51 66.54, 204.03 64.35 M204.03 64.35 C146.55 65.15, 90.67 64.03, 16.09 64.35 M204.03 64.35 C153.75 65.13, 104.22 66.02, 16.09 64.35 M16.09 64.35 C4.05 64.98, -0.39 58.85, 0 48.27 M16.09 64.35 C7.29 66.3, 2.13 59.1, 0 48.27 M0 48.27 C-1.25 41.36, 0.59 32.12, 0 16.09 M0 48.27 C-0.37 35.87, 1.06 25.72, 0 16.09 M0 16.09 C0.26 6.47, 6.19 0.5, 16.09 0 M0 16.09 C-1.7 5.27, 3.11 1.18, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(788.6606106151712 114.24335180796942) rotate(0 76.54993438720703 25)"><text x="76.54993438720703" 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. Compute the </text><text x="76.54993438720703" 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">subroot</text></g><g transform="translate(602.5330619846427 238.51548073850375) 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(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M-0.89 1.19 C16.87 0.81, 88.94 -2.43, 107.04 -2.8 M0.85 0.77 C18.93 0.54, 91.55 -1.21, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M81.32 9.23 C92.83 3.91, 98.49 1.24, 109.2 -1.84 M81.32 9.23 C90.87 4.55, 100.38 2.14, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g><g transform="translate(585.3564497245825 299.14980187549617) rotate(0 54.04946410837647 -0.8482636989667753)"><path d="M80.72 -11.29 C92.35 -9.63, 98.21 -5.32, 109.2 -1.84 M80.72 -11.29 C90.61 -8.7, 100.33 -3.85, 109.2 -1.84" stroke="#1e1e1e" stroke-width="1" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(206.40200080163322 112.93838801946617) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C56.74 0.99, 102.15 2.83, 204.03 0 M16.09 0 C57.56 2.37, 100.55 1.83, 204.03 0 M204.03 0 C214.84 0.13, 218.21 6.56, 220.12 16.09 M204.03 0 C216.86 -1.13, 221.38 4.33, 220.12 16.09 M220.12 16.09 C218.22 27.8, 219.56 39.15, 220.12 48.27 M220.12 16.09 C219.28 23.71, 219.42 32.69, 220.12 48.27 M220.12 48.27 C220.24 57.75, 215.18 64.45, 204.03 64.35 M220.12 48.27 C220.56 61.05, 213.91 63.54, 204.03 64.35 M204.03 64.35 C151.65 62.67, 101.88 62.03, 16.09 64.35 M204.03 64.35 C142.63 65.06, 80.47 64.27, 16.09 64.35 M16.09 64.35 C4.18 65.97, 1.39 58, 0 48.27 M16.09 64.35 C6.34 65.33, -0.73 60.31, 0 48.27 M0 48.27 C-1.95 42.9, 0.73 34.62, 0 16.09 M0 48.27 C-0.87 36.8, -1.12 25.92, 0 16.09 M0 16.09 C1.93 5.3, 4.37 0.84, 16.09 0 M0 16.09 C0.78 7.24, 6.91 -0.57, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(295.42959607209013 132.6158045703421) rotate(0 21.02997589111328 12.5)"><text x="21.02997589111328" 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">root</text></g><g stroke-linecap="round" transform="translate(375.6422509985141 10) rotate(0 151.45918851273836 42.5)"><path d="M21.25 0 C89.49 -1.62, 158.61 -2.19, 281.67 0 M21.25 0 C113.36 0.05, 204.65 0.48, 281.67 0 M281.67 0 C297.67 -0.99, 304.02 6.19, 302.92 21.25 M281.67 0 C296.6 -1.96, 303.69 5.22, 302.92 21.25 M302.92 21.25 C301.72 35.17, 301.07 49.6, 302.92 63.75 M302.92 21.25 C302.75 32.5, 302.91 45.03, 302.92 63.75 M302.92 63.75 C303.3 79.7, 295.1 84.29, 281.67 85 M302.92 63.75 C302.33 79.37, 294.59 84.06, 281.67 85 M281.67 85 C212.83 83.32, 142.87 84.97, 21.25 85 M281.67 85 C181.1 85.74, 82.03 84.7, 21.25 85 M21.25 85 C7.93 85.85, -0.64 79.06, 0 63.75 M21.25 85 C5.15 86.15, -1.46 75.86, 0 63.75 M0 63.75 C0.92 48.46, 0.31 30.03, 0 21.25 M0 63.75 C1.38 51.14, -0.08 39.01, 0 21.25 M0 21.25 C0.68 8.71, 8.43 -0.5, 21.25 0 M0 21.25 C-1.4 7.81, 5.35 2.02, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(406.65153411574465 27.5) rotate(0 120.44990539550781 25)"><text x="120.44990539550781" 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">leaves (array of length </text><text x="120.44990539550781" 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">batchLevels ** 5)</text></g><g stroke-linecap="round" transform="translate(10 304.409111720117) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C57.86 2.97, 96.12 1.95, 204.03 0 M16.09 0 C76.97 1.3, 137.97 0.2, 204.03 0 M204.03 0 C212.99 0.97, 220.35 5.21, 220.12 16.09 M204.03 0 C215.03 0.2, 221.22 4.71, 220.12 16.09 M220.12 16.09 C218.71 23.21, 220.6 33.02, 220.12 48.27 M220.12 16.09 C218.89 21.81, 219.92 29.19, 220.12 48.27 M220.12 48.27 C221.64 59.25, 216.54 63.94, 204.03 64.35 M220.12 48.27 C220.56 58.62, 213.27 63.06, 204.03 64.35 M204.03 64.35 C131.09 62.78, 60.47 63.23, 16.09 64.35 M204.03 64.35 C139.89 64.49, 76.67 63.41, 16.09 64.35 M16.09 64.35 C4.04 63.8, -1.77 59.15, 0 48.27 M16.09 64.35 C6.72 65.95, 0.28 58.7, 0 48.27 M0 48.27 C1.17 34.98, -2.08 24.37, 0 16.09 M0 48.27 C-0.39 39.76, -0.69 30.77, 0 16.09 M0 16.09 C0.34 6.15, 3.99 0.45, 16.09 0 M0 16.09 C1.13 5.36, 5.42 -0.42, 16.09 0" stroke="#f08c00" stroke-width="1" fill="none"></path></g><g transform="translate(62.477622736277226 311.58652827099286) rotate(0 57.57994842529297 25)"><text x="57.57994842529297" y="0" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">parameter: </text><text x="57.57994842529297" y="25" font-family="Virgil, Segoe UI Emoji" font-size="20px" fill="#f08c00" text-anchor="middle" style="white-space: pre;" direction="ltr" dominant-baseline="text-before-edge">batchLevels</text></g><g stroke-linecap="round" transform="translate(148.2714379094332 23.68743807921254) rotate(0 110.05757116156974 32.177416550875904)"><path d="M16.09 0 C71.32 -2.09, 126.38 -2.46, 204.03 0 M16.09 0 C64.73 0.75, 115.64 -0.07, 204.03 0 M204.03 0 C216.25 0.5, 219.52 4.71, 220.12 16.09 M204.03 0 C213.05 1.74, 221.21 4.14, 220.12 16.09 M220.12 16.09 C221.76 27.38, 218.94 35.94, 220.12 48.27 M220.12 16.09 C219.58 24.64, 219.15 34.44, 220.12 48.27 M220.12 48.27 C219.79 58.61, 213.57 63.15, 204.03 64.35 M220.12 48.27 C221.22 58.72, 214.39 62.69, 204.03 64.35 M204.03 64.35 C165.17 61.83, 125.49 64.85, 16.09 64.35 M204.03 64.35 C135.15 63.7, 68.02 63.18, 16.09 64.35 M16.09 64.35 C6.7 63.14, 0.23 59.61, 0 48.27 M16.09 64.35 C6.43 63.08, 1.2 58.03, 0 48.27 M0 48.27 C0.05 37.36, 0.5 22.8, 0 16.09 M0 48.27 C0.19 39.18, -0.44 31.06, 0 16.09 M0 16.09 C-0.7 7.09, 7 -1.58, 16.09 0 M0 16.09 C0.48 7.16, 7.61 -0.51, 16.09 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(193.74906827510495 43.36485463008847) rotate(0 64.57994079589844 12.5)"><text x="64.57994079589844" 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">pathElements</text></g><g stroke-linecap="round"><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M0.45 -0.03 C8.04 -0.03, 38.02 0.02, 45.39 0.06 M0.01 -0.53 C7.58 -0.43, 37.5 0.84, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M23.79 8.05 C29.45 6.6, 35.35 3.32, 45.12 0.8 M23.79 8.05 C31.21 5.95, 38.27 3.74, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1014.8388420332776 148.43386867078368) rotate(0 22.533480956416497 0)"><path d="M24.12 -7.36 C29.7 -4.68, 35.51 -3.82, 45.12 0.8 M24.12 -7.36 C31.48 -4.28, 38.42 -1.3, 45.12 0.8" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1079.634982658722 104.980815174317) rotate(0 122.9523651708082 42.5)"><path d="M21.25 0 C92.73 -2.31, 164.87 -1.27, 224.65 0 M21.25 0 C68.24 2.32, 114.51 1.04, 224.65 0 M224.65 0 C238.28 -1.25, 246 8.35, 245.9 21.25 M224.65 0 C239.62 -1.62, 245.31 5.77, 245.9 21.25 M245.9 21.25 C245.09 31.75, 245.62 40.43, 245.9 63.75 M245.9 21.25 C246.9 35.91, 246.01 50.04, 245.9 63.75 M245.9 63.75 C247.46 76.99, 240.65 84.35, 224.65 85 M245.9 63.75 C247.89 78.45, 237.76 85.61, 224.65 85 M224.65 85 C147.32 84.92, 66.58 87.58, 21.25 85 M224.65 85 C143.9 85, 63.36 84.42, 21.25 85 M21.25 85 C8.18 85.68, -1.02 77.31, 0 63.75 M21.25 85 C5.4 87.06, 2.01 79.5, 0 63.75 M0 63.75 C-1.99 52.33, -0.7 43.78, 0 21.25 M0 63.75 C-0.45 52.84, 0.13 43.74, 0 21.25 M0 21.25 C0.55 6.66, 5.4 -1.84, 21.25 0 M0 21.25 C1.17 6.22, 6.46 1.25, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1094.837408864687 122.480815174317) rotate(0 107.74993896484375 25)"><text x="107.74993896484375" 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 </text><text x="107.74993896484375" 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">LEAVES_PER_BATCH</text></g><g transform="translate(975.9231518536126 62.84476875375623) rotate(0 214.16986083984375 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">LEAVES_PER_BATCH == 5 ** batchLevels</text></g><g stroke-linecap="round" transform="translate(1373.1040231350953 101.56697410979962) rotate(0 122.9523651708082 42.5)"><path d="M21.25 0 C76.57 0.85, 135.64 -0.74, 224.65 0 M21.25 0 C69.7 0.14, 116.68 -0.27, 224.65 0 M224.65 0 C238.01 -1.01, 247.82 6.36, 245.9 21.25 M224.65 0 C238.05 -1.19, 247.87 6.14, 245.9 21.25 M245.9 21.25 C247.66 33.63, 244.67 44.33, 245.9 63.75 M245.9 21.25 C245.98 35.63, 246.07 51.38, 245.9 63.75 M245.9 63.75 C244.65 76.83, 239.54 84.8, 224.65 85 M245.9 63.75 C246.63 79.15, 238.65 82.87, 224.65 85 M224.65 85 C164.82 84.45, 106.54 84.19, 21.25 85 M224.65 85 C160.52 87.4, 96.1 87.14, 21.25 85 M21.25 85 C7.46 84.65, 1.51 78.48, 0 63.75 M21.25 85 C8.25 84.34, 0.9 76.31, 0 63.75 M0 63.75 C1.83 53.92, -1.76 43.21, 0 21.25 M0 63.75 C0.16 52.76, -0.36 43.09, 0 21.25 M0 21.25 C0.32 6.25, 8.5 0.54, 21.25 0 M0 21.25 C1.92 8.15, 8.03 -2.03, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1387.4764780275837 119.06697410979962) rotate(0 108.57991027832031 25)"><text x="108.57991027832031" 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">pass leaves as input </text><text x="108.57991027832031" 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">to QuinCheckRoot</text></g><g stroke-linecap="round" transform="translate(758.1471536225554 214.58529332893283) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C78.97 3.17, 134.16 2.85, 198.87 0 M21.25 0 C70.9 -1.18, 119.65 -1.56, 198.87 0 M198.87 0 C214.05 -1.2, 220.54 6.39, 220.12 21.25 M198.87 0 C214.4 1.55, 220.7 4.9, 220.12 21.25 M220.12 21.25 C218.6 37.04, 219.07 53.26, 220.12 63.75 M220.12 21.25 C219.89 33.49, 221.16 44.13, 220.12 63.75 M220.12 63.75 C219.13 78.21, 211.51 83.2, 198.87 85 M220.12 63.75 C221.09 79.41, 213.54 83.93, 198.87 85 M198.87 85 C131.52 85.85, 66.42 82.94, 21.25 85 M198.87 85 C145.13 85.67, 91.39 86.66, 21.25 85 M21.25 85 C8.19 86.12, -0.03 77.32, 0 63.75 M21.25 85 C5.34 86.3, 1.71 78.77, 0 63.75 M0 63.75 C0.14 50.7, 2.03 39.16, 0 21.25 M0 63.75 C0.14 47.5, -0.87 32.63, 0 21.25 M0 21.25 C-0.66 7.5, 6.92 1.08, 21.25 0 M0 21.25 C-1.04 8.16, 9.13 -0.03, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(763.684812064399 219.58529332893283) rotate(0 104.51991271972656 37.5)"><text x="104.51991271972656" 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. Check whether the</text><text x="104.51991271972656" 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"> Merkle path is valid</text><text x="104.51991271972656" 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">using QuinaryLeafExists</text></g><g stroke-linecap="round" transform="translate(1092.6187413417883 212.83382074106493) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C68.22 -0.58, 112.13 -0.05, 198.87 0 M21.25 0 C56.45 1.05, 93.67 -0.41, 198.87 0 M198.87 0 C211.53 1.29, 221.07 6.81, 220.12 21.25 M198.87 0 C212.01 0.19, 219.29 8.61, 220.12 21.25 M220.12 21.25 C221.3 37.41, 219.52 53.7, 220.12 63.75 M220.12 21.25 C219.7 38.28, 220.14 54.31, 220.12 63.75 M220.12 63.75 C218.97 76.4, 211.32 84.24, 198.87 85 M220.12 63.75 C219.31 79.5, 214.9 87.01, 198.87 85 M198.87 85 C141.17 85.46, 81.5 84.93, 21.25 85 M198.87 85 C135.47 85.33, 72.01 86.42, 21.25 85 M21.25 85 C8.44 83.98, -1.01 78.58, 0 63.75 M21.25 85 C5.97 86.53, -0.79 79.46, 0 63.75 M0 63.75 C-0.91 53.76, 0.21 41.92, 0 21.25 M0 63.75 C-0.81 49.09, 0.09 36.13, 0 21.25 M0 21.25 C-1.61 7.01, 5.67 1.07, 21.25 0 M0 21.25 C-0.11 7.23, 5.76 -1.91, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1100.9363909335343 217.83382074106493) rotate(0 101.73992156982422 37.5)"><text x="101.73992156982422" 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 subroot </text><text x="101.73992156982422" 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">calculated above is </text><text x="101.73992156982422" 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">passed as leaf</text></g><g stroke-linecap="round"><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M0.8 -0.41 C11.15 -0.51, 52.55 -1.24, 62.51 -1.15 M-0.24 -1.67 C9.99 -1.55, 51.46 0.16, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M33.57 9.77 C42.4 7.72, 51.78 1.31, 61.99 0.15 M33.57 9.77 C43.98 6.26, 54.78 3.07, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1012.1953202967106 255.0389663935248) rotate(0 30.85294888313365 -0.3406076083654739)"><path d="M34.03 -10.74 C42.61 -5.96, 51.83 -5.53, 61.99 0.15 M34.03 -10.74 C44.14 -6.72, 54.77 -2.37, 61.99 0.15" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask><g stroke-linecap="round" transform="translate(1092.2323804725975 323.2466065035931) rotate(0 110.05757116156974 42.5)"><path d="M21.25 0 C85.59 1.16, 150.83 -2.03, 198.87 0 M21.25 0 C86.82 -1.6, 154.31 -0.43, 198.87 0 M198.87 0 C212.48 1.47, 220.14 7.41, 220.12 21.25 M198.87 0 C211.78 1.41, 220.94 5.66, 220.12 21.25 M220.12 21.25 C221.3 30.8, 219.11 43.76, 220.12 63.75 M220.12 21.25 C221.12 30.1, 220.16 40.57, 220.12 63.75 M220.12 63.75 C221.24 79, 212.96 83.07, 198.87 85 M220.12 63.75 C221.92 78.76, 214.05 85.97, 198.87 85 M198.87 85 C163.6 84.14, 128.19 83.43, 21.25 85 M198.87 85 C140.99 85.48, 80.29 85.71, 21.25 85 M21.25 85 C6.65 83.92, -1.56 78.74, 0 63.75 M21.25 85 C7.36 85.31, -0.65 76.58, 0 63.75 M0 63.75 C1.68 49.62, -0.47 37.71, 0 21.25 M0 63.75 C0.3 53.61, -0.64 42.18, 0 21.25 M0 21.25 C-1.17 8.62, 5.71 0.08, 21.25 0 M0 21.25 C0.18 6.07, 5.79 -1.52, 21.25 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1114.4600337264528 340.7466065035931) rotate(0 87.82991790771484 25)"><text x="87.82991790771484" 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 root input is </text><text x="87.82991790771484" 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">passed as root</text></g><g stroke-linecap="round" transform="translate(1094.9623250351697 426.48629770785766) rotate(0 110.05757116156974 55)"><path d="M27.5 0 C77.99 -2, 124.87 -2.95, 192.62 0 M27.5 0 C80.86 -1.84, 132.58 -1.88, 192.62 0 M192.62 0 C210 0.05, 221.22 9.44, 220.12 27.5 M192.62 0 C211.46 -0.16, 222.01 10.11, 220.12 27.5 M220.12 27.5 C219.51 41.42, 218.38 53.74, 220.12 82.5 M220.12 27.5 C220.42 45.55, 220.71 62.84, 220.12 82.5 M220.12 82.5 C220.62 102.03, 212.72 110.58, 192.62 110 M220.12 82.5 C219.73 100.74, 209.11 108.93, 192.62 110 M192.62 110 C147.67 107.52, 98.81 111.11, 27.5 110 M192.62 110 C130.28 109.94, 69.84 109.6, 27.5 110 M27.5 110 C9.32 110.88, 1.25 100.2, 0 82.5 M27.5 110 C10.34 111.76, 0.79 102.74, 0 82.5 M0 82.5 C-0.17 70.12, -1.36 53.38, 0 27.5 M0 82.5 C-1.19 66.16, 0.54 50.34, 0 27.5 M0 27.5 C0.49 9.71, 8.59 -1.36, 27.5 0 M0 27.5 C1.06 6.98, 9.82 0.32, 27.5 0" stroke="#1971c2" stroke-width="1" fill="none"></path></g><g transform="translate(1104.1999651664664 431.48629770785766) rotate(0 100.81993103027344 50)"><text x="100.81993103027344" 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">wire each index and </text><text x="100.81993103027344" 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">each element in the </text><text x="100.81993103027344" 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">path to </text><text x="100.81993103027344" 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">QuinaryLeafExists</text></g><g stroke-linecap="round"><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M0.45 0.47 C5.39 -1.05, 24.95 -7.41, 29.85 -8.91 M0.02 0.23 C4.89 -1.25, 24.61 -7.11, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M17.13 0.59 C22.03 -2.23, 24.89 -5.33, 29.55 -8.48 M17.13 0.59 C20.38 -2.13, 23.58 -4.53, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g><g transform="translate(1340.3072047612332 153.88991524738225) rotate(0 14.801179876955757 -4.185633933381212)"><path d="M14.2 -9.52 C20.13 -8.88, 24 -8.51, 29.55 -8.48 M14.2 -9.52 C18.24 -9.48, 22.24 -9.14, 29.55 -8.48" stroke="#1e1e1e" stroke-width="2" fill="none"></path></g></g><mask></mask></svg>