polyhedra-network.live Open in urlscan Pro
194.163.170.34  Public Scan

Form analysis
0 forms found in the DOM

Text Content

zkBridge
Research
ZK🔥
Product
Developers
Ecosystem
Blog
CLAIM $ZK

X Layerzero
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

View More

20M+
Total Messages
25+
Supported Blockchains
80+
Ecosystem Partners

The latest on Polyhedra Network

Introducing the Bitcoin Messaging Protocol with zkBridge

News

Ethereum Single Slot Finality

News

Secure and Efficient Interoperability on Arbitrum with zkBridge

News

Polyhedra Network is Building a ZK-Powered Cross-Chain Bridge on Polygon

News

Proving full node of Ethereum in ZK

News

Backers

And More

© 2024 Polyhedra Network. All rights reserved

Get involved

Contact us

hello@polyhedra.network