💻 computer science

zkPHIRE: A Programmable Accelerator for ZKPs over HIgh-degRee, Expressive Gates

Het artikel presenteert zkPHIRE, een nieuwe programmeerbare hardwareversneller die zowel CPU's als state-of-the-art oplossingen aanzienlijk overtreft door complexe, hoogwaardige poorten efficiënt af te handelen via het SumCheck-protocol om schaalbare en snelle Zero-Knowledge Proofs voor het HyperPlonk-systeem mogelijk te maken.

Oorspronkelijke auteurs: Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Siddharth Garg, Brandon Reagen

Gepubliceerd 2026-01-27

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Siddharth Garg, Brandon Reagen

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De Grote Visie: De "Tovertruc" Die Te Lang Duurt

Stel je voor dat je aan een vriend wilt bewijzen dat je een geheim wachtwoord weet, zonder het wachtwoord daadwerkelijk aan hem te vertellen. In de wereld van de cryptografie wordt dit een Zero-Knowledge Proof (ZKP) genoemd. Het is alsof je iemand laat zien dat je een sleutel van een huis hebt, zonder de sleutel te overhandigen of de gebruiker de sleutel te laten zien.

Deze technologie is geweldig voor privacy (zoals bewijzen dat je ouder bent dan 21 zonder je ID te tonen) en beveiliging (zoals het verifiëren van blockchain-transacties). Er is echter een groot probleem: het is ontzettend traag.

Het genereren van een van deze bewijzen op een standaardcomputer (CPU) kan minuten of zelfs uren duren. Het is alsof je probeert een complexe taart met de hand te bakken wanneer je binnen vijf minuten een banket moet serveren. Het paper introduceert een nieuwe machine, zkPHIRE, ontworpen om een "superkok" te zijn die deze bewijzen in seconden kan bakken.

Het Probleem: De "One-Size-Fits-All" Valstrik

Om de innovatie te begrijpen, moeten we kijken naar hoe deze bewijzen worden opgebouwd.

De Oude Manier (Vanilla Gates): Denk aan een standaard computerprocessor als een fabriek die alleen twee dingen weet te doen: Optellen en Vermenigvuldigen. Om een complex bewijs te bouwen, moet je elke stap van de wiskunde afbreken in kleine optellingen en vermenigvuldigingen. Het is alsof je een wolkenkrabber probeert te bouwen met alleen maar individuele bakstenen. Het werkt wel, maar je hebt miljoenen bakstenen nodig en de constructie duurt eeuwig.
De Nieuwe Manier (High-Degree Gates): Moderne protocollen (zoals HyperPlonk) maken gebruik van "High-Degree Gates". Dit zijn als prefab wandsecties. In plaats van één voor één een baksteen te leggen, kun je in één keer een hele wand plaatsen die al een raam, een deur en een kozijn bevat. Dit vermindert het aantal stappen drastisch.

De Catch: Hoewel deze "prefab wanden" sneller te bouwen zijn, hebben ze vreemde vormen. Een standaardfabriek (of een eerdere gespecialiseerde chip genaamd zkSpeed) was gebouwd om alleen eenvoudige bakstenen te verwerken. Het kon de complexe, aangepaste vormen van de nieuwe wanden niet aan. Om de nieuwe wanden te gebruiken, moest je ofwel terugkeren naar de trage, handmatige methode, of een aangepaste fabriek bouwen voor elke afzonderlijke soort wand, wat te duur en te inflexibel is.

De Oplossing: De "Programmeerbare" Fabriek (zkPHIRE)

De auteurs hebben zkPHIRE gebouwd, een nieuwe hardware-versneller die fungeert als een programmeerbare, vormveranderende fabriek.

Het is Flexibel: In tegenstelling tot de oude fabrieken die vastgelegd waren voor specifieke vormen, kan zkPHIRE on the fly worden geprogrammeerd om elke vorm van "wand" (polynomial gate) aan te kunnen, of het nu een simpele baksteen is of een complexe, hoog-graads curve.
Het is Snel: Het handelt deze complexe vormen niet alleen af, maar doet dat ook ongelooflijk efficiënt.
- Snelheid: Het is 1.486 keer sneller dan een standaard computer (CPU).
- Vergelijking: Het is ook 11,87 keer sneller dan de vorige beste gespecialiseerde chip (zkSpeed), ook al was zkSpeed gebouwd voor een simpelere, minder flexibele taak.
- Schaalbaarheid: Het kan enorme problemen aan (tot $2^{30}$ constraints) terwijl het uiteindelijke "bewijs" (het bonnetje van de tovertruc) klein blijft (slechts 4–5 KB).

