LayerZero-Labs / akita

A high-performance, lattice-based polynomial commitment scheme with transparent setup and post-quantum security.

symbolica-dev / symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

arkworks-rs / algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Plonky3 / Plonky3

A toolkit for polynomial IOPs (PIOPs)