search

NethermindEth / cairo-plonk-verifier

Plonk Verifier in Cairo
Apache License 2.0
0 stars 1 forks source link

Optimize Circuit Design for High-Level Field (Fq6, Fq12) Operations #16

Closed twliu-dorian closed 1 week ago

twliu-dorian commented 2 weeks ago

Ensure that circuit implementations are designed as high-level as possible. Higher-degree field operations should not rely on lower-field implementations unless the computational complexity becomes impractical.

The implementation could be done by just copying and pasting the lower levels (Fq1, Fq2) into high-level fields.

memarin commented 2 weeks ago

Need to merge https://github.com/NethermindEth/cairo-plonk-verifier/pull/14 before this is merged

memarin commented 1 week ago

Already included in issue #6