Hoe het Werkt: De "Slimme Assemblagelijn"

Het paper beschrijft de interne werking van zkPHIRE met een paar slimme trucs:

De "Scratchpad" Strategie: Stel je een chef voor die al zijn ingrediënten op het aanrecht heeft staan (on-chip geheugen). Voor eenvoudige recepten is dit geweldig. Maar voor enorme banketten wordt het aanrecht te vol en verspilt de chef tijd door steeds naar spullen te reiken. zkPHIRE gebruikt een slimmer systeem: het houdt een kleine, georganiseerde "voorbereidingsplek" (scratchpad) aan voor de ingrediënten die het nu nodig heeft, en haalt de rest uit de voorraadkast (off-chip geheugen) net-op-tijd binnen. Dit bespaart ruimte en houdt de assemblagelijn in beweging.
Het "Bos" van Bomen: Om de wiskunde te doen, gebruikt de chip een "Multifunction Forest". Stel je een team van arbeiders voor die emmers water in een lijn doorgeven. In plaats van één arbeider die alles doet, geven zij water door via een reeks bomen (datastructuren) die waarden tegelijkertijd vermenigvuldigen en optellen. Hierdoor kan de chip veel berekeningen tegelijk uitvoeren zonder in de knoop te raken.
Wachten Verbergen: Soms moet de machine wachten tot data uit de voorraadkast is gearriveerd. zkPHIRE is slim genoeg om aan een ander deel van het bewijs te werken terwijl het wacht, zodat de machine nooit stilstaat.

De Resultaten: Waarom het Er Toe Doet

Het paper heeft zkPHIRE getest in diverse real-world scenario's, waaronder:

ZCash: Een privacy-gerichte cryptocurrency.
Rollups: Methoden om blockchain-transacties te versnellen.
zkEVM: Een manier om complexe smart contracts privaat uit te voeren.

De Conclusie:

Snelheid: Het verandert een proces dat uren duurt op een normale computer in een proces dat milliseconden duurt.
Efficiëntie: Het bereikt dit met minder fysieke ruimte (silicon area) dan eerdere pogingen.
Veelzijdigheid: Het bewijst dat je niet hoeft te kiezen tussen "snel maar rigide" en "traag maar flexibel". zkPHIRE is beide.

Samenvatting

Beschouw zkPHIRE als het verschil tussen een handbediende potloodsliepener en een hoge-snelheid, programmeerbare industriële slijpmachine.

De oude manier (CPU) was traag en handmatig.
De vorige gespecialiseerde manier (zkSpeed) was snel, maar kon alleen standaard potloden slijpen.
zkPHIRE is snel, kan elke vorm van potlood aan (zelfs de vreemde, aangepaste exemplaren) en doet dit zo efficiënt dat het privacy-beschermende technologie praktisch maakt voor de echte wereld.

Het paper beweert dat dit de eerste keer is dat een dergelijke flexibele, hogesnelheidsmachine is gebouwd die specifiek gericht is op deze complexe "High-Degree" bewijzen, wat de weg vrijmaakt voor snellere, meer private en veiligere digitale systemen.

Technische Samenvatting: zkPHIRE

Probleemstelling

