New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Design narrow poseidon2 chip #1135

Open

jonathanpwang opened this issue Dec 26, 2024 · 0 comments

Assignees

Labels

aggregation Spec

Contributor

jonathanpwang commented Dec 26, 2024 •

edited

Loading

Design spec should consider both:

narrow poseidon2 chip where more than 1 row is used per permutation in plonky3 setting. This would be used by the Root STARK-to-STARK verifier. Narrower chip means the halo2 static verifier will be cheaper.
narrow poseidon2 chip where more than 1 row is used per permutation in halo2 custom gate setting

The difference is: how many rotations are allowed and how lookups are done.

Precursor to #1134

jonathanpwang added the aggregation label

jonathanpwang assigned lispczz

jonathanpwang mentioned this issue

Outer Recursion Circuit: halo2 custom gate for poseidon2 #1134

Open

linear bot added the Spec label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment