Ukazuje se lokálně na prvním místě koncovka? V House of ZK Radio #60 @lagrangedev výzkumník Franklin Delehelle trvá na tom, že každý by měl být schopen generovat ZK důkazy sám - na každodenním hardwaru - spíše než se spoléhat na drahé, specializované stroje nebo centralizované zkušební služby. Dnešní náklady na dokazování a latence stále tlačí týmy k outsourcovaným sítím; Chce, aby tato závislost zmizela. Podle Franklina pokrok nepřijde z jedné stříbrné kulky, ale ze složených zisků napříč zásobníkem: • Matematika: štíhlejší aritmetizace, vyhledávání, rekurzivní strategie, které zmenšují omezení. • Software: lepší kompilátory/virtuální počítače, návrhy s ohledem na RAM, přísné testování a ověřování, aby systémy mohly být posíleny a standardizovány. • Hardware: nyní chytřejší využití GPU a postupem času i vyhrazené akcelerátory. Modulární dokazovací sítě nezávislé na důkazech jsou praktickým mostem - škálují pracovní zátěž dnes, zatímco základní technologie je dostatečně rychlá pro skutečné lokální prokazování. Podívejte se na celou epizodu s výkladem o současném vs ideálním stavu ZK: