Cysic and Polyhedra Unite to Advance Real-Time ZK Proving with Software-Hardware Integration

Nov 27, 2024

We are thrilled to announce our partnership with Polyhedra, marking a significant step forward in developing a real-time zero-knowledge hardware prover.

This collaboration unites the best of software and hardware, combining multiple acceleration approaches including Polyhedra’s advanced GKR proof backend and Cysic’s specialized ZK ASIC chip. Polyhedra’s efficient software algorithms and Cysic’s high-performance hardware acceleration create a seamless synergy that pushes the boundaries of what’s possible in zero-knowledge proving. It’s a step toward shaping the future of ZK technology, and we couldn’t be more excited to share this journey with you.

Leading the Way: Cysic’s Vision for Hardware-Accelerated ZK Solutions

At Cysic, we’ve dedicated ourselves to advancing hardware solutions tailored to ZK proving. Over the past year, we have demonstrated that computational bottlenecks in ZK proof generation, such as MSM (Multi-Scalar Multiplication) and NTT (Number-Theoretic Transform), can be completed in under one second using FPGA technology.

As architects and judges of ZPrize, a leading hardware competition, we’ve championed the adoption of hardware-accelerated ZK solutions. With the completion of the RTL design for our C1 chip and the synthesis of initial fabrication data, we are ready to deliver next-generation hardware solutions for ZK applications.

Polyhedra’s Innovation in GKR Proofs

Polyhedra has been at the forefront of advancing the GKR protocol, achieving remarkable milestones over the past year. Their Expander proof backend has set a new benchmark for the community by proving over 15,000 Keccak hashes per second using a standard consumer desktop CPU. These achievements underline the potential of their technology to push performance boundaries further.

Building on this success, Polyhedra is also rolling out high-performance CUDA implementations to harness the power of GPUs. This multi-layered optimization strategy underscores their commitment to accelerating ZK proofs for a wide range of applications.

The Partnership’s Focus: Real-Time Proving with Reduced Power Consumption

This partnership is focused on delivering real-time ZK proving by integrating Polyhedra’s Expander backend with Cysic’s C1 chip. The combination promises to offer exceptional proving speeds with significantly lower power consumption compared to GPU-only solutions, unlocking new possibilities for scalability and efficiency in ZK applications.

Our initial tests are centered on BLAKE2 and Keccak hash functions, which are integer-based and conjectured to be post-quantum secure. By accelerating these functions, Cysic and Polyhedra aim to strengthen the post-quantum security of the ZK ecosystem and contribute to broader goals, such as Ethereum’s Verge initiative for scalable and sustainable blockchain infrastructure.

A Step Toward the Future of ZK

This partnership highlights Cysic’s leadership in hardware innovation and our commitment to driving the adoption of ZK technology across industries. By integrating our specialized ASIC solutions with Polyhedra’s advanced proof backend, we are creating an ecosystem that accelerates proving speeds, reduces energy consumption, and meets the evolving needs of the ZK community.

We are proud to be at the forefront of this transformation and look forward to sharing our progress as we push the boundaries of what’s possible in ZK technology.

Stay connected with Cysic for updates on our journey to redefine real-time ZK proving and enable the next generation of secure, scalable, and efficient applications.

Follow us for more updates as we work together to reshape the landscape of ZK proving.

About Cysic

We are accelerating Zero-Knowledge Proofs with Next-Gen Compute. Instant Proofs, Infinite Possibilities.

Cysic is home to the leading real-time ZK Proof Layer, featuring state-of-the-art hardware. Our mission is to hyperscale the ZK revolution by delivering Zero-Knowledge Proofs with unmatched speed, simplicity, and cost-efficiency. Cysic’s innovative product suite includes the Cysic Network, which decentralizes and streamlines proof generation and verification, powered by our ASICs, ZK Air and ZK Pro. ZK Air fuels lightweight, seamless client-side proof generation, while ZK Pro turbocharges high-performance server-side proof generation.

Our team is dedicated to pushing the boundaries of cryptographic efficiency, ensuring that ZK technology is accessible, secure, and ready to meet the demands of tomorrow’s decentralized world.

For more information, welcome to join the Cysic Community!

X🔗 ｜ Discord🔗｜ Telegram🔗 ｜ Galxe🔗