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 (Make sure you're at feature/wip-polyexen branch)
- https://github.com/ed255/zkevm-circuits (Make sure you're at feature/wip-polyexen branch)
- https://github.com/ed255/halo2wrong (Make sure you're at feature/wip-polyexen branch)
- https://github.com/ed255/polyexen-demo
- https://github.com/Dhole/polyexen
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.

You can also see the output directly by downloading it from https://github.com/ed255/polyexen-demo/releases/download/2023-03-15/out.tgz

You might also like...

rust+slint+candle+openchat3.5 demo

Slint Chatbot Demo This is a demo of Rust + Slint + Candle + OpenChat LLM, it looks like this: Do it by yourself Make sure you have downloaded opencha

12 Dec 13, 2023

Demo Repo for BSides 2024 Live Training: "Blue Crab Shells: Getting Started with Offensive Rust Programming"

Blue Crab Shells: Getting Started with Offensive Rust Programming This repository contains example code for the live training provided for BSides San

6 Apr 9, 2024

⚗️ Superfast CLI interface for the conventional commits commit format

resin ⚗️ Superfast CLI interface for the conventional commits commit format ❓ What is resin? resin is a CLI (command-line interface) tool that makes i

23 Oct 12, 2022

⚗️ Superfast CLI interface for the conventional commits commit format

resin ⚗️ Superfast CLI interface for the conventional commits commit format ❓ What is resin? resin is a CLI (command-line interface) tool that makes i

23 Oct 12, 2022

Crate to generate files in ROFF format (Rust)

roffman A crate to generate roff man pages. Usage Add the following to the Cargo.toml: [dependencies] roffman = "0.3" Example use roffman::{Roff, Roff

23 Jul 13, 2022

CLI tool that make it easier to perform multiple lighthouse runs towards a single target and output the result in a plotable format.

Lighthouse Aggregator CLI tool that make it easier to perform multiple lighthouse runs towards a single target and output the result in a "plotable" f