Polyhedra Network

Empowering interoperability and computation via ZK

Bringing interoperability and scalability to Web3 with
cutting-edge zero-knowledge proof systems

Claim $ZK

Introducing zkBridge Protocol

zkBridge uses zkSNARKs to enable a prover to efficiently convince the receiver chain that a certain state transition happened on the sender chain. zkBridge consists of a block header relay network and an updater contract.

The block header relay network retrieves the block headers from the sender chain, generates proofs of the validity of the block headers, and sends the headers along with the proofs to the updater contract (set up on the receiver chain).

The updater contract maintains a light-client state. It automatically adds block headers of the sender chain once the associated proofs are verified, and updates the current main chain of the sender chain.

zkBridge Tech Paper

Use zkBridge

Polyhedra Research

Virgo

Virgo presents a powerful zero-knowledge argument scheme for layered arithmetic circuits without trusted setup based on Libra. It enjoys a fast prover as well as competitive proof size and fast verification time. Experiments show that it only takes 53 seconds to generate a proof for a circuit computing a Merkle tree with 256 leaves, at least an order of magnitude faster than all other succinct zero-knowledge argument schemes.

Virgo ++

Virgo++ generalizes the interactive proof of GKR protocol for layered circuits to arbitrary circuits, while preserving the optimal prover complexity that is strictly linear to the size of the circuits. Not only does our new protocol achieve optimal prover complexity asymptotically, but it is also efficient in practice. Our experiments show that it only takes less than one second to generate the proof for a circuit with more than a million gates, which is 13 times faster than the original interactive proof protocol on the corresponding layered circuit.

Orion

Orion is the latest proof system that utilizes the most recent advancements in the area. The system significantly reduces the proof generation time with practical proof size and verification time. The system is best suited for off-chain applications and zkEVMs.

Libra

Libra is a high performance proof system that achieves high speed by directly making an algorithm breakthrough without doing any trade-off. The system has been implemented, modified and optimized in our company’s core codebase. Our experiments show that the new implementation beats other proof systems by an order of magnitude.

Gemini

Gemini, a hardware-friendly zero-knowledge proof system, will help Polyhedra accelerate proof generation by leveraging specialized hardware. The Gemini prover has multiple configurations with different time and memory tradeoffs, which can be selected depending on the execution environment and the proved statement. The output proof is independent of the chosen configuration. In a space-efficient configuration, the Gemini prover uses a logarithmic amount of memory, enabling super-fast hardware with limited memory.

Marlin

Marlin, a zero-knowledge proof system with constant verifications, will help Polyhedra reduce the proof size and on-chain verification costs. Marlin exploits a novel use of holography, where fast verification is achieved provided the statement being checked is given in encoded form. The result arguments have constant size and can be verified within several milliseconds.

Pianist

Pianist utilizes the power of distributed computing, it can combine hundreds of machines’ computation power into a unified proof generation machine. It offers unlimited horizontal scalability and perfect parallelism. We combined the technology in this system with Libra to get the best of both worlds.

Empower Web3 with ZK

Interoperability

Polyhedra Network implements infrastructures for Web3 interoperability across heterogeneous systems which guarantee strong security without extra trust assumptions.

Scalability

Polyhedra Network designs and develops scalable and efficient zero-knowledge proof protocols for large-scale ZKP systems with distributed computing networks.

Modularity

By applying a modular design, our infrastructures can become building blocks of other systems, and the developers can use our ZK technology without barriers.

Ecosystem