zkp classification.svg

<?xml version="1.0" encoding="utf-8"?>
<svg viewBox="0 0 850 450" xmlns="http://www.w3.org/2000/svg">
  <polyline style="stroke: rgb(0, 0, 0); fill: none; stroke-dasharray: 4px;" points="102.935 135.059 102.988 85.251 347.87 84.107"/>
  <polyline style="stroke: rgb(0, 0, 0); fill: none; stroke-dasharray: 4px;" points="268.962 248.86 268.817 152.532 148.222 152.58"/>
  <polyline style="stroke: rgb(0, 0, 0); fill: none; stroke-dasharray: 4px;" points="432.398 248.737 432.078 152.409 271.635 152.457"/>
  <polyline style="stroke: rgb(0, 0, 0); fill: none; stroke-dasharray: 4px;" points="526.467 82.908 610.85 83.019 612.122 223.394"/>
  <polyline style="stroke: rgb(0, 0, 0); fill: none; stroke-dasharray: 4px;" points="612.881 82.888 794.86 83.497 796.133 195.459"/>
  <rect x="349.215" y="56.615" width="176.009" height="39.798" style="stroke: rgb(0, 0, 0); fill: rgb(17, 42, 151);"/>
  <rect x="48.206" y="135.464" width="98.655" height="35.874" style="stroke: rgb(0, 0, 0); fill: rgb(48, 82, 162);"/>
  <rect x="196.75" y="235.799" width="98.655" height="35.874" style="stroke: rgb(0, 0, 0); fill: rgb(155, 177, 244);"/>
  <rect x="364.349" y="235.239" width="98.655" height="35.874" style="stroke: rgb(0, 0, 0); fill: rgb(155, 177, 244);"/>
  <rect x="514.013" y="226.271" width="145.18" height="35.874" style="stroke: rgb(0, 0, 0); fill: rgb(48, 82, 162);"/>
  <rect x="721.692" y="179.871" width="116.032" height="35.874" style="stroke: rgb(0, 0, 0); fill: rgb(48, 82, 162);"/>
  <rect x="274.99" y="377.107" width="99.776" height="30.83" style="fill: rgb(221, 240, 255); stroke: rgb(203, 215, 229);"/>
  <text style="white-space: pre; fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 15.7px;" x="269.998" y="37.647">ZKP Proving Schemes Classification (June 2022)</text>
  <text style="fill: rgb(255, 255, 255); font-family: Arial, sans-serif; font-size: 14.7px; text-anchor: middle; white-space: pre;" transform="matrix(1, 0, 0, 1, 279.708527, -129.484314)"><tspan x="156.951" y="202.915">Non Interactive ZKPs</tspan><tspan x="156.951" dy="1em">​</tspan><tspan>(NIZKPs)</tspan><tspan x="156.951" dy="1em">​</tspan></text>
  <text style="white-space: pre; fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 15.7px;" x="384.696" y="257.848">STARKS</text>
  <text style="white-space: pre; fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 15.7px;" x="212.443" y="259.468">SNORKS</text>
  <text style="fill: rgb(255, 255, 255); font-family: Arial, sans-serif; font-size: 15.7px; text-anchor: middle; white-space: pre;" transform="matrix(1, 0, 0, 1, 288.677155, 22.421526)"><tspan x="299.327" y="218.548">ZK snarks using </tspan><tspan x="299.327" dy="1em">​</tspan><tspan>sum check protocol</tspan></text>
  <text style="fill: rgb(255, 255, 255); font-family: Arial, sans-serif; font-size: 15.7px; text-anchor: middle; white-space: pre;" x="780.269" y="202.818">Bulletproofs</text>
  <text style="fill: rgb(254, 254, 254); font-family: Arial, sans-serif; font-size: 15.7px; white-space: pre;" x="66.106" y="158.166">SNARKS</text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, -142.937225, 39.798206)">Succinct Non-interactive <tspan x="234.86500549316406" dy="1em">​</tspan>ARguments of Knowledge</text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, -6.469512, 35.979671)">SNARKs with <tspan x="234.86500549316406" dy="1em">​</tspan>universal  and <tspan x="234.86500549316406" dy="1em">​</tspan>updateable <tspan x="234.86500549316406" dy="1em">​</tspan>trusted setup<tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, 132.287491, 47.401192)">SNARKs without<tspan x="234.86500549316406" dy="1em">​</tspan>Trusted Setup<tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, 3.620185, 142.481903)">Succinct Non-interactive <tspan x="234.86500549316406" dy="1em">​</tspan>Oecumenical (Universal) <tspan x="234.86500549316406" dy="1em">​</tspan>aRguments of Knowledge<tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, 183.273453, 142.587296)">Succinct (Scalable) <tspan x="234.86500549316406" dy="1em">​</tspan>Transparent ARguments <tspan x="234.86500549316406" dy="1em">​</tspan>of Knowledge<tspan x="234.86500549316406" dy="1em">​</tspan><tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, 310.538635, 19.829447)">ZK snarks that require <tspan x="234.86500549316406" dy="1em">​</tspan>no trusted setup <tspan x="234.86500549316406" dy="1em">​</tspan>and leverage interactive <tspan x="234.86500549316406" dy="1em">​</tspan>sum check protocol<tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 11px; white-space: pre; text-anchor: middle;" x="234.865" y="149.477" transform="matrix(1, 0, 0, 1, 497.758362, -19.863379)">short non-interactive <tspan x="234.86500549316406" dy="1em">​</tspan>zero-knowledge <tspan x="234.86500549316406" dy="1em">​</tspan>proofs that require <tspan x="234.86500549316406" dy="1em">​</tspan>no trusted setup<tspan x="234.86500549316406" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 5px; text-anchor: middle; white-space: pre;" x="787.252" y="437.263">Created by Otto Mora under MIT License, 2022</text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre;" transform="matrix(1, 0, 0, 1, -25.224216, -31.950674)"><tspan x="66.144" y="254.422">- Pinochio - PGHR13</tspan><tspan x="66.144" dy="1em">​</tspan><tspan>- Libsnark - BCTV14</tspan><tspan x="66.144" dy="1em">​</tspan><tspan>- G16</tspan><tspan x="66.144" dy="1em">​</tspan><tspan>- GM17</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre;" transform="matrix(1, 0, 0, 1, 154.526215, 75.807228)"><tspan x="66.144" y="254.422">- Sonic<tspan x="66.14399719238281" dy="1em">​</tspan>- Marlin<tspan x="66.14399719238281" dy="1em">​</tspan>- Plonk</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre;" transform="matrix(1, 0, 0, 1, 317.082275, 75.246689)" x="66.14399719238281" y="254.4219970703125">- FRI-Starks<tspan x="66.14399719238281" dy="1em">​</tspan>- SuperSonic<tspan x="66.14399719238281" dy="1em">​</tspan>- Fractal<tspan x="66.14399719238281" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre;" transform="matrix(1, 0, 0, 1, 461.226868, 26.350225)" x="66.14399719238281" y="254.4219970703125">- Hyrax - snark for parallel<tspan x="66.14399719238281" dy="1em">​</tspan>arithmetic circuit satisfiability<tspan x="66.14399719238281" dy="1em">​</tspan><tspan x="66.14399719238281" dy="1em">​</tspan>- Spartan Proofs / Spark<tspan x="66.14399719238281" dy="1em">​</tspan></text>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre; text-anchor: middle;" transform="matrix(1, 0, 0, 1, 257.73941, 135.667572)"><tspan x="66.144" y="254.422">Plonky2<tspan x="66.14399719238281" dy="1em">​</tspan>(Recursive Snark)</tspan></text>
  <line style="fill: rgb(216, 216, 216); stroke-dasharray: 2px; stroke: rgb(185, 185, 185);" x1="252.951" y1="347.864" x2="279.533" y2="377.61"/>
  <line style="fill: rgb(216, 216, 216); stroke-dasharray: 2px; paint-order: fill; stroke: rgb(185, 185, 185);" x1="411.175" y1="309.257" x2="380.164" y2="357.99" transform="matrix(1, 0, 0, 1, -31.328638, 18.670613)"/>
  <text style="fill: rgb(51, 51, 51); font-family: Arial, sans-serif; font-size: 10px; white-space: pre;" transform="matrix(1, 0, 0, 1, 712.312988, -21.150616)" x="66.14399719238281" y="254.4219970703125">- Halo<tspan x="66.14399719238281" dy="1em">​</tspan></text>
</svg>