Expander Rust Version Open Source

We are thrilled to introduce the Expander-RS cryptography library.

https://github.com/PolyhedraZK/Expander-rs

Expander stands as the culmination of a series of groundbreaking academic advancements [1, 2, 3, 4], emerging as the fastest ZK proof system to date, pioneered by Polyhedra Network. By seamlessly integrating the GKR protocol with innovative polynomial commitment schemes, Expander operates with exceptional efficiency, boasting a linear prover time devoid of the computational overhead found in other proof systems.

Expander-RS marks the latest evolution within the Expander lineage. Written entirely in Rust, it ensures exceptional efficiency and correctness. Expander exemplifies our dedication to advancing cryptographic solutions.

We are deeply enthusiastic about our role in driving the burgeoning blockchain ecosystem forward and propelling the adoption and state-of-the-art zero-knowledge proofs. The considerable interest from community projects in Expander underscores our fervor for shaping the next generation of zero-knowledge proof systems.

At its current stage, Expander-RS boasts a high-performance GKR prover, leveraging an “optimized to the teeth” arithmetic backend. Expander-RS delivers performance comparable to its C++ counterpart, proving over 3000 Keccak hashes within 1 second on an M3 MacBook Pro.

Eager to delve deeper into Expander-RS or keen on becoming a contributor? Explore our latest roadmap to join us on this exciting journey.

References

[1] zkBridge: Trustless Cross-chain Bridges Made Practical https://arxiv.org/abs/2210.00264

[2] Orion: Zero Knowledge Proof with Linear Prover Time https://eprint.iacr.org/2022/1010.pdf

[3] Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation https://eprint.iacr.org/2019/317

[4] Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs https://eprint.iacr.org/2023/1271