Zero-Knowledge Proofs (ZKP's) zijn cruciaal voor privacy-bewuste berekeningen in domeinen zoals blockchain, machine learning en elektronisch stemmen. De brede adoptie ervan wordt echter belemmerd door de uitzonderlijk hoge computationele overhead die vereist is voor de generatie van bewijzen, wat minuten tot uren op een CPU kan duren.

Hoewel hardwareversnellers (ASIC's) en GPU-implementaties zijn voorgesteld om deze kosten te mitigeren, kampen zij met aanzienlijke beperkingen wat betreft flexibiliteit en schaalbaarheid:

Rigide architecturen: Eerdere versnellers, zoals zkSpeed, vertrouwen vaak op fixed-function units ontworpen voor specifieke "Vanilla" gate-sets (bijv. standaard optellingen en vermenigvuldigingen). Ze hebben moeite om efficiënt om te gaan met de complexe, hoog-graadige en aangepaste gates die steeds vaker worden gebruikt in moderne protocollen (bijv. Halo2, HyperPlonk's Jellyfish gates).
Schaalbaarheidsproblemen: Fixed-function ontwerpen vereisen vaak grote on-chip scratchpads om tussenliggende data (Multi-linear Extension of MLE-tabellen) op te slaan. Naarmate de probleemomvang schaalt (bijv. voorbij $2^{24}$ gates), wordt de geheugenvoetafdruk onpraktisch, wat de toepasbaarheid van de versneller voor grootschalige ZKP-workloads beperkt.
SumCheck Complexiteit: Moderne ZKP-protocollen maken gebruik van het SumCheck-protocol om rekenkundige circuits te verifiëren. Hoewel SumCheck efficiënt is voor eenvoudige gates, wordt SumCheck computationeel onregelmatig en data-intensief wanneer het wordt toegepast op hoog-graadige, expressieve gates. De datastroom varieert aanzienlijk op basis van de polynomiale structuur, waardoor fixed hardware-ontwerpen suboptimaal zijn.

Methodologie

De auteurs stellen zkPHIRE voor, een programmeerbare, full-system versneller die ontworig is om efficiënt willekeurige custom gates af te handelen via het SumCheck-protocol. Het systeem is gebouwd rond een nieuwe, programmeerbare SumCheck-unit geïntegreerd in een groter framework dat het HyperPlonk-protocol ondersteunt.

1. Programmeerbare SumCheck Unit

De kerninnovatie is een programmeerbare datapad die de balans zoekt tussen resourceallocatie en directe data-hergebruik, waardoor de rigiditeit van fixed-function units wordt vermeden.

Architectuur: De unit bestaat uit Processing Elements (PE's) die MLE Update-units, Extension Engines (EE's) en Product Lanes (PL's) bevatten.
Datastroom: In plaats van alle MLE-entries simultaan te streamen, verwerkt de unit één polynomiale term tegelijk. Het haalt tiles van data uit het off-chip geheugen naar lokale, gebankte scratchpad buffers.
Scheduling: Een graph-gebaseerde scheduler deelt polynomiale constraints op om MLE-tabellen te mappen naar EE's en PL's. Het maakt gebruik van een accumulatie-gebaseerde schedule om de vereisten voor tijdelijke opslag te minimaliseren in vergelijking met gebalanceerde boom-benaderingen, wat efficiënte afhandeling mogelijk maakt van herhalende polynomialen binnen een term.
Flexibiliteit: De unit ondersteunt een willekeurig aantal termen en graden. Het past zich dynamisch aan verschillende polynomiale structuren aan door de mapping van MLE's naar hardwarebronnen te herconfigureren.
ZeroCheck Integratie: Het ontwerp integreert de constructie van hulp-random polynomialen (ZeroChecks) direct in de SumCheck-datapath, waardoor aparte precomputatiestappen worden geëlimineerd en de geheugenoverhead wordt verminderd.

2. Full-System Architectuur (zkPHIRE)

De SumCheck-unit is ingebed in een groter versnelleraamwerk voor HyperPlonk, dat het volgende bevat:

Multifunction Forest: Een set boom-gebaseerde units die hergebruikt worden voor MLE-evaluatie, productberekeningen en het bouwen van MLE's. Dit gedeelde ontwerp verbetert de resource-utilisatie en vermindert de oppervlakte vergeleken met dedicated units.
MSM (Multi-Scalar Multiplication): Een dedicated unit voor elliptische curve operaties, geoptimaliseerd voor de specifieke witness-aantallen van HyperPlonk (inclusclusief sparse en dense MSMs).
Permutation Quotient Generator: Een gepipeleste unit voor het construeren van permutatie-argumenten, met een geoptimaliseerde modulaire inverse unit die de oppervlakte met 4,2× vermindert ten opzichte van eerder werk.
Geheugenorganisatie: Het systeem maakt gebruik van kleinere, tile-gebaseerde scratchpads in plaats van massieve globale SRAM's. Dit vermindert het verbruik van oppervlakte en laat meer die-ruimte toe voor computationele units, waarbij een iets hogere off-chip geheugenlatentie wordt geaccepteerd in ruil voor betere schaalbaarheid.
Masking Optimalisatie: De architectuur overlapt de latentie van Gate Identity checks (ZeroChecks) met MSM-berekeningen tijdens de Wire Identity fase, waardoor latentie effectief wordt verborgen.

3. Evaluatie Methodologie

De auteurs evalueerden het ontwerp met behulp van TSMC 22nm technologie (geschaald naar 7nm voor vergelijking) met een 1GHz kloksnelheid.

Benchmarks: Ze testten een divers scala aan polynomiale constraints, waaronder die van Spartan, Halo2 (elliptische curve operaties) en HyperPlonk (Vanilla en Jellyfish gates).
Vergelijkingen: Prestaties werden gebenchmarkt tegen een 32-thread CPU (AMD EPYC 7502), een NVIDIA A100 GPU, en de voorgaande ASIC state-of-the-art, zkSpeed (en een verbeterde versie, zkSpeed+).
Design Space Exploration: De auteurs onderzochten parameters (PE's, EE's, PL's, SRAM grootte, bandbreedte) om Pareto-optimale ontwerpen te identificeren over verschillende bandbreedte-scenario's (van DDR tot HBM3).

Belangrijkste Bijdragen

Programmeerbare SumCheck Versneller: De eerste hardware unit die in staat is willekeurige hoog-graadige multilineaire polynomialen te ondersteunen, wat compatibiliteit mogelijk maakt met de aangepaste gate-types die in moderne ZKP-protocollen worden gevonden.
Evaluatie van Hoog-Graadige Gates: De eerste hardware-evaluatie die aantoont dat hoog-graadige gates significante prestatie- en schaalbaarheidsvoordelen bieden, met name bij het reduceren van het totale aantal gates van een circuit.
Geoptimaliseerde Hardware Primitives:
- Een verenigde Multifunction Forest die 15,2% oppervlakte bespaart door boom-units te hergebruiken over verschillende protocolstappen.
- Een geoptimaliseerde Modulaire Inverse unit die een 4,2× reductie in oppervlakte bereikt ten opzichte van eerder werk, terwijl de throughput behouden blijft.
Full-System Versneller (zkPHIRE): Een volledige versneller voor het HyperPlonk-protocol die succincte bewijzen ondersteunt voor probleemomvang tot $2^{30}$ constraints.

Resultaten

Speedup over CPU: zkPHIRE bereikt een 1486× geometrisch gemiddelde speedup ten opzichte van een 32-thread CPU baseline.
Speedup over Vorige ASICs: Bij iso-oppervlakte (vergelijking tussen een 294 mm² design versus een 366 mm² zkSpeed+ design), bereikt zkPHIRE een 11,87× geometrische gemiddelde speedup over zkSpeed+.
Speedup over GPU: Wanneer vergeleken met een NVIDIA A100 GPU die de ICICLE library draait, bereikt zkPHIRE ongeveer 70× speedup voor SumCheck operaties.
Schaalbaarheid: Het systeem ondersteunt probleemomvang tot $2^{30}$ nominale constraints terwijl het kleine bewijsmaten (4–5 KB) behoudt.
Jellyfish Gates: Het gebruik van Jellyfish gates (die het aantal gates met wel 32× kunnen reduceren) in combinatie met de programmeerbaarheid van zkPHIRE levert verdere prestatiewinst op. Bijvoorbeeld, een 4× reductie in gate count via Jellyfish gates stelt zkPHIRE in staat om Vanilla gate implementaties op zowel zkSpeed+ als zkPHIRE te overtreffen.
Resource Efficiëntie: Het ontwerp bereikt deze resultaten met een totale oppervlakte van ongeveer 294 mm² (bij 7nm schaling) en een stroomverbruik van 202,28 W.

Betekenis

Het artikel beweert dat zkPHIRE een belangrijke stap voorwaarts vertegenwoordigt in ZKP hardware-acceleratie door de trade-off tussen prestaties en flexibiliteit aan te pakken. In tegen tegenstelling tot eerdere versnellers die beperkt waren tot specifieke gate-sets, stelt de programmeerbare SumCheck-unit van zkPHIRE het systeem in staat om zich aan te passen aan het evoluerende landschap van ZKP-protocollen, die steeds vaker vertrouwen op complexe, hoog-graadige gates voor efficiëntie.

De auteurs benadrukken dat hun werk overtuigende prestaties demonstreert terwijl het schaalt naar grote probleemomvang ( $2^{30}$ ) en compacte bewijsmaten behoudt. Door SumCheck te abstraheren naar gemeenschappelijke primitives (updates, extensions, products) en parallellisme over tabellen en evaluatieproducten uit te buiten, biedt zkPHIRE een schaalbare fundering voor toekomstige ZKP-toepassingen, waaronder private leeftijdsverificatie, betrouwbare AI en blockchain-schaalbaarheid. De resultaten suggereren dat programmeerbare architecturen essentieel zijn voor het ondersteunen van de volgende generatie expressieve ZKP-protocollen zonder de prestatiewinst van ASIC's op te offeren.