Graphs and Visualisations

[HarryR]

Hi,

I made a graph representation of how intermediate and proving systems are interconnected, it's not the best but it's a good starting point.

See: https://harryr.github.io/zklangs/ and https://github.com/HarryR/zklangs

It uses Graphviz to layout the graph.
Then it converts it to SVG. This lets you put links into the graph, using the href and target attributes.

See: https://github.com/HarryR/zklangs/blob/master/hll-graph.dot

I add the following attributes to a node in the .dot file to make it a link to an id reference on the same page.

, href="./#jsnark", target="_top"

Then I embed the generated .svg file into the markdown using:

<object width="100%" data="hll-graph.svg" type="image/svg+xml"></object>

Note, you have to use the <object... syntax, otherwise the links don't work.

It would be really awesome to have a graph style visualisation for some things on zkp.science, to show how they're interconnected. But it's also a pain to maintain the .dot file especially if you have multiple views of it (like, having a table of data, and a graph of some facet of the data)

[gluk64]

@HarryR this is so cool! Please create a PR for the README, I'll merge it.