domain | polyhedra.network |
summary | The research focuses on Virgo, an algorithm developed by Virgo authors that generalizes the interactive proof of the GKR protocol to any circuit, not just layered ones. This extension maintains the optimal prover complexity, which is linear with respect to the size of the circuits. Experiments demonstrate that this new method can generate a proof for a circuit containing over a million gates in less than one second, a significant improvement over the original interactive proof protocol's time for equivalent layered circuits, which was 13 times longer. |
title | Polyhedra Network - The Future of Intelligence. |
description | Trust, safety, and data privacy at the core of every decision. |
keywords | proof, system, size, polyhedra, verification, time, zero, knowledge, docs, explorer, faucet, bridge, virgo, circuits, libra, fast, gemini |
upstreams |
|
downstreams |
|
nslookup | A 104.18.0.147, A 104.18.1.147 |
created | 2025-03-25 |
updated | 2025-10-16 |
summarized | 2025-10-17 |
|
|