[Track Progress] polyexen-demo

[flyingnobita]

This issue is to track the progress on running polyexen-demo over Summa.

polyexen-demo currently has a few interesting functions:

demo_analysis()

This can be use to print out cells and expressions for every polynomial expressions. With the large number of cells and expressions output, a tool that can analyze the output to look for anomalies or incorrect expressions can be useful.

demo_get_plaf()

This serialize the plaf from the circuit in csv (fixed columns) and toml (rest of circuit).

interactive binary

• cargo run -bin interactive
• allow to set witness values interactively and infer other witness values automatically with an integrated polynomial server
• not ready in author's given commit (but probably in later commits that has different dependencies)