Plaf demo

This is a demo of Plaf: Plonkish Arithmetiation Format on the zkevm-circuits

Steps to run this:

1. Clone these three repositories in the same folder:
- https://github.com/ed255/halo2 (Checkout 9d5c76e606c5bebb61c4cc22d3bf065b364f971d)
- https://github.com/ed255/zkevm-circuits (Checkout 344bbcd6a19314dc500dd2aa10f44ebdce723aec)
- https://github.com/ed255/halo2wrong (Checkout 0823e711de5c1b79a906f7aa1dd3b8686b6501ca)
- https://github.com/ed255/polyexen-demo (Checkout 17f5c37125cb46f53e44a14e1789afbaa485845c)
- https://github.com/Dhole/polyexen (Checkout fc747aab032125fba2f8415405fe84fc43bd9e61)
1. Enter the polyexen-demo directory and run it:
- git checkout 2023-03-15
- mkdir -p out
- cargo run
1. Build sqlite databases for fixed columns assignations:
- ./build_sqlite.sh

You can find the circuit documents in demo/out

With extension .toml is a circuit description that contains:
- Circuit info (number of rows, challenges used)
- Columns used (public is halo2's instance, witness is halo2's advice)
- arithmetic constraints
- lookups
- copy constraints
With extension _fixed.csv is a CSV of the fixed columns assignment
For convenience, with extension _fixed.sqlite is sqlite databases wiht the fixed columns assignents. They can be browsed with sqlitebrowser.

Provide feedback