2022-04-26 10:55:56 -07:00
<!DOCTYPE html>
< html >
< head >
< title > Zcash halo2 DAG< / title >
<!-- Pan/zoom SVGs -->
< script src = "https://bumbu.me/svg-pan-zoom/dist/svg-pan-zoom.min.js" > < / script >
< link rel = "stylesheet" href = "zcash-dag.css" >
< style >
@media (prefers-color-scheme: dark) {
body {
/* Material dark theme surface colour */
background-color: #121212;
}
}
< / style >
< / head >
< body >
2022-04-27 15:45:46 -07:00
< div id = "dag" > < svg width = "1687pt" height = "1001pt"
viewBox="0.00 0.00 1687.00 1000.50" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
< g id = "graph0" class = "graph" transform = "scale(1 1) rotate(0) translate(4 996.5)" >
< polygon fill = "#ffffff" stroke = "transparent" points = "-4,4 -4,-996.5 1683,-996.5 1683,4 -4,4" / >
2022-04-26 10:55:56 -07:00
<!-- zcash/pasta_curves#35 -->
< g id = "node1" class = "node open" >
< title > zcash/pasta_curves#35< / title >
< g id = "a_node1" > < a xlink:href = "https://github.com/zcash/pasta_curves/issues/35" xlink:title = "zcash/pasta_curves#35 Enable `ec-gpu` to generate MSM and FFT code for `pasta_curves`" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "226,-68 0,-68 0,0 226,0 226,-68" / >
< text text-anchor = "middle" x = "113" y = "-52.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/pasta_curves#35< / text >
< text text-anchor = "middle" x = "113" y = "-37.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Enable `ec- gpu` to< / text >
< text text-anchor = "middle" x = "113" y = "-22.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > generate MSM and FFT code< / text >
< text text-anchor = "middle" x = "113" y = "-7.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > for `pasta_curves`< / text >
< / a >
< / g >
< / g >
<!-- zcash/halo2#379 -->
< g id = "node2" class = "node open" >
< title > zcash/halo2#379< / title >
< g id = "a_node2" > < a xlink:href = "https://github.com/zcash/halo2/issues/379" xlink:title = "zcash/halo2#379 Add `ec-gpu` support" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" points = "459,-53 286,-53 286,-15 459,-15 459,-53" / >
< text text-anchor = "middle" x = "372.5" y = "-37.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#379< / text >
< text text-anchor = "middle" x = "372.5" y = "-22.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Add `ec- gpu` support< / text >
< / a >
< / g >
< / g >
<!-- zcash/pasta_curves#35->zcash/halo2#379 -->
< g id = "edge1" class = "edge" >
< title > zcash/pasta_curves#35- > zcash/halo2#379< / title >
< path fill = "none" stroke = "#000000" d = "M226.07,-34C242.69,-34 259.69,-34 275.94,-34" / >
< polygon fill = "#000000" stroke = "#000000" points = "275.96,-37.5001 285.96,-34 275.96,-30.5001 275.96,-37.5001" / >
< / g >
<!-- zcash/halo2#426 -->
< g id = "node3" class = "node committed" >
< title > zcash/halo2#426< / title >
< g id = "a_node3" > < a xlink:href = "https://github.com/zcash/halo2/issues/426" xlink:title = "zcash/halo2#426 Publish `halo2_proofs 0.1.0`" target = "_blank" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#a6cfff" stroke = "#000000" points = "459,-210.5 286,-210.5 286,-157.5 459,-157.5 459,-210.5" / >
< text text-anchor = "middle" x = "372.5" y = "-195.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#426< / text >
< text text-anchor = "middle" x = "372.5" y = "-180.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Publish `halo2_proofs< / text >
< text text-anchor = "middle" x = "372.5" y = "-165.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > 0.1.0`< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#460 -->
< g id = "node4" class = "node committed" >
< title > zcash/halo2#460< / title >
< g id = "a_node4" > < a xlink:href = "https://github.com/zcash/halo2/issues/460" xlink:title = "zcash/halo2#460 Publish `halo2_gadgets v0.1.0`" target = "_blank" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#a6cfff" stroke = "#000000" points = "710,-253.5 525,-253.5 525,-200.5 710,-200.5 710,-253.5" / >
< text text-anchor = "middle" x = "617.5" y = "-238.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#460< / text >
< text text-anchor = "middle" x = "617.5" y = "-223.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Publish `halo2_gadgets< / text >
< text text-anchor = "middle" x = "617.5" y = "-208.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > v0.1.0`< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#426->zcash/halo2#460 -->
< g id = "edge2" class = "edge" >
< title > zcash/halo2#426- > zcash/halo2#460< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M459.22,-199.22C477.19,-202.37 496.29,-205.73 514.77,-208.97" / >
< polygon fill = "#000000" stroke = "#000000" points = "514.2048,-212.4242 524.66,-210.71 515.4177,-205.5301 514.2048,-212.4242" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#75 -->
< 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" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "1436.5,-518.5 1257.5,-518.5 1257.5,-465.5 1436.5,-465.5 1436.5,-518.5" / >
< text text-anchor = "middle" x = "1347" y = "-503.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#75< / text >
< text text-anchor = "middle" x = "1347" y = "-488.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement support for< / text >
< text text-anchor = "middle" x = "1347" y = "-473.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > recursion< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#494 -->
< 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" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "1679,-533.5 1490,-533.5 1490,-450.5 1679,-450.5 1679,-533.5" / >
< text text-anchor = "middle" x = "1584.5" y = "-518.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#494< / text >
< text text-anchor = "middle" x = "1584.5" y = "-503.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Consider adding an API< / text >
< text text-anchor = "middle" x = "1584.5" y = "-488.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > that enables application< / text >
< text text-anchor = "middle" x = "1584.5" y = "-473.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > circuits to be built< / text >
< text text-anchor = "middle" x = "1584.5" y = "-458.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > across both fields< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#75->zcash/halo2#494 -->
< g id = "edge3" class = "edge" >
< title > zcash/halo2#75- > zcash/halo2#494< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M1436.8,-492C1450.7,-492 1465.3,-492 1479.5,-492" / >
< polygon fill = "#000000" stroke = "#000000" points = "1479.8,-495.5001 1489.8,-492 1479.8,-488.5001 1479.8,-495.5001" / >
2022-04-26 10:55:56 -07:00
< / 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" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "1179.5,-800.5 1018.5,-800.5 1018.5,-717.5 1179.5,-717.5 1179.5,-800.5" / >
< text text-anchor = "middle" x = "1099" y = "-785.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#79< / text >
< text text-anchor = "middle" x = "1099" y = "-770.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Migrate Rescue and< / text >
< text text-anchor = "middle" x = "1099" y = "-755.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Poseidon gadgets to< / text >
< text text-anchor = "middle" x = "1099" y = "-740.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > algebraic hash< / text >
< text text-anchor = "middle" x = "1099" y = "-725.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > abstraction< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#78 -->
< 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" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "957,-793 753,-793 753,-725 957,-725 957,-793" / >
< text text-anchor = "middle" x = "855" y = "-777.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#78< / text >
< text text-anchor = "middle" x = "855" y = "-762.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement algebraic hash< / text >
< text text-anchor = "middle" x = "855" y = "-747.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > / random oracle< / text >
< text text-anchor = "middle" x = "855" y = "-732.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > abstraction gadget< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#78->zcash/halo2#79 -->
< g id = "edge4" class = "edge" >
< title > zcash/halo2#78- > zcash/halo2#79< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M957.06,-759C974.04,-759 991.55,-759 1008.2,-759" / >
< polygon fill = "#000000" stroke = "#000000" points = "1008.5,-762.5001 1018.5,-759 1008.5,-755.5001 1008.5,-762.5001" / >
2022-04-26 10:55:56 -07:00
< / 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" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "1192,-580.5 1006,-580.5 1006,-527.5 1192,-527.5 1192,-580.5" / >
< text text-anchor = "middle" x = "1099" y = "-565.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#250< / text >
< text text-anchor = "middle" x = "1099" y = "-550.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement the logic for< / text >
< text text-anchor = "middle" x = "1099" y = "-535.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > the IVC verifier circuit< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#78->zcash/halo2#250 -->
< g id = "edge5" class = "edge" >
< title > zcash/halo2#78- > zcash/halo2#250< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M944.1,-724.99C948.93,-722.17 953.6,-719.17 958,-716 1007.1,-680.55 1050.7,-624.85 1076,-588.87" / >
< polygon fill = "#000000" stroke = "#000000" points = "1078.8952,-590.8368 1081.7,-580.62 1073.1361,-586.8578 1078.8952,-590.8368" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#250->zcash/halo2#75 -->
< g id = "edge6" class = "edge" >
< title > zcash/halo2#250- > zcash/halo2#75< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M1192.1,-530.74C1210.1,-526.22 1229.1,-521.47 1247.4,-516.91" / >
< polygon fill = "#000000" stroke = "#000000" points = "1248.256,-520.3038 1257.1,-514.47 1246.5483,-513.5153 1248.256,-520.3038" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#57 -->
< g id = "node10" class = "node open" >
< title > zcash/halo2#57< / title >
< g id = "a_node10" > < a xlink:href = "https://github.com/zcash/halo2/issues/57" xlink:title = "zcash/halo2#57 Remove unused fixed_values from ProvingKey" target = "_blank" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "184.5,-535 41.5,-535 41.5,-467 184.5,-467 184.5,-535" / >
< text text-anchor = "middle" x = "113" y = "-519.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#57< / text >
< text text-anchor = "middle" x = "113" y = "-504.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Remove unused< / text >
< text text-anchor = "middle" x = "113" y = "-489.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > fixed_values from< / text >
< text text-anchor = "middle" x = "113" y = "-474.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > ProvingKey< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#443 -->
< g id = "node11" class = "node open" >
< title > zcash/halo2#443< / title >
< g id = "a_node11" > < a xlink:href = "https://github.com/zcash/halo2/issues/443" xlink:title = "zcash/halo2#443 implement `read` & `write` for `halo2::plonk ::ProvingKey`" target = "_blank" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "469.5,-535 275.5,-535 275.5,-467 469.5,-467 469.5,-535" / >
< text text-anchor = "middle" x = "372.5" y = "-519.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#443< / text >
< text text-anchor = "middle" x = "372.5" y = "-504.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > implement `read` & < / text >
< text text-anchor = "middle" x = "372.5" y = "-489.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > `write` for `halo2::plonk< / text >
< text text-anchor = "middle" x = "372.5" y = "-474.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > ::ProvingKey`< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#57->zcash/halo2#443 -->
< g id = "edge7" class = "edge" >
< title > zcash/halo2#57- > zcash/halo2#443< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M184.6,-501C209.47,-501 237.94,-501 265.07,-501" / >
< polygon fill = "#000000" stroke = "#000000" points = "265.39,-504.5001 275.39,-501 265.39,-497.5001 265.39,-504.5001" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#449 -->
< g id = "node12" class = "node open" >
< title > zcash/halo2#449< / title >
< g id = "a_node12" > < a xlink:href = "https://github.com/zcash/halo2/issues/449" xlink:title = "zcash/halo2#449 Define a stable serialization format for `VerifyingKey`" target = "_blank" >
2022-04-27 15:45:46 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "204,-621 22,-621 22,-553 204,-553 204,-621" / >
< text text-anchor = "middle" x = "113" y = "-605.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#449< / text >
< text text-anchor = "middle" x = "113" y = "-590.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Define a stable< / text >
< text text-anchor = "middle" x = "113" y = "-575.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > serialization format for< / text >
< text text-anchor = "middle" x = "113" y = "-560.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > `VerifyingKey`< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#483 -->
2022-04-27 15:45:46 -07:00
< g id = "node13" class = "node committed" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#483< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node13" > < a xlink:href = "https://github.com/zcash/halo2/issues/483" xlink:title = "zcash/halo2#483 Refactor variable-base scalar mul to distinguish the "base field element" case" target = "_blank" >
< polygon fill = "#a6cfff" stroke = "#000000" stroke-width = "2" points = "469.5,-311.5 275.5,-311.5 275.5,-228.5 469.5,-228.5 469.5,-311.5" / >
< text text-anchor = "middle" x = "372.5" y = "-296.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#483< / text >
< text text-anchor = "middle" x = "372.5" y = "-281.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Refactor variable- base< / text >
< text text-anchor = "middle" x = "372.5" y = "-266.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > scalar mul to distinguish< / text >
< text text-anchor = "middle" x = "372.5" y = "-251.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > the " base field element" < / text >
< text text-anchor = "middle" x = "372.5" y = "-236.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > case< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#483->zcash/halo2#460 -->
2022-04-27 15:45:46 -07:00
< g id = "edge8" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#483- > zcash/halo2#460< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M469.68,-252.94C484.45,-250.35 499.72,-247.67 514.6,-245.06" / >
< polygon fill = "#000000" stroke = "#000000" points = "515.5829,-248.4413 524.83,-243.27 514.3764,-241.546 515.5829,-248.4413" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#420 -->
2022-04-27 15:45:46 -07:00
< g id = "node14" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#420< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node14" > < a xlink:href = "https://github.com/zcash/halo2/issues/420" xlink:title = "zcash/halo2#420 CI: Measure memory-usage benchmarks" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "220.5,-692.5 5.5,-692.5 5.5,-639.5 220.5,-639.5 220.5,-692.5" / >
< text text-anchor = "middle" x = "113" y = "-677.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#420< / text >
< text text-anchor = "middle" x = "113" y = "-662.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > CI: Measure memory- usage< / text >
< text text-anchor = "middle" x = "113" y = "-647.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > benchmarks< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#418 -->
2022-04-27 15:45:46 -07:00
< g id = "node15" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#418< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node15" > < a xlink:href = "https://github.com/zcash/halo2/issues/418" xlink:title = "zcash/halo2#418 [memory optimization] lookup prover memory analysis" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" points = "462,-700 283,-700 283,-632 462,-632 462,-700" / >
< text text-anchor = "middle" x = "372.5" y = "-684.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#418< / text >
< text text-anchor = "middle" x = "372.5" y = "-669.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > [memory optimization]< / text >
< text text-anchor = "middle" x = "372.5" y = "-654.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > lookup prover memory< / text >
< text text-anchor = "middle" x = "372.5" y = "-639.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > analysis< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#420->zcash/halo2#418 -->
2022-04-27 15:45:46 -07:00
< g id = "edge9" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#420- > zcash/halo2#418< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M220.8,-666C237.86,-666 255.45,-666 272.34,-666" / >
< polygon fill = "#000000" stroke = "#000000" points = "272.75,-669.5001 282.75,-666 272.75,-662.5001 272.75,-669.5001" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#427 -->
2022-04-27 15:45:46 -07:00
< g id = "node16" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#427< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node16" > < a xlink:href = "https://github.com/zcash/halo2/issues/427" xlink:title = "zcash/halo2#427 Use smaller extended domains where possible during proving" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "207,-779 19,-779 19,-711 207,-711 207,-779" / >
< text text-anchor = "middle" x = "113" y = "-763.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#427< / text >
< text text-anchor = "middle" x = "113" y = "-748.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Use smaller extended< / text >
< text text-anchor = "middle" x = "113" y = "-733.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > domains where possible< / text >
< text text-anchor = "middle" x = "113" y = "-718.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > during proving< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#456 -->
2022-04-27 15:45:46 -07:00
< g id = "node17" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#456< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node17" > < a xlink:href = "https://github.com/zcash/halo2/issues/456" xlink:title = "zcash/halo2#456 Benchmark `sha256` gadget." target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "198,-850.5 28,-850.5 28,-797.5 198,-797.5 198,-850.5" / >
< text text-anchor = "middle" x = "113" y = "-835.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#456< / text >
< text text-anchor = "middle" x = "113" y = "-820.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Benchmark `sha256`< / text >
< text text-anchor = "middle" x = "113" y = "-805.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > gadget.< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#455 -->
2022-04-27 15:45:46 -07:00
< g id = "node18" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#455< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node18" > < a xlink:href = "https://github.com/zcash/halo2/issues/455" xlink:title = "zcash/halo2#455 [Book] add description of Poseidon gadget and chip" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "213,-921.5 13,-921.5 13,-868.5 213,-868.5 213,-921.5" / >
< text text-anchor = "middle" x = "113" y = "-906.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#455< / text >
< text text-anchor = "middle" x = "113" y = "-891.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > [Book] add description of< / text >
< text text-anchor = "middle" x = "113" y = "-876.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Poseidon gadget and chip< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#251 -->
2022-04-27 15:45:46 -07:00
< g id = "node19" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#251< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node19" > < 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,-463 994,-463 994,-395 1204,-395 1204,-463" / >
< text text-anchor = "middle" x = "1099" y = "-447.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#251< / text >
< text text-anchor = "middle" x = "1099" y = "-432.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement user- facing API< / text >
< text text-anchor = "middle" x = "1099" y = "-417.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > for recursive proving of< / text >
< text text-anchor = "middle" x = "1099" y = "-402.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > IVC< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#251->zcash/halo2#75 -->
2022-04-27 15:45:46 -07:00
< g id = "edge10" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#251- > zcash/halo2#75< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M1204.2,-455.72C1218.5,-459.37 1233.3,-463.11 1247.5,-466.73" / >
< polygon fill = "#000000" stroke = "#000000" points = "1246.746,-470.1496 1257.3,-469.22 1248.4699,-463.3651 1246.746,-470.1496" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#437 -->
2022-04-27 15:45:46 -07:00
< g id = "node20" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#437< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node20" > < 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,-424.5 1240,-424.5 1240,-371.5 1454,-371.5 1454,-424.5" / >
< text text-anchor = "middle" x = "1347" y = "-409.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#437< / text >
< text text-anchor = "middle" x = "1347" y = "-394.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Amend user- facing API to< / text >
< text text-anchor = "middle" x = "1347" y = "-379.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > work for both IVC and PCD< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#251->zcash/halo2#437 -->
2022-04-27 15:45:46 -07:00
< g id = "edge11" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#251- > zcash/halo2#437< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M1204.2,-415.85C1212.6,-414.8 1221.2,-413.73 1229.7,-412.66" / >
< polygon fill = "#000000" stroke = "#000000" points = "1230.2114,-416.1234 1239.7,-411.41 1229.3431,-409.1775 1230.2114,-416.1234" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#436 -->
2022-04-27 15:45:46 -07:00
< g id = "node21" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#436< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node21" > < a xlink:href = "https://github.com/zcash/halo2/issues/436" xlink:title = "zcash/halo2#436 Implement mock verification circuit for PCD" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" points = "705,-365 530,-365 530,-297 705,-297 705,-365" / >
< text text-anchor = "middle" x = "617.5" y = "-349.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#436< / text >
< text text-anchor = "middle" x = "617.5" y = "-334.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement mock< / text >
< text text-anchor = "middle" x = "617.5" y = "-319.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > verification circuit for< / text >
< text text-anchor = "middle" x = "617.5" y = "-304.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > PCD< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#436->zcash/halo2#437 -->
2022-04-27 15:45:46 -07:00
< g id = "edge12" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#436- > zcash/halo2#437< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M705.36,-341.87C720.89,-343.67 736.91,-345.46 752,-347 798.08,-351.71 1069.8,-374.7 1229.6,-388.15" / >
< polygon fill = "#000000" stroke = "#000000" points = "1229.743,-391.6741 1240,-389.02 1230.3266,-384.6985 1229.743,-391.6741" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#438 -->
2022-04-27 15:45:46 -07:00
< g id = "node22" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#438< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node22" > < 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,-338.5 762,-338.5 762,-285.5 948,-285.5 948,-338.5" / >
< text text-anchor = "middle" x = "855" y = "-323.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#438< / text >
< text text-anchor = "middle" x = "855" y = "-308.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement the logic for< / text >
< text text-anchor = "middle" x = "855" y = "-293.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > the PCD verifier circuit< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#436->zcash/halo2#438 -->
2022-04-27 15:45:46 -07:00
< g id = "edge13" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#436- > zcash/halo2#438< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M705.26,-323.98C720.33,-322.77 736.11,-321.51 751.54,-320.28" / >
< polygon fill = "#000000" stroke = "#000000" points = "751.9325,-323.7598 761.62,-319.47 751.3718,-316.7823 751.9325,-323.7598" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#435 -->
2022-04-27 15:45:46 -07:00
< g id = "node23" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#435< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node23" > < 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,-523 530,-523 530,-455 705,-455 705,-523" / >
< text text-anchor = "middle" x = "617.5" y = "-507.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#435< / text >
< text text-anchor = "middle" x = "617.5" y = "-492.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement mock< / text >
< text text-anchor = "middle" x = "617.5" y = "-477.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > verification circuit for< / text >
< text text-anchor = "middle" x = "617.5" y = "-462.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > IVC< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#247 -->
2022-04-27 15:45:46 -07:00
< g id = "node24" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#247< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node24" > < 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,-463 762.5,-463 762.5,-395 947.5,-395 947.5,-463" / >
< text text-anchor = "middle" x = "855" y = "-447.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#247< / text >
< text text-anchor = "middle" x = "855" y = "-432.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement underlying< / text >
< text text-anchor = "middle" x = "855" y = "-417.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > scaffolding for creating< / text >
< text text-anchor = "middle" x = "855" y = "-402.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > the IVC proof cycle< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#435->zcash/halo2#247 -->
2022-04-27 15:45:46 -07:00
< g id = "edge14" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#435- > zcash/halo2#247< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M705.26,-466.83C720.69,-462.93 736.87,-458.84 752.66,-454.86" / >
< polygon fill = "#000000" stroke = "#000000" points = "753.5843,-458.2365 762.42,-452.39 751.8669,-451.4504 753.5843,-458.2365" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#247->zcash/halo2#250 -->
2022-04-27 15:45:46 -07:00
< g id = "edge15" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#247- > zcash/halo2#250< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M939.17,-463.06C945.59,-465.99 951.93,-468.98 958,-472 988.53,-487.17 1021.5,-506.21 1047.9,-522.12" / >
< polygon fill = "#000000" stroke = "#000000" points = "1046.2316,-525.2012 1056.6,-527.38 1049.8533,-519.211 1046.2316,-525.2012" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#247->zcash/halo2#251 -->
2022-04-27 15:45:46 -07:00
< g id = "edge16" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#247- > zcash/halo2#251< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M947.59,-429C959.39,-429 971.58,-429 983.68,-429" / >
< polygon fill = "#000000" stroke = "#000000" points = "983.81,-432.5001 993.81,-429 983.81,-425.5001 983.81,-432.5001" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#246 -->
2022-04-27 15:45:46 -07:00
< g id = "node25" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#246< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node25" > < a xlink:href = "https://github.com/zcash/halo2/issues/246" xlink:title = "zcash/halo2#246 Create recursive proof structures" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" points = "462,-448.5 283,-448.5 283,-395.5 462,-395.5 462,-448.5" / >
< text text-anchor = "middle" x = "372.5" y = "-433.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#246< / text >
< text text-anchor = "middle" x = "372.5" y = "-418.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Create recursive proof< / text >
< text text-anchor = "middle" x = "372.5" y = "-403.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > structures< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#246->zcash/halo2#436 -->
2022-04-27 15:45:46 -07:00
< g id = "edge17" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#246- > zcash/halo2#436< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M444.02,-395.43C467.82,-386.6 494.74,-376.6 520.15,-367.16" / >
< polygon fill = "#000000" stroke = "#000000" points = "521.6479,-370.3372 529.8,-363.57 519.2072,-363.7764 521.6479,-370.3372" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#246->zcash/halo2#435 -->
2022-04-27 15:45:46 -07:00
< g id = "edge18" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#246- > zcash/halo2#435< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M462.34,-446.57C481.06,-451.69 500.88,-457.11 519.87,-462.3" / >
< polygon fill = "#000000" stroke = "#000000" points = "519.1512,-465.7318 529.72,-464.99 520.9954,-458.9791 519.1512,-465.7318" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#439 -->
2022-04-27 15:45:46 -07:00
< g id = "node26" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#439< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node26" > < a xlink:href = "https://github.com/zcash/halo2/issues/439" xlink:title = "zcash/halo2#439 Support split accumulation in Halo 2" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "204.5,-448.5 21.5,-448.5 21.5,-395.5 204.5,-395.5 204.5,-448.5" / >
< text text-anchor = "middle" x = "113" y = "-433.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#439< / text >
< text text-anchor = "middle" x = "113" y = "-418.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Support split< / text >
< text text-anchor = "middle" x = "113" y = "-403.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > accumulation in Halo 2< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#439->zcash/halo2#246 -->
2022-04-27 15:45:46 -07:00
< g id = "edge19" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#439- > zcash/halo2#246< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M204.86,-422C226.86,-422 250.45,-422 272.79,-422" / >
< polygon fill = "#000000" stroke = "#000000" points = "272.95,-425.5001 282.95,-422 272.95,-418.5001 272.95,-425.5001" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#359 -->
2022-04-27 15:45:46 -07:00
< g id = "node27" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#359< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node27" > < 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,-436.5 519,-436.5 519,-383.5 716,-383.5 716,-436.5" / >
< text text-anchor = "middle" x = "617.5" y = "-421.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#359< / text >
< text text-anchor = "middle" x = "617.5" y = "-406.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Set up `BaseTranscript`,< / text >
< text text-anchor = "middle" x = "617.5" y = "-391.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > `ScalarTranscript`< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#359->zcash/halo2#247 -->
2022-04-27 15:45:46 -07:00
< g id = "edge20" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#359- > zcash/halo2#247< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M716.16,-417.89C728.11,-418.85 740.33,-419.83 752.34,-420.79" / >
< polygon fill = "#000000" stroke = "#000000" points = "752.1131,-424.2829 762.36,-421.59 752.6703,-417.3051 752.1131,-424.2829" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#249 -->
2022-04-27 15:45:46 -07:00
< g id = "node28" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#249< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node28" > < 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,-707 766.5,-707 766.5,-639 943.5,-639 943.5,-707" / >
< text text-anchor = "middle" x = "855" y = "-691.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#249< / text >
< text text-anchor = "middle" x = "855" y = "-676.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement recursion< / text >
< text text-anchor = "middle" x = "855" y = "-661.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > circuit logic for< / text >
< text text-anchor = "middle" x = "855" y = "-646.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > handling public inputs< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#249->zcash/halo2#250 -->
2022-04-27 15:45:46 -07:00
< g id = "edge21" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#249- > zcash/halo2#250< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M938.51,-638.96C945.14,-636.01 951.7,-633 958,-630 986.74,-616.3 1018,-599.65 1043.7,-585.43" / >
< polygon fill = "#000000" stroke = "#000000" points = "1045.5416,-588.4112 1052.6,-580.51 1042.1549,-582.285 1045.5416,-588.4112" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#380 -->
2022-04-27 15:45:46 -07:00
< g id = "node29" class = "node committed" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#380< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node29" > < a xlink:href = "https://github.com/zcash/halo2/pull/380" xlink:title = "zcash/halo2#380 [book] Fix errors and typos" target = "_blank" >
< polygon fill = "#a6cfff" stroke = "#000000" stroke-width = "2" points = "197,-274.5 29,-274.5 29,-270.5 25,-270.5 25,-266.5 29,-266.5 29,-229.5 25,-229.5 25,-225.5 29,-225.5 29,-221.5 197,-221.5 197,-274.5" / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "29,-270.5 33,-270.5 33,-266.5 29,-266.5 " / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "29,-229.5 33,-229.5 33,-225.5 29,-225.5 " / >
< text text-anchor = "middle" x = "113" y = "-259.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#380< / text >
< text text-anchor = "middle" x = "113" y = "-244.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > [book] Fix errors and< / text >
< text text-anchor = "middle" x = "113" y = "-229.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > typos< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#380->zcash/halo2#426 -->
2022-04-27 15:45:46 -07:00
< g id = "edge22" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#380- > zcash/halo2#426< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M197.25,-227.22C222.32,-221.04 249.97,-214.22 275.77,-207.86" / >
< polygon fill = "#000000" stroke = "#000000" points = "276.6835,-211.2396 285.55,-205.44 275.002,-204.4445 276.6835,-211.2396" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#542 -->
2022-04-27 15:45:46 -07:00
< g id = "node30" class = "node committed" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#542< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node30" > < a xlink:href = "https://github.com/zcash/halo2/pull/542" xlink:title = "zcash/halo2#542 Relicense Halo 2 crates as MIT OR Apache 2.0" target = "_blank" >
< polygon fill = "#a6cfff" stroke = "#000000" stroke-width = "2" points = "206.5,-203.5 19.5,-203.5 19.5,-199.5 15.5,-199.5 15.5,-195.5 19.5,-195.5 19.5,-158.5 15.5,-158.5 15.5,-154.5 19.5,-154.5 19.5,-150.5 206.5,-150.5 206.5,-203.5" / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "19.5,-199.5 23.5,-199.5 23.5,-195.5 19.5,-195.5 " / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "19.5,-158.5 23.5,-158.5 23.5,-154.5 19.5,-154.5 " / >
< text text-anchor = "middle" x = "113" y = "-188.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#542< / text >
< text text-anchor = "middle" x = "113" y = "-173.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Relicense Halo 2 crates< / text >
< text text-anchor = "middle" x = "113" y = "-158.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > as MIT OR Apache 2.0< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#542->zcash/halo2#426 -->
2022-04-27 15:45:46 -07:00
< g id = "edge23" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#542- > zcash/halo2#426< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M206.69,-179.53C229.09,-180.13 253.06,-180.78 275.61,-181.39" / >
< polygon fill = "#000000" stroke = "#000000" points = "275.7713,-184.8954 285.86,-181.66 275.9557,-177.8978 275.7713,-184.8954" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#248 -->
2022-04-27 15:45:46 -07:00
< g id = "node31" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#248< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node31" > < 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,-620.5 753.5,-620.5 753.5,-567.5 956.5,-567.5 956.5,-620.5" / >
< text text-anchor = "middle" x = "855" y = "-605.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#248< / text >
< text text-anchor = "middle" x = "855" y = "-590.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement endoscaling in< / text >
< text text-anchor = "middle" x = "855" y = "-575.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > the circuit< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#248->zcash/halo2#250 -->
2022-04-27 15:45:46 -07:00
< g id = "edge24" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#248- > zcash/halo2#250< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M956.71,-577.33C969.51,-575.23 982.61,-573.08 995.43,-570.98" / >
< polygon fill = "#000000" stroke = "#000000" points = "996.3042,-574.3831 1005.6,-569.3 995.1632,-567.4767 996.3042,-574.3831" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#245 -->
2022-04-27 15:45:46 -07:00
< g id = "node32" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#245< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node32" > < 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,-549 752,-549 752,-481 958,-481 958,-549" / >
< text text-anchor = "middle" x = "855" y = "-533.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#245< / text >
< text text-anchor = "middle" x = "855" y = "-518.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Remove the need to< / text >
< text text-anchor = "middle" x = "855" y = "-503.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 = "-488.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > in verifier< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#245->zcash/halo2#250 -->
2022-04-27 15:45:46 -07:00
< g id = "edge25" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#245- > zcash/halo2#250< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M958.12,-531.48C970.65,-533.48 983.44,-535.53 995.96,-537.53" / >
< polygon fill = "#000000" stroke = "#000000" points = "995.4727,-540.9965 1005.9,-539.12 996.5784,-534.0843 995.4727,-540.9965" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#543 -->
2022-04-27 15:45:46 -07:00
< g id = "node33" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#543< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node33" > < a xlink:href = "https://github.com/zcash/halo2/pull/543" xlink:title = "zcash/halo2#543 Optimize Fft" target = "_blank" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "183,-128 43,-128 43,-124 39,-124 39,-120 43,-120 43,-98 39,-98 39,-94 43,-94 43,-90 183,-90 183,-128" / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "43,-124 47,-124 47,-120 43,-120 " / >
< polyline fill = "none" stroke = "#000000" stroke-width = "2" points = "43,-98 47,-98 47,-94 43,-94 " / >
< text text-anchor = "middle" x = "113" y = "-112.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#543< / text >
< text text-anchor = "middle" x = "113" y = "-97.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Optimize Fft< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
<!-- zcash/halo2#543->zcash/halo2#426 -->
2022-04-27 15:45:46 -07:00
< g id = "edge26" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#543- > zcash/halo2#426< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M180.55,-128.02C195.52,-132.26 211.31,-136.76 226,-141 242.18,-145.67 259.35,-150.66 276.03,-155.54" / >
< polygon fill = "#000000" stroke = "#000000" points = "275.1991,-158.9437 285.78,-158.4 277.1695,-152.2267 275.1991,-158.9437" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#548 -->
2022-04-27 15:45:46 -07:00
< g id = "node34" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#548< / title >
2022-04-27 15:45:46 -07:00
< g id = "a_node34" > < a xlink:href = "https://github.com/zcash/halo2/issues/548" xlink:title = "zcash/halo2#548 Implement performance and memory optimizations for halo2_proofs" target = "_blank" >
2022-04-26 10:55:56 -07:00
< polygon fill = "#c2e0c6" stroke = "#000000" points = "483,-139 262,-139 262,-71 483,-71 483,-139" / >
< text text-anchor = "middle" x = "372.5" y = "-123.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#548< / text >
< text text-anchor = "middle" x = "372.5" y = "-108.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > Implement performance and< / text >
< text text-anchor = "middle" x = "372.5" y = "-93.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > memory optimizations for< / text >
< text text-anchor = "middle" x = "372.5" y = "-78.8" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > halo2_proofs< / text >
< / a >
< / g >
< / g >
<!-- zcash/halo2#543->zcash/halo2#548 -->
2022-04-27 15:45:46 -07:00
< g id = "edge27" class = "edge" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#543- > zcash/halo2#548< / title >
2022-04-27 15:45:46 -07:00
< path fill = "none" stroke = "#000000" d = "M183.22,-107.92C204.37,-107.59 228.21,-107.22 251.66,-106.86" / >
< polygon fill = "#000000" stroke = "#000000" points = "251.7236,-110.3595 261.67,-106.71 251.6186,-103.3603 251.7236,-110.3595" / >
2022-04-26 10:55:56 -07:00
< / g >
<!-- zcash/halo2#312 -->
2022-04-27 15:45:46 -07:00
< g id = "node35" class = "node open" >
2022-04-26 10:55:56 -07:00
< title > zcash/halo2#312< / title >
2022-04-27 15:45:46 -07:00
< 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" >
< polygon fill = "#c2e0c6" stroke = "#000000" stroke-width = "2" points = "210.5,-992.5 15.5,-992.5 15.5,-939.5 210.5,-939.5 210.5,-992.5" / >
< text text-anchor = "middle" x = "113" y = "-977.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > zcash/halo2#312< / text >
< text text-anchor = "middle" x = "113" y = "-962.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > [Book] Document gadget< / text >
< text text-anchor = "middle" x = "113" y = "-947.3" font-family = "Times,serif" font-size = "14.00" fill = "#000000" > API< / text >
2022-04-26 10:55:56 -07:00
< / a >
< / g >
< / g >
< / g >
< / svg >
< / div >
< script >
svgPanZoom('#dag > svg', {
zoomScaleSensitivity: 0.4
});
< / script >
< / body >
< / html >