The Future of Intelligence

Trust, safety, and privacy at the core of every decision.

EXPchain Expander

Products

Applications from our world-leading research.

zkBridge Proof Cloud Expander

Developers

Tools for building the future.

EXPchain Docs EXPchain Github Explorer Faucet Bridge

EXPchain

Blockchain designed for AI.

Faucet Bridge Explorer

ZKJ

Token for gas, liquidity, community, and governance.

Tokenomics Stake Governance

Introducing EXPchain
The everything chain for AI

The global AI market is projected to contribute up to $15.7 trillion to the economy by 2030, with businesses
increasingly relying on AI and automation to drive growth.
EXPchain is the responsible foundation layer for AI applications.

EXPchain is focused on three main outputs:

Verifiability - proving LLMs are responsible.
Privacy - keeping user data safe.
Performance - enabling speed and scalability for mass adoption.

Polyhedra Research

MissileProof

MissileProof is a succinct range proof for vectors that achieves constant proof size and verification time. Polyhedra can leverage MissileProof for efficient anonymous payments and asset auditing. The core components of MissileProof are a novel sumcheck and zerocheck for bivariate polynomials, resulting in a proof size of less than 1KB.

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.

Polyhedra Network: The Complete Solution

TheCompleteSolution

Ecosystem

ecosystem-0

ecosystem-1

ecosystem-2

ecosystem-3

ecosystem-4

ecosystem-5

ecosystem-6

ecosystem-7

ecosystem-8

ecosystem-9

ecosystem-10

ecosystem-11

ecosystem-12

ecosystem-13

ecosystem-14

ecosystem-15

ecosystem-16

ecosystem-17

ecosystem-18

ecosystem-19

ecosystem-20

ecosystem-21

ecosystem-22

ecosystem-23

ecosystem-0

ecosystem-1

ecosystem-2

ecosystem-3

ecosystem-4

ecosystem-5

ecosystem-6

ecosystem-7

ecosystem-8

ecosystem-9

ecosystem-10

ecosystem-11

ecosystem-12

ecosystem-13

ecosystem-14

ecosystem-15

ecosystem-16

ecosystem-17

ecosystem-18

ecosystem-19

ecosystem-20

ecosystem-21

ecosystem-22

ecosystem-23

ecosystem-0

ecosystem-1

ecosystem-2

ecosystem-3

ecosystem-4

ecosystem-5

ecosystem-6

ecosystem-7

ecosystem-8

ecosystem-9

ecosystem-10

ecosystem-11

ecosystem-12

ecosystem-13

ecosystem-14

ecosystem-15

ecosystem-16

ecosystem-17

ecosystem-18

ecosystem-19

ecosystem-20

ecosystem-21

ecosystem-22

ecosystem-23

ecosystem-0

ecosystem-1

ecosystem-2

ecosystem-3

ecosystem-4

ecosystem-5

ecosystem-6

ecosystem-7

ecosystem-8

ecosystem-9

ecosystem-10

ecosystem-11

ecosystem-12

ecosystem-13

ecosystem-14

ecosystem-15

ecosystem-16

ecosystem-17

ecosystem-18

ecosystem-19

ecosystem-20

ecosystem-21

ecosystem-22

ecosystem-23

Total Messages

Supported Blockchains

Ecosystem Partners

Algorithms

Papers

Citations

Backers

binance

polychain

okx

animcabrands

dao5

hashkey

uob

dhvc

abcde

forsight

kucoin

sparkle

ngc

rr2

ARCANE

signum

tpcclub

Products

zkBridge

Proof Cloud

Expander

Bridge

Faucet

Tokenomics

Stake

Governance

zkBridge Tech Paper

Zero-knowledge Proof

Featured Videos

EXPchain

Docs

Github

Explorer

Faucet

Bridge

zkBridge

Docs

zkBridgeScan

zkLightClientScan

Proof Cloud

Proof Scan

Expander

Docs

Github

© 2024 Polyhedra Network.Press Kit