Is local-first de eindspurt aan het bewijzen? In House of ZK Radio #60 stelt onderzoeker Franklin Delehelle van @lagrangedev dat iedereen in staat moet zijn om zelf ZK-bewijzen te genereren - op alledaagse hardware - in plaats van afhankelijk te zijn van dure, gespecialiseerde machines of gecentraliseerde bewijsdiensten. De huidige kosten en latenties van bewijzen duwen teams nog steeds naar uitbestede netwerken; hij wil dat die afhankelijkheid verdwijnt. Volgens Franklin zal vooruitgang niet komen van één wondermiddel, maar van samengestelde winsten over de hele stack: • Wiskunde: slanker arithmetisaties, opzoekingen, recursiestrategieën die beperkingen verkleinen. • Software: betere compilers/VM's, RAM-bewuste ontwerpen, rigoureuze tests en verificatie zodat systemen kunnen verhard en standaardiseren. • Hardware: slimmer gebruik van GPU's nu en, in de loop van de tijd, speciale versnellers. Ondertussen zijn modulaire, bewijs-systeem-onafhankelijke bewijsnetwerken een praktische brug - ze schalen de werklasten vandaag terwijl de kerntechnologie snel genoeg wordt voor echte lokale bewijzen. Bekijk de volledige aflevering voor een uiteenzetting over de huidige versus ideale staat van ZK: