deploy: 9f5feebbda
This commit is contained in:
dconnolly
parent
74e058e67c
commit
2095780097
2347
zcash-core-dag.html
2347
zcash-core-dag.html
File diff suppressed because it is too large
Load Diff
2347
zcash-core-dag.svg
2347
zcash-core-dag.svg
File diff suppressed because it is too large
Load Diff
|
Before Width: | Height: | Size: 235 KiB After Width: | Height: | Size: 236 KiB |
|
|
@ -81,10 +81,10 @@
|
|||
<g id="node5" class="node open">
|
||||
<title>zcash/halo2#75</title>
|
||||
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/75" xlink:title="zcash/halo2#75 Implement support for recursion" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1436.5,-481.5 1257.5,-481.5 1257.5,-428.5 1436.5,-428.5 1436.5,-481.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-466.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
|
||||
<text text-anchor="middle" x="1347" y="-451.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
|
||||
<text text-anchor="middle" x="1347" y="-436.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1436.5,-503.5 1257.5,-503.5 1257.5,-450.5 1436.5,-450.5 1436.5,-503.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
|
||||
<text text-anchor="middle" x="1347" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
|
||||
<text text-anchor="middle" x="1347" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -92,31 +92,31 @@
|
|||
<g id="node6" class="node open">
|
||||
<title>zcash/halo2#494</title>
|
||||
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/494" xlink:title="zcash/halo2#494 Consider adding an API that enables application circuits to be built across both fields" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1679,-496.5 1490,-496.5 1490,-413.5 1679,-413.5 1679,-496.5"/>
|
||||
<text text-anchor="middle" x="1584.5" y="-481.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-466.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-451.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-436.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-421.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1679,-518.5 1490,-518.5 1490,-435.5 1679,-435.5 1679,-518.5"/>
|
||||
<text text-anchor="middle" x="1584.5" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-443.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#75->zcash/halo2#494 -->
|
||||
<g id="edge3" class="edge">
|
||||
<title>zcash/halo2#75->zcash/halo2#494</title>
|
||||
<path fill="none" stroke="#000000" d="M1436.8,-455C1450.7,-455 1465.3,-455 1479.5,-455"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1479.8,-458.5001 1489.8,-455 1479.8,-451.5001 1479.8,-458.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M1436.8,-477C1450.7,-477 1465.3,-477 1479.5,-477"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1479.8,-480.5001 1489.8,-477 1479.8,-473.5001 1479.8,-480.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#79 -->
|
||||
<g id="node7" class="node open">
|
||||
<title>zcash/halo2#79</title>
|
||||
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/79" xlink:title="zcash/halo2#79 Migrate Rescue and Poseidon gadgets to algebraic hash abstraction" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1179.5,-763.5 1018.5,-763.5 1018.5,-680.5 1179.5,-680.5 1179.5,-763.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-748.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
|
||||
<text text-anchor="middle" x="1099" y="-733.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
|
||||
<text text-anchor="middle" x="1099" y="-718.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
|
||||
<text text-anchor="middle" x="1099" y="-703.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
|
||||
<text text-anchor="middle" x="1099" y="-688.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1179.5,-767.5 1018.5,-767.5 1018.5,-684.5 1179.5,-684.5 1179.5,-767.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-752.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
|
||||
<text text-anchor="middle" x="1099" y="-737.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
|
||||
<text text-anchor="middle" x="1099" y="-722.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
|
||||
<text text-anchor="middle" x="1099" y="-707.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
|
||||
<text text-anchor="middle" x="1099" y="-692.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -124,42 +124,42 @@
|
|||
<g id="node8" class="node open">
|
||||
<title>zcash/halo2#78</title>
|
||||
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/78" xlink:title="zcash/halo2#78 Implement algebraic hash / random oracle abstraction gadget" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="957,-756 753,-756 753,-688 957,-688 957,-756"/>
|
||||
<text text-anchor="middle" x="855" y="-740.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
|
||||
<text text-anchor="middle" x="855" y="-725.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
|
||||
<text text-anchor="middle" x="855" y="-710.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
|
||||
<text text-anchor="middle" x="855" y="-695.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="957,-760 753,-760 753,-692 957,-692 957,-760"/>
|
||||
<text text-anchor="middle" x="855" y="-744.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
|
||||
<text text-anchor="middle" x="855" y="-729.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
|
||||
<text text-anchor="middle" x="855" y="-714.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
|
||||
<text text-anchor="middle" x="855" y="-699.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#78->zcash/halo2#79 -->
|
||||
<g id="edge4" class="edge">
|
||||
<title>zcash/halo2#78->zcash/halo2#79</title>
|
||||
<path fill="none" stroke="#000000" d="M957.06,-722C974.04,-722 991.55,-722 1008.2,-722"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1008.5,-725.5001 1018.5,-722 1008.5,-718.5001 1008.5,-725.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M957.06,-726C974.04,-726 991.55,-726 1008.2,-726"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1008.5,-729.5001 1018.5,-726 1008.5,-722.5001 1008.5,-729.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#250 -->
|
||||
<g id="node9" class="node open">
|
||||
<title>zcash/halo2#250</title>
|
||||
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/issues/250" xlink:title="zcash/halo2#250 Implement the logic for the IVC verifier circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1192,-543.5 1006,-543.5 1006,-490.5 1192,-490.5 1192,-543.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-528.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
|
||||
<text text-anchor="middle" x="1099" y="-513.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="1099" y="-498.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1192,-576.5 1006,-576.5 1006,-523.5 1192,-523.5 1192,-576.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-561.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
|
||||
<text text-anchor="middle" x="1099" y="-546.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="1099" y="-531.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#78->zcash/halo2#250 -->
|
||||
<g id="edge5" class="edge">
|
||||
<title>zcash/halo2#78->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M944.1,-687.99C948.93,-685.17 953.6,-682.17 958,-679 1007.1,-643.55 1050.7,-587.85 1076,-551.87"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1078.8952,-553.8368 1081.7,-543.62 1073.1361,-549.8578 1078.8952,-553.8368"/>
|
||||
<path fill="none" stroke="#000000" d="M942.95,-691.89C948.15,-689.08 953.21,-686.11 958,-683 1000.9,-655.16 1042.5,-613.52 1069.3,-584.27"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1071.9954,-586.5075 1076.1,-576.74 1066.8002,-581.8159 1071.9954,-586.5075"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#250->zcash/halo2#75 -->
|
||||
<g id="edge6" class="edge">
|
||||
<title>zcash/halo2#250->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1192.1,-493.74C1210.1,-489.22 1229.1,-484.47 1247.4,-479.91"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1248.256,-483.3038 1257.1,-477.47 1246.5483,-476.5153 1248.256,-483.3038"/>
|
||||
<path fill="none" stroke="#000000" d="M1189.2,-523.44C1208.2,-517.86 1228.3,-511.94 1247.6,-506.27"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1248.6096,-509.6213 1257.2,-503.42 1246.6174,-502.9108 1248.6096,-509.6213"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#57 -->
|
||||
<g id="node10" class="node open">
|
||||
|
|
@ -270,36 +270,36 @@
|
|||
<g id="node18" class="node open">
|
||||
<title>zcash/halo2#251</title>
|
||||
<g id="a_node18"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251 Implement user-facing API for recursive proving of IVC" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1204,-426 994,-426 994,-358 1204,-358 1204,-426"/>
|
||||
<text text-anchor="middle" x="1099" y="-410.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
|
||||
<text text-anchor="middle" x="1099" y="-395.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user-facing API</text>
|
||||
<text text-anchor="middle" x="1099" y="-380.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
|
||||
<text text-anchor="middle" x="1099" y="-365.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1204,-430 994,-430 994,-362 1204,-362 1204,-430"/>
|
||||
<text text-anchor="middle" x="1099" y="-414.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
|
||||
<text text-anchor="middle" x="1099" y="-399.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user-facing API</text>
|
||||
<text text-anchor="middle" x="1099" y="-384.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
|
||||
<text text-anchor="middle" x="1099" y="-369.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#251->zcash/halo2#75 -->
|
||||
<g id="edge9" class="edge">
|
||||
<title>zcash/halo2#251->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-418.72C1218.5,-422.37 1233.3,-426.11 1247.5,-429.73"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1246.746,-433.1496 1257.3,-432.22 1248.4699,-426.3651 1246.746,-433.1496"/>
|
||||
<path fill="none" stroke="#000000" d="M1203.5,-430.12C1220.8,-435.79 1238.7,-441.64 1255.7,-447.19"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1255.0074,-450.6459 1265.6,-450.43 1257.1847,-443.9932 1255.0074,-450.6459"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#437 -->
|
||||
<g id="node19" class="node open">
|
||||
<title>zcash/halo2#437</title>
|
||||
<g id="a_node19"><a xlink:href="https://github.com/zcash/halo2/issues/437" xlink:title="zcash/halo2#437 Amend user-facing API to work for both IVC and PCD" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1454,-387.5 1240,-387.5 1240,-334.5 1454,-334.5 1454,-387.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-372.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
|
||||
<text text-anchor="middle" x="1347" y="-357.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user-facing API to</text>
|
||||
<text text-anchor="middle" x="1347" y="-342.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1454,-391.5 1240,-391.5 1240,-338.5 1454,-338.5 1454,-391.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-376.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
|
||||
<text text-anchor="middle" x="1347" y="-361.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user-facing API to</text>
|
||||
<text text-anchor="middle" x="1347" y="-346.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#251->zcash/halo2#437 -->
|
||||
<g id="edge10" class="edge">
|
||||
<title>zcash/halo2#251->zcash/halo2#437</title>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-378.85C1212.6,-377.8 1221.2,-376.73 1229.7,-375.66"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1230.2114,-379.1234 1239.7,-374.41 1229.3431,-372.1775 1230.2114,-379.1234"/>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-382.85C1212.6,-381.8 1221.2,-380.73 1229.7,-379.66"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1230.2114,-383.1234 1239.7,-378.41 1229.3431,-376.1775 1230.2114,-383.1234"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#436 -->
|
||||
<g id="node20" class="node open">
|
||||
|
|
@ -316,35 +316,35 @@
|
|||
<!-- zcash/halo2#436->zcash/halo2#437 -->
|
||||
<g id="edge11" class="edge">
|
||||
<title>zcash/halo2#436->zcash/halo2#437</title>
|
||||
<path fill="none" stroke="#000000" d="M705.36,-304.87C720.89,-306.67 736.91,-308.46 752,-310 798.08,-314.71 1069.8,-337.7 1229.6,-351.15"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1229.743,-354.6741 1240,-352.02 1230.3266,-347.6985 1229.743,-354.6741"/>
|
||||
<path fill="none" stroke="#000000" d="M705.3,-307.86C720.84,-310.08 736.88,-312.23 752,-314 775.29,-316.73 1063,-341.08 1229.6,-355.13"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1229.6434,-358.6457 1239.9,-355.99 1230.2259,-351.67 1229.6434,-358.6457"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#438 -->
|
||||
<g id="node21" class="node open">
|
||||
<title>zcash/halo2#438</title>
|
||||
<g id="a_node21"><a xlink:href="https://github.com/zcash/halo2/issues/438" xlink:title="zcash/halo2#438 Implement the logic for the PCD verifier circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="948,-301.5 762,-301.5 762,-248.5 948,-248.5 948,-301.5"/>
|
||||
<text text-anchor="middle" x="855" y="-286.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
|
||||
<text text-anchor="middle" x="855" y="-271.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-256.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="948,-305.5 762,-305.5 762,-252.5 948,-252.5 948,-305.5"/>
|
||||
<text text-anchor="middle" x="855" y="-290.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
|
||||
<text text-anchor="middle" x="855" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-260.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#436->zcash/halo2#438 -->
|
||||
<g id="edge12" class="edge">
|
||||
<title>zcash/halo2#436->zcash/halo2#438</title>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-286.98C720.33,-285.77 736.11,-284.51 751.54,-283.28"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="751.9325,-286.7598 761.62,-282.47 751.3718,-279.7823 751.9325,-286.7598"/>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-288.46C720.33,-287.51 736.11,-286.51 751.54,-285.53"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="751.8578,-289.0171 761.62,-284.9 751.4211,-282.0307 751.8578,-289.0171"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#435 -->
|
||||
<g id="node22" class="node open">
|
||||
<title>zcash/halo2#435</title>
|
||||
<g id="a_node22"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435 Implement mock verification circuit for IVC" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="705,-486 530,-486 530,-418 705,-418 705,-486"/>
|
||||
<text text-anchor="middle" x="617.5" y="-470.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
|
||||
<text text-anchor="middle" x="617.5" y="-455.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
|
||||
<text text-anchor="middle" x="617.5" y="-440.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
|
||||
<text text-anchor="middle" x="617.5" y="-425.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="705,-414 530,-414 530,-346 705,-346 705,-414"/>
|
||||
<text text-anchor="middle" x="617.5" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
|
||||
<text text-anchor="middle" x="617.5" y="-383.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
|
||||
<text text-anchor="middle" x="617.5" y="-368.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
|
||||
<text text-anchor="middle" x="617.5" y="-353.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -352,31 +352,31 @@
|
|||
<g id="node23" class="node open">
|
||||
<title>zcash/halo2#247</title>
|
||||
<g id="a_node23"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247 Implement underlying scaffolding for creating the IVC proof cycle" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="947.5,-426 762.5,-426 762.5,-358 947.5,-358 947.5,-426"/>
|
||||
<text text-anchor="middle" x="855" y="-410.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
|
||||
<text text-anchor="middle" x="855" y="-395.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
|
||||
<text text-anchor="middle" x="855" y="-380.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
|
||||
<text text-anchor="middle" x="855" y="-365.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="947.5,-430 762.5,-430 762.5,-362 947.5,-362 947.5,-430"/>
|
||||
<text text-anchor="middle" x="855" y="-414.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
|
||||
<text text-anchor="middle" x="855" y="-399.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
|
||||
<text text-anchor="middle" x="855" y="-384.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
|
||||
<text text-anchor="middle" x="855" y="-369.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#435->zcash/halo2#247 -->
|
||||
<g id="edge13" class="edge">
|
||||
<title>zcash/halo2#435->zcash/halo2#247</title>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-429.83C720.69,-425.93 736.87,-421.84 752.66,-417.86"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="753.5843,-421.2365 762.42,-415.39 751.8669,-414.4504 753.5843,-421.2365"/>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-385.91C720.55,-386.94 736.57,-388.02 752.21,-389.08"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="752.2095,-392.5876 762.42,-389.76 752.6747,-385.6031 752.2095,-392.5876"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#247->zcash/halo2#250 -->
|
||||
<g id="edge14" class="edge">
|
||||
<title>zcash/halo2#247->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M939.17,-426.06C945.59,-428.99 951.93,-431.98 958,-435 988.53,-450.17 1021.5,-469.21 1047.9,-485.12"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1046.2316,-488.2012 1056.6,-490.38 1049.8533,-482.211 1046.2316,-488.2012"/>
|
||||
<path fill="none" stroke="#000000" d="M947.12,-430.07C950.97,-432.83 954.62,-435.81 958,-439 984.59,-464.11 966.71,-488.65 994,-513 995.76,-514.57 997.59,-516.07 999.47,-517.51"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="997.8738,-520.6594 1008.1,-523.43 1001.8336,-514.887 997.8738,-520.6594"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#247->zcash/halo2#251 -->
|
||||
<g id="edge15" class="edge">
|
||||
<title>zcash/halo2#247->zcash/halo2#251</title>
|
||||
<path fill="none" stroke="#000000" d="M947.59,-392C959.39,-392 971.58,-392 983.68,-392"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="983.81,-395.5001 993.81,-392 983.81,-388.5001 983.81,-395.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M947.59,-396C959.39,-396 971.58,-396 983.68,-396"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="983.81,-399.5001 993.81,-396 983.81,-392.5001 983.81,-399.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#246 -->
|
||||
<g id="node24" class="node open">
|
||||
|
|
@ -398,8 +398,8 @@
|
|||
<!-- zcash/halo2#246->zcash/halo2#435 -->
|
||||
<g id="edge17" class="edge">
|
||||
<title>zcash/halo2#246->zcash/halo2#435</title>
|
||||
<path fill="none" stroke="#000000" d="M462.11,-345.61C469.48,-349.19 476.56,-353.3 483,-358 505.11,-374.15 497.77,-390.71 519,-408 520.77,-409.44 522.59,-410.85 524.46,-412.21"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="522.6927,-415.2408 532.93,-417.97 526.6291,-409.4524 522.6927,-415.2408"/>
|
||||
<path fill="none" stroke="#000000" d="M462.34,-343.27C481.06,-347.7 500.88,-352.39 519.87,-356.89"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="519.1828,-360.324 529.72,-359.22 520.7943,-353.512 519.1828,-360.324"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#439 -->
|
||||
<g id="node25" class="node open">
|
||||
|
|
@ -422,36 +422,36 @@
|
|||
<g id="node26" class="node open">
|
||||
<title>zcash/halo2#359</title>
|
||||
<g id="a_node26"><a xlink:href="https://github.com/zcash/halo2/issues/359" xlink:title="zcash/halo2#359 Set up `BaseTranscript`, `ScalarTranscript`" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="716,-399.5 519,-399.5 519,-346.5 716,-346.5 716,-399.5"/>
|
||||
<text text-anchor="middle" x="617.5" y="-384.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
|
||||
<text text-anchor="middle" x="617.5" y="-369.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
|
||||
<text text-anchor="middle" x="617.5" y="-354.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="716,-485.5 519,-485.5 519,-432.5 716,-432.5 716,-485.5"/>
|
||||
<text text-anchor="middle" x="617.5" y="-470.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
|
||||
<text text-anchor="middle" x="617.5" y="-455.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
|
||||
<text text-anchor="middle" x="617.5" y="-440.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#359->zcash/halo2#247 -->
|
||||
<g id="edge19" class="edge">
|
||||
<title>zcash/halo2#359->zcash/halo2#247</title>
|
||||
<path fill="none" stroke="#000000" d="M716.16,-380.89C728.11,-381.85 740.33,-382.83 752.34,-383.79"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="752.1131,-387.2829 762.36,-384.59 752.6703,-380.3051 752.1131,-387.2829"/>
|
||||
<path fill="none" stroke="#000000" d="M716.16,-432.83C728.11,-429.66 740.33,-426.42 752.34,-423.23"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="753.5928,-426.5187 762.36,-420.57 751.7967,-419.7531 753.5928,-426.5187"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#249 -->
|
||||
<g id="node27" class="node open">
|
||||
<title>zcash/halo2#249</title>
|
||||
<g id="a_node27"><a xlink:href="https://github.com/zcash/halo2/issues/249" xlink:title="zcash/halo2#249 Implement recursion circuit logic for handling public inputs" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="943.5,-670 766.5,-670 766.5,-602 943.5,-602 943.5,-670"/>
|
||||
<text text-anchor="middle" x="855" y="-654.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
|
||||
<text text-anchor="middle" x="855" y="-639.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
|
||||
<text text-anchor="middle" x="855" y="-624.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-609.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="943.5,-588 766.5,-588 766.5,-520 943.5,-520 943.5,-588"/>
|
||||
<text text-anchor="middle" x="855" y="-572.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
|
||||
<text text-anchor="middle" x="855" y="-557.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
|
||||
<text text-anchor="middle" x="855" y="-542.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-527.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#249->zcash/halo2#250 -->
|
||||
<g id="edge20" class="edge">
|
||||
<title>zcash/halo2#249->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M938.51,-601.96C945.14,-599.01 951.7,-596 958,-593 986.74,-579.3 1018,-562.65 1043.7,-548.43"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1045.5416,-551.4112 1052.6,-543.51 1042.1549,-545.285 1045.5416,-551.4112"/>
|
||||
<path fill="none" stroke="#000000" d="M943.78,-552.54C960.64,-552.27 978.41,-551.98 995.68,-551.69"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="995.8566,-555.1877 1005.8,-551.53 995.7459,-548.1886 995.8566,-555.1877"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#380 -->
|
||||
<g id="node28" class="node committed">
|
||||
|
|
@ -495,36 +495,36 @@
|
|||
<g id="node30" class="node open">
|
||||
<title>zcash/halo2#248</title>
|
||||
<g id="a_node30"><a xlink:href="https://github.com/zcash/halo2/issues/248" xlink:title="zcash/halo2#248 Implement endoscaling in the circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="956.5,-583.5 753.5,-583.5 753.5,-530.5 956.5,-530.5 956.5,-583.5"/>
|
||||
<text text-anchor="middle" x="855" y="-568.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
|
||||
<text text-anchor="middle" x="855" y="-553.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
|
||||
<text text-anchor="middle" x="855" y="-538.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="956.5,-501.5 753.5,-501.5 753.5,-448.5 956.5,-448.5 956.5,-501.5"/>
|
||||
<text text-anchor="middle" x="855" y="-486.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
|
||||
<text text-anchor="middle" x="855" y="-471.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
|
||||
<text text-anchor="middle" x="855" y="-456.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#248->zcash/halo2#250 -->
|
||||
<g id="edge23" class="edge">
|
||||
<title>zcash/halo2#248->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M956.71,-540.33C969.51,-538.23 982.61,-536.08 995.43,-533.98"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="996.3042,-537.3831 1005.6,-532.3 995.1632,-530.4767 996.3042,-537.3831"/>
|
||||
<path fill="none" stroke="#000000" d="M941.37,-501.55C961.37,-507.7 982.77,-514.27 1003.2,-520.54"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1002.1119,-523.8669 1012.7,-523.49 1004.1878,-517.1818 1002.1119,-523.8669"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#245 -->
|
||||
<g id="node31" class="node open">
|
||||
<title>zcash/halo2#245</title>
|
||||
<g id="a_node31"><a xlink:href="https://github.com/zcash/halo2/issues/245" xlink:title="zcash/halo2#245 Remove the need to multiply by powers of x^n in verifier" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="958,-512 752,-512 752,-444 958,-444 958,-512"/>
|
||||
<text text-anchor="middle" x="855" y="-496.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
|
||||
<text text-anchor="middle" x="855" y="-481.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
|
||||
<text text-anchor="middle" x="855" y="-466.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
|
||||
<text text-anchor="middle" x="855" y="-451.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="958,-674 752,-674 752,-606 958,-606 958,-674"/>
|
||||
<text text-anchor="middle" x="855" y="-658.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
|
||||
<text text-anchor="middle" x="855" y="-643.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
|
||||
<text text-anchor="middle" x="855" y="-628.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
|
||||
<text text-anchor="middle" x="855" y="-613.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#245->zcash/halo2#250 -->
|
||||
<g id="edge24" class="edge">
|
||||
<title>zcash/halo2#245->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M958.12,-494.48C970.65,-496.48 983.44,-498.53 995.96,-500.53"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="995.4727,-503.9965 1005.9,-502.12 996.5784,-497.0843 995.4727,-503.9965"/>
|
||||
<path fill="none" stroke="#000000" d="M947.25,-605.97C970.27,-597.48 994.81,-588.43 1017.3,-580.14"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1018.6266,-583.3813 1026.8,-576.64 1016.2066,-576.8129 1018.6266,-583.3813"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#543 -->
|
||||
<g id="node32" class="node open">
|
||||
|
|
@ -575,10 +575,27 @@
|
|||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#312 -->
|
||||
<!-- zcash/halo2#569 -->
|
||||
<g id="node35" class="node open">
|
||||
<title>zcash/halo2#569</title>
|
||||
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/569" xlink:title="zcash/halo2#569 Implement the recursive proof verifier" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1196,-503.5 1002,-503.5 1002,-450.5 1196,-450.5 1196,-503.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#569</text>
|
||||
<text text-anchor="middle" x="1099" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the recursive</text>
|
||||
<text text-anchor="middle" x="1099" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">proof verifier</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#569->zcash/halo2#75 -->
|
||||
<g id="edge27" class="edge">
|
||||
<title>zcash/halo2#569->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1196.3,-477C1212.9,-477 1230.2,-477 1246.9,-477"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1247.3,-480.5001 1257.3,-477 1247.3,-473.5001 1247.3,-480.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#312 -->
|
||||
<g id="node36" class="node open">
|
||||
<title>zcash/halo2#312</title>
|
||||
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312 [Book] Document gadget API" target="_blank">
|
||||
<g id="a_node36"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312 [Book] Document gadget API" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="210.5,-993.5 15.5,-993.5 15.5,-940.5 210.5,-940.5 210.5,-993.5"/>
|
||||
<text text-anchor="middle" x="113" y="-978.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#312</text>
|
||||
<text text-anchor="middle" x="113" y="-963.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] Document gadget</text>
|
||||
|
|
|
|||
|
|
@ -69,10 +69,10 @@
|
|||
<g id="node5" class="node open">
|
||||
<title>zcash/halo2#75</title>
|
||||
<g id="a_node5"><a xlink:href="https://github.com/zcash/halo2/issues/75" xlink:title="zcash/halo2#75 Implement support for recursion" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1436.5,-481.5 1257.5,-481.5 1257.5,-428.5 1436.5,-428.5 1436.5,-481.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-466.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
|
||||
<text text-anchor="middle" x="1347" y="-451.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
|
||||
<text text-anchor="middle" x="1347" y="-436.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1436.5,-503.5 1257.5,-503.5 1257.5,-450.5 1436.5,-450.5 1436.5,-503.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#75</text>
|
||||
<text text-anchor="middle" x="1347" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement support for</text>
|
||||
<text text-anchor="middle" x="1347" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">recursion</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -80,31 +80,31 @@
|
|||
<g id="node6" class="node open">
|
||||
<title>zcash/halo2#494</title>
|
||||
<g id="a_node6"><a xlink:href="https://github.com/zcash/halo2/issues/494" xlink:title="zcash/halo2#494 Consider adding an API that enables application circuits to be built across both fields" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1679,-496.5 1490,-496.5 1490,-413.5 1679,-413.5 1679,-496.5"/>
|
||||
<text text-anchor="middle" x="1584.5" y="-481.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-466.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-451.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-436.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-421.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1679,-518.5 1490,-518.5 1490,-435.5 1679,-435.5 1679,-518.5"/>
|
||||
<text text-anchor="middle" x="1584.5" y="-503.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#494</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">Consider adding an API</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">that enables application</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">circuits to be built</text>
|
||||
<text text-anchor="middle" x="1584.5" y="-443.3" font-family="Times,serif" font-size="14.00" fill="#000000">across both fields</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#75->zcash/halo2#494 -->
|
||||
<g id="edge3" class="edge">
|
||||
<title>zcash/halo2#75->zcash/halo2#494</title>
|
||||
<path fill="none" stroke="#000000" d="M1436.8,-455C1450.7,-455 1465.3,-455 1479.5,-455"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1479.8,-458.5001 1489.8,-455 1479.8,-451.5001 1479.8,-458.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M1436.8,-477C1450.7,-477 1465.3,-477 1479.5,-477"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1479.8,-480.5001 1489.8,-477 1479.8,-473.5001 1479.8,-480.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#79 -->
|
||||
<g id="node7" class="node open">
|
||||
<title>zcash/halo2#79</title>
|
||||
<g id="a_node7"><a xlink:href="https://github.com/zcash/halo2/issues/79" xlink:title="zcash/halo2#79 Migrate Rescue and Poseidon gadgets to algebraic hash abstraction" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1179.5,-763.5 1018.5,-763.5 1018.5,-680.5 1179.5,-680.5 1179.5,-763.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-748.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
|
||||
<text text-anchor="middle" x="1099" y="-733.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
|
||||
<text text-anchor="middle" x="1099" y="-718.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
|
||||
<text text-anchor="middle" x="1099" y="-703.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
|
||||
<text text-anchor="middle" x="1099" y="-688.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1179.5,-767.5 1018.5,-767.5 1018.5,-684.5 1179.5,-684.5 1179.5,-767.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-752.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#79</text>
|
||||
<text text-anchor="middle" x="1099" y="-737.3" font-family="Times,serif" font-size="14.00" fill="#000000">Migrate Rescue and</text>
|
||||
<text text-anchor="middle" x="1099" y="-722.3" font-family="Times,serif" font-size="14.00" fill="#000000">Poseidon gadgets to</text>
|
||||
<text text-anchor="middle" x="1099" y="-707.3" font-family="Times,serif" font-size="14.00" fill="#000000">algebraic hash</text>
|
||||
<text text-anchor="middle" x="1099" y="-692.3" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -112,42 +112,42 @@
|
|||
<g id="node8" class="node open">
|
||||
<title>zcash/halo2#78</title>
|
||||
<g id="a_node8"><a xlink:href="https://github.com/zcash/halo2/issues/78" xlink:title="zcash/halo2#78 Implement algebraic hash / random oracle abstraction gadget" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="957,-756 753,-756 753,-688 957,-688 957,-756"/>
|
||||
<text text-anchor="middle" x="855" y="-740.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
|
||||
<text text-anchor="middle" x="855" y="-725.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
|
||||
<text text-anchor="middle" x="855" y="-710.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
|
||||
<text text-anchor="middle" x="855" y="-695.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="957,-760 753,-760 753,-692 957,-692 957,-760"/>
|
||||
<text text-anchor="middle" x="855" y="-744.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#78</text>
|
||||
<text text-anchor="middle" x="855" y="-729.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement algebraic hash</text>
|
||||
<text text-anchor="middle" x="855" y="-714.8" font-family="Times,serif" font-size="14.00" fill="#000000">/ random oracle</text>
|
||||
<text text-anchor="middle" x="855" y="-699.8" font-family="Times,serif" font-size="14.00" fill="#000000">abstraction gadget</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#78->zcash/halo2#79 -->
|
||||
<g id="edge4" class="edge">
|
||||
<title>zcash/halo2#78->zcash/halo2#79</title>
|
||||
<path fill="none" stroke="#000000" d="M957.06,-722C974.04,-722 991.55,-722 1008.2,-722"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1008.5,-725.5001 1018.5,-722 1008.5,-718.5001 1008.5,-725.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M957.06,-726C974.04,-726 991.55,-726 1008.2,-726"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1008.5,-729.5001 1018.5,-726 1008.5,-722.5001 1008.5,-729.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#250 -->
|
||||
<g id="node9" class="node open">
|
||||
<title>zcash/halo2#250</title>
|
||||
<g id="a_node9"><a xlink:href="https://github.com/zcash/halo2/issues/250" xlink:title="zcash/halo2#250 Implement the logic for the IVC verifier circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1192,-543.5 1006,-543.5 1006,-490.5 1192,-490.5 1192,-543.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-528.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
|
||||
<text text-anchor="middle" x="1099" y="-513.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="1099" y="-498.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1192,-576.5 1006,-576.5 1006,-523.5 1192,-523.5 1192,-576.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-561.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#250</text>
|
||||
<text text-anchor="middle" x="1099" y="-546.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="1099" y="-531.3" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC verifier circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#78->zcash/halo2#250 -->
|
||||
<g id="edge5" class="edge">
|
||||
<title>zcash/halo2#78->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M944.1,-687.99C948.93,-685.17 953.6,-682.17 958,-679 1007.1,-643.55 1050.7,-587.85 1076,-551.87"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1078.8952,-553.8368 1081.7,-543.62 1073.1361,-549.8578 1078.8952,-553.8368"/>
|
||||
<path fill="none" stroke="#000000" d="M942.95,-691.89C948.15,-689.08 953.21,-686.11 958,-683 1000.9,-655.16 1042.5,-613.52 1069.3,-584.27"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1071.9954,-586.5075 1076.1,-576.74 1066.8002,-581.8159 1071.9954,-586.5075"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#250->zcash/halo2#75 -->
|
||||
<g id="edge6" class="edge">
|
||||
<title>zcash/halo2#250->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1192.1,-493.74C1210.1,-489.22 1229.1,-484.47 1247.4,-479.91"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1248.256,-483.3038 1257.1,-477.47 1246.5483,-476.5153 1248.256,-483.3038"/>
|
||||
<path fill="none" stroke="#000000" d="M1189.2,-523.44C1208.2,-517.86 1228.3,-511.94 1247.6,-506.27"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1248.6096,-509.6213 1257.2,-503.42 1246.6174,-502.9108 1248.6096,-509.6213"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#57 -->
|
||||
<g id="node10" class="node open">
|
||||
|
|
@ -258,36 +258,36 @@
|
|||
<g id="node18" class="node open">
|
||||
<title>zcash/halo2#251</title>
|
||||
<g id="a_node18"><a xlink:href="https://github.com/zcash/halo2/issues/251" xlink:title="zcash/halo2#251 Implement user-facing API for recursive proving of IVC" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1204,-426 994,-426 994,-358 1204,-358 1204,-426"/>
|
||||
<text text-anchor="middle" x="1099" y="-410.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
|
||||
<text text-anchor="middle" x="1099" y="-395.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user-facing API</text>
|
||||
<text text-anchor="middle" x="1099" y="-380.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
|
||||
<text text-anchor="middle" x="1099" y="-365.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1204,-430 994,-430 994,-362 1204,-362 1204,-430"/>
|
||||
<text text-anchor="middle" x="1099" y="-414.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#251</text>
|
||||
<text text-anchor="middle" x="1099" y="-399.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement user-facing API</text>
|
||||
<text text-anchor="middle" x="1099" y="-384.8" font-family="Times,serif" font-size="14.00" fill="#000000">for recursive proving of</text>
|
||||
<text text-anchor="middle" x="1099" y="-369.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#251->zcash/halo2#75 -->
|
||||
<g id="edge9" class="edge">
|
||||
<title>zcash/halo2#251->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-418.72C1218.5,-422.37 1233.3,-426.11 1247.5,-429.73"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1246.746,-433.1496 1257.3,-432.22 1248.4699,-426.3651 1246.746,-433.1496"/>
|
||||
<path fill="none" stroke="#000000" d="M1203.5,-430.12C1220.8,-435.79 1238.7,-441.64 1255.7,-447.19"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1255.0074,-450.6459 1265.6,-450.43 1257.1847,-443.9932 1255.0074,-450.6459"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#437 -->
|
||||
<g id="node19" class="node open">
|
||||
<title>zcash/halo2#437</title>
|
||||
<g id="a_node19"><a xlink:href="https://github.com/zcash/halo2/issues/437" xlink:title="zcash/halo2#437 Amend user-facing API to work for both IVC and PCD" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1454,-387.5 1240,-387.5 1240,-334.5 1454,-334.5 1454,-387.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-372.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
|
||||
<text text-anchor="middle" x="1347" y="-357.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user-facing API to</text>
|
||||
<text text-anchor="middle" x="1347" y="-342.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="1454,-391.5 1240,-391.5 1240,-338.5 1454,-338.5 1454,-391.5"/>
|
||||
<text text-anchor="middle" x="1347" y="-376.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#437</text>
|
||||
<text text-anchor="middle" x="1347" y="-361.3" font-family="Times,serif" font-size="14.00" fill="#000000">Amend user-facing API to</text>
|
||||
<text text-anchor="middle" x="1347" y="-346.3" font-family="Times,serif" font-size="14.00" fill="#000000">work for both IVC and PCD</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#251->zcash/halo2#437 -->
|
||||
<g id="edge10" class="edge">
|
||||
<title>zcash/halo2#251->zcash/halo2#437</title>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-378.85C1212.6,-377.8 1221.2,-376.73 1229.7,-375.66"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1230.2114,-379.1234 1239.7,-374.41 1229.3431,-372.1775 1230.2114,-379.1234"/>
|
||||
<path fill="none" stroke="#000000" d="M1204.2,-382.85C1212.6,-381.8 1221.2,-380.73 1229.7,-379.66"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1230.2114,-383.1234 1239.7,-378.41 1229.3431,-376.1775 1230.2114,-383.1234"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#436 -->
|
||||
<g id="node20" class="node open">
|
||||
|
|
@ -304,35 +304,35 @@
|
|||
<!-- zcash/halo2#436->zcash/halo2#437 -->
|
||||
<g id="edge11" class="edge">
|
||||
<title>zcash/halo2#436->zcash/halo2#437</title>
|
||||
<path fill="none" stroke="#000000" d="M705.36,-304.87C720.89,-306.67 736.91,-308.46 752,-310 798.08,-314.71 1069.8,-337.7 1229.6,-351.15"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1229.743,-354.6741 1240,-352.02 1230.3266,-347.6985 1229.743,-354.6741"/>
|
||||
<path fill="none" stroke="#000000" d="M705.3,-307.86C720.84,-310.08 736.88,-312.23 752,-314 775.29,-316.73 1063,-341.08 1229.6,-355.13"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1229.6434,-358.6457 1239.9,-355.99 1230.2259,-351.67 1229.6434,-358.6457"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#438 -->
|
||||
<g id="node21" class="node open">
|
||||
<title>zcash/halo2#438</title>
|
||||
<g id="a_node21"><a xlink:href="https://github.com/zcash/halo2/issues/438" xlink:title="zcash/halo2#438 Implement the logic for the PCD verifier circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="948,-301.5 762,-301.5 762,-248.5 948,-248.5 948,-301.5"/>
|
||||
<text text-anchor="middle" x="855" y="-286.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
|
||||
<text text-anchor="middle" x="855" y="-271.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-256.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="948,-305.5 762,-305.5 762,-252.5 948,-252.5 948,-305.5"/>
|
||||
<text text-anchor="middle" x="855" y="-290.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#438</text>
|
||||
<text text-anchor="middle" x="855" y="-275.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-260.3" font-family="Times,serif" font-size="14.00" fill="#000000">the PCD verifier circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#436->zcash/halo2#438 -->
|
||||
<g id="edge12" class="edge">
|
||||
<title>zcash/halo2#436->zcash/halo2#438</title>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-286.98C720.33,-285.77 736.11,-284.51 751.54,-283.28"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="751.9325,-286.7598 761.62,-282.47 751.3718,-279.7823 751.9325,-286.7598"/>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-288.46C720.33,-287.51 736.11,-286.51 751.54,-285.53"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="751.8578,-289.0171 761.62,-284.9 751.4211,-282.0307 751.8578,-289.0171"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#435 -->
|
||||
<g id="node22" class="node open">
|
||||
<title>zcash/halo2#435</title>
|
||||
<g id="a_node22"><a xlink:href="https://github.com/zcash/halo2/issues/435" xlink:title="zcash/halo2#435 Implement mock verification circuit for IVC" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="705,-486 530,-486 530,-418 705,-418 705,-486"/>
|
||||
<text text-anchor="middle" x="617.5" y="-470.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
|
||||
<text text-anchor="middle" x="617.5" y="-455.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
|
||||
<text text-anchor="middle" x="617.5" y="-440.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
|
||||
<text text-anchor="middle" x="617.5" y="-425.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="705,-414 530,-414 530,-346 705,-346 705,-414"/>
|
||||
<text text-anchor="middle" x="617.5" y="-398.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#435</text>
|
||||
<text text-anchor="middle" x="617.5" y="-383.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement mock</text>
|
||||
<text text-anchor="middle" x="617.5" y="-368.8" font-family="Times,serif" font-size="14.00" fill="#000000">verification circuit for</text>
|
||||
<text text-anchor="middle" x="617.5" y="-353.8" font-family="Times,serif" font-size="14.00" fill="#000000">IVC</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
|
|
@ -340,31 +340,31 @@
|
|||
<g id="node23" class="node open">
|
||||
<title>zcash/halo2#247</title>
|
||||
<g id="a_node23"><a xlink:href="https://github.com/zcash/halo2/issues/247" xlink:title="zcash/halo2#247 Implement underlying scaffolding for creating the IVC proof cycle" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="947.5,-426 762.5,-426 762.5,-358 947.5,-358 947.5,-426"/>
|
||||
<text text-anchor="middle" x="855" y="-410.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
|
||||
<text text-anchor="middle" x="855" y="-395.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
|
||||
<text text-anchor="middle" x="855" y="-380.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
|
||||
<text text-anchor="middle" x="855" y="-365.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" points="947.5,-430 762.5,-430 762.5,-362 947.5,-362 947.5,-430"/>
|
||||
<text text-anchor="middle" x="855" y="-414.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#247</text>
|
||||
<text text-anchor="middle" x="855" y="-399.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement underlying</text>
|
||||
<text text-anchor="middle" x="855" y="-384.8" font-family="Times,serif" font-size="14.00" fill="#000000">scaffolding for creating</text>
|
||||
<text text-anchor="middle" x="855" y="-369.8" font-family="Times,serif" font-size="14.00" fill="#000000">the IVC proof cycle</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#435->zcash/halo2#247 -->
|
||||
<g id="edge13" class="edge">
|
||||
<title>zcash/halo2#435->zcash/halo2#247</title>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-429.83C720.69,-425.93 736.87,-421.84 752.66,-417.86"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="753.5843,-421.2365 762.42,-415.39 751.8669,-414.4504 753.5843,-421.2365"/>
|
||||
<path fill="none" stroke="#000000" d="M705.26,-385.91C720.55,-386.94 736.57,-388.02 752.21,-389.08"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="752.2095,-392.5876 762.42,-389.76 752.6747,-385.6031 752.2095,-392.5876"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#247->zcash/halo2#250 -->
|
||||
<g id="edge14" class="edge">
|
||||
<title>zcash/halo2#247->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M939.17,-426.06C945.59,-428.99 951.93,-431.98 958,-435 988.53,-450.17 1021.5,-469.21 1047.9,-485.12"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1046.2316,-488.2012 1056.6,-490.38 1049.8533,-482.211 1046.2316,-488.2012"/>
|
||||
<path fill="none" stroke="#000000" d="M947.12,-430.07C950.97,-432.83 954.62,-435.81 958,-439 984.59,-464.11 966.71,-488.65 994,-513 995.76,-514.57 997.59,-516.07 999.47,-517.51"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="997.8738,-520.6594 1008.1,-523.43 1001.8336,-514.887 997.8738,-520.6594"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#247->zcash/halo2#251 -->
|
||||
<g id="edge15" class="edge">
|
||||
<title>zcash/halo2#247->zcash/halo2#251</title>
|
||||
<path fill="none" stroke="#000000" d="M947.59,-392C959.39,-392 971.58,-392 983.68,-392"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="983.81,-395.5001 993.81,-392 983.81,-388.5001 983.81,-395.5001"/>
|
||||
<path fill="none" stroke="#000000" d="M947.59,-396C959.39,-396 971.58,-396 983.68,-396"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="983.81,-399.5001 993.81,-396 983.81,-392.5001 983.81,-399.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#246 -->
|
||||
<g id="node24" class="node open">
|
||||
|
|
@ -386,8 +386,8 @@
|
|||
<!-- zcash/halo2#246->zcash/halo2#435 -->
|
||||
<g id="edge17" class="edge">
|
||||
<title>zcash/halo2#246->zcash/halo2#435</title>
|
||||
<path fill="none" stroke="#000000" d="M462.11,-345.61C469.48,-349.19 476.56,-353.3 483,-358 505.11,-374.15 497.77,-390.71 519,-408 520.77,-409.44 522.59,-410.85 524.46,-412.21"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="522.6927,-415.2408 532.93,-417.97 526.6291,-409.4524 522.6927,-415.2408"/>
|
||||
<path fill="none" stroke="#000000" d="M462.34,-343.27C481.06,-347.7 500.88,-352.39 519.87,-356.89"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="519.1828,-360.324 529.72,-359.22 520.7943,-353.512 519.1828,-360.324"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#439 -->
|
||||
<g id="node25" class="node open">
|
||||
|
|
@ -410,36 +410,36 @@
|
|||
<g id="node26" class="node open">
|
||||
<title>zcash/halo2#359</title>
|
||||
<g id="a_node26"><a xlink:href="https://github.com/zcash/halo2/issues/359" xlink:title="zcash/halo2#359 Set up `BaseTranscript`, `ScalarTranscript`" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="716,-399.5 519,-399.5 519,-346.5 716,-346.5 716,-399.5"/>
|
||||
<text text-anchor="middle" x="617.5" y="-384.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
|
||||
<text text-anchor="middle" x="617.5" y="-369.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
|
||||
<text text-anchor="middle" x="617.5" y="-354.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="716,-485.5 519,-485.5 519,-432.5 716,-432.5 716,-485.5"/>
|
||||
<text text-anchor="middle" x="617.5" y="-470.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#359</text>
|
||||
<text text-anchor="middle" x="617.5" y="-455.3" font-family="Times,serif" font-size="14.00" fill="#000000">Set up `BaseTranscript`,</text>
|
||||
<text text-anchor="middle" x="617.5" y="-440.3" font-family="Times,serif" font-size="14.00" fill="#000000">`ScalarTranscript`</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#359->zcash/halo2#247 -->
|
||||
<g id="edge19" class="edge">
|
||||
<title>zcash/halo2#359->zcash/halo2#247</title>
|
||||
<path fill="none" stroke="#000000" d="M716.16,-380.89C728.11,-381.85 740.33,-382.83 752.34,-383.79"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="752.1131,-387.2829 762.36,-384.59 752.6703,-380.3051 752.1131,-387.2829"/>
|
||||
<path fill="none" stroke="#000000" d="M716.16,-432.83C728.11,-429.66 740.33,-426.42 752.34,-423.23"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="753.5928,-426.5187 762.36,-420.57 751.7967,-419.7531 753.5928,-426.5187"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#249 -->
|
||||
<g id="node27" class="node open">
|
||||
<title>zcash/halo2#249</title>
|
||||
<g id="a_node27"><a xlink:href="https://github.com/zcash/halo2/issues/249" xlink:title="zcash/halo2#249 Implement recursion circuit logic for handling public inputs" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="943.5,-670 766.5,-670 766.5,-602 943.5,-602 943.5,-670"/>
|
||||
<text text-anchor="middle" x="855" y="-654.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
|
||||
<text text-anchor="middle" x="855" y="-639.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
|
||||
<text text-anchor="middle" x="855" y="-624.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-609.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="943.5,-588 766.5,-588 766.5,-520 943.5,-520 943.5,-588"/>
|
||||
<text text-anchor="middle" x="855" y="-572.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#249</text>
|
||||
<text text-anchor="middle" x="855" y="-557.8" font-family="Times,serif" font-size="14.00" fill="#000000">Implement recursion</text>
|
||||
<text text-anchor="middle" x="855" y="-542.8" font-family="Times,serif" font-size="14.00" fill="#000000">circuit logic for</text>
|
||||
<text text-anchor="middle" x="855" y="-527.8" font-family="Times,serif" font-size="14.00" fill="#000000">handling public inputs</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#249->zcash/halo2#250 -->
|
||||
<g id="edge20" class="edge">
|
||||
<title>zcash/halo2#249->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M938.51,-601.96C945.14,-599.01 951.7,-596 958,-593 986.74,-579.3 1018,-562.65 1043.7,-548.43"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1045.5416,-551.4112 1052.6,-543.51 1042.1549,-545.285 1045.5416,-551.4112"/>
|
||||
<path fill="none" stroke="#000000" d="M943.78,-552.54C960.64,-552.27 978.41,-551.98 995.68,-551.69"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="995.8566,-555.1877 1005.8,-551.53 995.7459,-548.1886 995.8566,-555.1877"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#380 -->
|
||||
<g id="node28" class="node committed">
|
||||
|
|
@ -483,36 +483,36 @@
|
|||
<g id="node30" class="node open">
|
||||
<title>zcash/halo2#248</title>
|
||||
<g id="a_node30"><a xlink:href="https://github.com/zcash/halo2/issues/248" xlink:title="zcash/halo2#248 Implement endoscaling in the circuit" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="956.5,-583.5 753.5,-583.5 753.5,-530.5 956.5,-530.5 956.5,-583.5"/>
|
||||
<text text-anchor="middle" x="855" y="-568.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
|
||||
<text text-anchor="middle" x="855" y="-553.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
|
||||
<text text-anchor="middle" x="855" y="-538.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="956.5,-501.5 753.5,-501.5 753.5,-448.5 956.5,-448.5 956.5,-501.5"/>
|
||||
<text text-anchor="middle" x="855" y="-486.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#248</text>
|
||||
<text text-anchor="middle" x="855" y="-471.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement endoscaling in</text>
|
||||
<text text-anchor="middle" x="855" y="-456.3" font-family="Times,serif" font-size="14.00" fill="#000000">the circuit</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#248->zcash/halo2#250 -->
|
||||
<g id="edge23" class="edge">
|
||||
<title>zcash/halo2#248->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M956.71,-540.33C969.51,-538.23 982.61,-536.08 995.43,-533.98"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="996.3042,-537.3831 1005.6,-532.3 995.1632,-530.4767 996.3042,-537.3831"/>
|
||||
<path fill="none" stroke="#000000" d="M941.37,-501.55C961.37,-507.7 982.77,-514.27 1003.2,-520.54"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1002.1119,-523.8669 1012.7,-523.49 1004.1878,-517.1818 1002.1119,-523.8669"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#245 -->
|
||||
<g id="node31" class="node open">
|
||||
<title>zcash/halo2#245</title>
|
||||
<g id="a_node31"><a xlink:href="https://github.com/zcash/halo2/issues/245" xlink:title="zcash/halo2#245 Remove the need to multiply by powers of x^n in verifier" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="958,-512 752,-512 752,-444 958,-444 958,-512"/>
|
||||
<text text-anchor="middle" x="855" y="-496.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
|
||||
<text text-anchor="middle" x="855" y="-481.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
|
||||
<text text-anchor="middle" x="855" y="-466.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
|
||||
<text text-anchor="middle" x="855" y="-451.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="958,-674 752,-674 752,-606 958,-606 958,-674"/>
|
||||
<text text-anchor="middle" x="855" y="-658.8" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#245</text>
|
||||
<text text-anchor="middle" x="855" y="-643.8" font-family="Times,serif" font-size="14.00" fill="#000000">Remove the need to</text>
|
||||
<text text-anchor="middle" x="855" y="-628.8" font-family="Times,serif" font-size="14.00" fill="#000000">multiply by powers of x^n</text>
|
||||
<text text-anchor="middle" x="855" y="-613.8" font-family="Times,serif" font-size="14.00" fill="#000000">in verifier</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#245->zcash/halo2#250 -->
|
||||
<g id="edge24" class="edge">
|
||||
<title>zcash/halo2#245->zcash/halo2#250</title>
|
||||
<path fill="none" stroke="#000000" d="M958.12,-494.48C970.65,-496.48 983.44,-498.53 995.96,-500.53"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="995.4727,-503.9965 1005.9,-502.12 996.5784,-497.0843 995.4727,-503.9965"/>
|
||||
<path fill="none" stroke="#000000" d="M947.25,-605.97C970.27,-597.48 994.81,-588.43 1017.3,-580.14"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1018.6266,-583.3813 1026.8,-576.64 1016.2066,-576.8129 1018.6266,-583.3813"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#543 -->
|
||||
<g id="node32" class="node open">
|
||||
|
|
@ -563,10 +563,27 @@
|
|||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#312 -->
|
||||
<!-- zcash/halo2#569 -->
|
||||
<g id="node35" class="node open">
|
||||
<title>zcash/halo2#569</title>
|
||||
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/569" xlink:title="zcash/halo2#569 Implement the recursive proof verifier" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="1196,-503.5 1002,-503.5 1002,-450.5 1196,-450.5 1196,-503.5"/>
|
||||
<text text-anchor="middle" x="1099" y="-488.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#569</text>
|
||||
<text text-anchor="middle" x="1099" y="-473.3" font-family="Times,serif" font-size="14.00" fill="#000000">Implement the recursive</text>
|
||||
<text text-anchor="middle" x="1099" y="-458.3" font-family="Times,serif" font-size="14.00" fill="#000000">proof verifier</text>
|
||||
</a>
|
||||
</g>
|
||||
</g>
|
||||
<!-- zcash/halo2#569->zcash/halo2#75 -->
|
||||
<g id="edge27" class="edge">
|
||||
<title>zcash/halo2#569->zcash/halo2#75</title>
|
||||
<path fill="none" stroke="#000000" d="M1196.3,-477C1212.9,-477 1230.2,-477 1246.9,-477"/>
|
||||
<polygon fill="#000000" stroke="#000000" points="1247.3,-480.5001 1257.3,-477 1247.3,-473.5001 1247.3,-480.5001"/>
|
||||
</g>
|
||||
<!-- zcash/halo2#312 -->
|
||||
<g id="node36" class="node open">
|
||||
<title>zcash/halo2#312</title>
|
||||
<g id="a_node35"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312 [Book] Document gadget API" target="_blank">
|
||||
<g id="a_node36"><a xlink:href="https://github.com/zcash/halo2/issues/312" xlink:title="zcash/halo2#312 [Book] Document gadget API" target="_blank">
|
||||
<polygon fill="#c2e0c6" stroke="#000000" stroke-width="2" points="210.5,-993.5 15.5,-993.5 15.5,-940.5 210.5,-940.5 210.5,-993.5"/>
|
||||
<text text-anchor="middle" x="113" y="-978.3" font-family="Times,serif" font-size="14.00" fill="#000000">zcash/halo2#312</text>
|
||||
<text text-anchor="middle" x="113" y="-963.3" font-family="Times,serif" font-size="14.00" fill="#000000">[Book] Document gadget</text>
|
||||
|
|
|
|||
|
Before Width: | Height: | Size: 40 KiB After Width: | Height: | Size: 41 KiB |
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
Before Width: | Height: | Size: 112 KiB After Width: | Height: | Size: 122 KiB |
1220
zcash-zf-dag.html
1220
zcash-zf-dag.html
File diff suppressed because it is too large
Load Diff
1220
zcash-zf-dag.svg
1220
zcash-zf-dag.svg
File diff suppressed because it is too large
Load Diff
|
Before Width: | Height: | Size: 113 KiB After Width: | Height: | Size: 113 KiB |
Loading…
Reference in New Issue