Expander

Expander: the fastest zero-knowledge proof system.

From zkBridge to zkML, Expander leads next-generation of zk-proving technology. Unlock verifiability, scalability, and privacy of zk with the proof system built for real-time applications.

Leading the future of ZK

Whether you're scaling blockchain transactions, transferring tokens, authenticating logins, or verifying AI inferences, speed matters. Prolonged proof generation is no longer an option. Expander is open-source and continuously evolving, delivering unmatched performance to help developers focus on building fast, efficient zk-powered applications.

What is Expander?

For zero-knowledge applications, the proof system is the cryptographic foundation that ensures the security for the statement being verified. By integrating the GKR protocol with innovative polynomial commitment schemes, Expander operates efficiently on a linear prover time without the excessive computational overhead associated with other proof systems.

Enhanced Performance

Expander boasts the fastest proof generation time in the world, redefining what’s possible for zero-knowledge applications. Verifiability should not come at the expense of the user experience. Tap into the power of ZK without sacrificing performance.

Improved Scalability

Expander was built to handle complex computations efficiently. Whether verifying millions of transactions or billion parameter ML models, it operates efficiently on a linear prover time without the excessive overhead or costs of other proof systems.

Quantum Resistant

Quantum computing is a threat to the security of many cryptographically secured applications. Expander was built to be quantum resistant, giving developers peace-of-mind as we enter a new computational paradigm.

Easy-to-Use

The Expander Compiler Collection gives developers access to the power of Expander with minimal disruption to their development pipeline. Focus on building disruptive applications without having to worry about complex circuits and zk implementations.

Expander benchmarks

Developed for high performance, Expander currently processes up to 15,000 Keccak-f permutations per second on consumer hardware. With constant improvements to the algorithms that power expander and consistent increases in hardware performance, we expect to surpass 100,000 Keccak-f permutations by the end of 2025. View up-to-date performance benchmarks here.

Use Cases

AI and zkML

The future of AI is systems that incorporate trust and accountability by default. Expander and zkPyTorch enable practical AI verification while safeguarding sensitive data and intellectual property.

ZK-Rollups

Zero-knowledge is the endgame for blockchain scalability. Expander obliterates previous constraints imposed by blockspace or gas consumption offering lightning fast zk-scaling.

Privacy

Institutional finance and payment processing require discretion not currently offered by existing blockchain technology. Expander provides privacy while remaining compliant with global regulations.

Interoperability

Hundreds of blockchains were launched over the past year. Moving assets between blockchains should be simple, fast, and secure. Expander already powers the leading zero-knowledge secured interoperability protocol, zkBridge.

Resources