Jak se zaměření obrací na web3, škálovatelnost se stává výzvou pro blockchainové sítě, které jim brání v souladu s tradičními finančními systémy. 

Pokročilé kryptografické techniky, jako jsou důkazy s nulovými znalostmi (ZKP) a škálovací řešení, jako jsou ZK rollupy, se objevují jako klíčová řešení. 

Souhrny Zk zahrnují sdružování tisíců transakcí mimo řetězec, čímž se snižuje zatížení dat hlavního blockchainu a zároveň nabízí vysokou úroveň soukromí a rychlejší dokončení.

Odborníci jako Vitalik Buterin se domnívají, že by se mohl stát ústředním bodem strategií škálovatelnosti blockchainu. Spoluzakladatel Etherea napsal několik článků, které vysvětlují jeho vizi souhrnů pro škálování Etherea, které bylo sužováno přetížením sítě a rostoucími náklady.

Buterin výslovně podporuje nulové znalosti Rollups kvůli jejich potenciálu pro vyšší propustnost a okamžitou finalitu transakcí.

Další odborníci z oboru jako Eli Ben-Sasson ze StarkWare, Alex Gluchowski ze zkSync a Barry Whitehat z Ethereum Foundation také propagují zk-rollupy pro jejich škálovatelnost a výhody zabezpečení.

Jsou ale ZKP posledním kouskem skládačky škálovatelnosti?

Podle Mikea Voronova, vedoucího výzkumu a vývoje ve Fluence, je odpověď o něco složitější. 

V rozhovoru pro crypto.news Voronov uznal výhody tohoto přístupu, jako jsou „silnější bezpečnostní záruky“ a „kratší lhůty pro odstoupení od smlouvy“. Dodal však, že stejně jako jiné metody škálování má „svou vlastní sadu pro a proti“.

V ZKP je proces generování a ověřování důkazů výpočetně náročný kvůli potřebě provádět složité kryptografické algoritmy. Tyto algoritmy zajišťují, že důkazy jsou bezpečné a stručné, což je klíčové pro zachování soukromí transakcí v blockchainových sítích.

"Nelze obecně říci, že ZKP jsou konečným řešením v každé možné situaci […] nemluvě o vyšší složitosti spojené s výzkumem a implementací protokolů ZK."

Voronov poukázal na to, že jiné přístupy, konkrétně důkazy o podvodu, nabízejí srovnatelnou rovnováhu mezi výkonem a bezpečností. 

Důkazy o podvodech v Optimistic Rollups umožňují uživatelům ověřovat mimořetězové transakce tím, že podezřívají ty podezřelé. Po zpochybnění je neplatnost těchto transakcí stanovena na hlavním řetězci, což zajišťuje bezpečnost prostřednictvím následného ověření.

Tento přístup je méně náročný na zdroje ve srovnání se ZKP, protože zpracovává výpočetní kontroly pouze tehdy, když je transakce specificky zpochybněna, spíše než proaktivní ověřování každé transakce.

Dodal však, že síla ZKP spočívá v jejich kryptografických zárukách, což je něco, co Optimistic Rollups postrádají kvůli jejich spoléhání se na důkazy o podvodech.

„Ve srovnání s jinými řešeními škálovatelnosti, jako jsou optimistické souhrny, sharding, zabezpečení proti podvodům a státní kanály, řešení založená na ZKP obvykle poskytují mnohem silnější kryptografické záruky a představují nižší ekonomickou a infrastrukturní zátěž v řetězci.“

Také by se vám mohlo líbit: Starknet pro škálování bitcoinů bez forkování nebo vytváření nového tokenu, říká StarkWare

Francisco Leal, technický ředitel Talent Protocol, souhlasil a dodal, že úspěch nedávných projektů zaměřených na ZK, jako je zkSync a Starknet, naznačuje, že „technologie ZK je již vysoce vyspělá a slibná“.

„Různé systémy mají různé potřeby, takže je nepravděpodobné, aby jediné řešení univerzálně řešilo všechny případy použití. Diverzita v škálovacích řešeních tedy pravděpodobně přetrvá a bude odrážet různé požadavky různých blockchainových aplikací,“ řekl Leal pro crypto.news.

Optimistické rollupy jsou podle ČTÚ aktuálně největší konkurencí pro rollupy ZK. Upozornil, že důkazy s nulovými znalostmi (ZKP), konkrétně zk-SNARK a zk-STARK, jsou v nevýhodě kvůli své výpočetní náročnosti a rostoucím nárokům na generování a ověřování důkazů.

Nicméně s pokrokem ve výpočetní síle Leal očekává, že se to brzy „sníží“.

Nadšení investorů pro technologie s nulovými znalostmi prudce vzrostlo, což vedlo k investicím v řádu milionů dolarů. Mezi klíčové příspěvky patří StarkWare, který zajistil 100 milionů dolarů při ocenění 6 miliard dolarů, a zkSync, který získal 200 milionů dolarů. 

Mezitím Polygon Labs výrazně zvýšil svůj závazek k iniciativám s nulovými znalostmi a vložil do tohoto sektoru 1 miliardu dolarů.

Na otázku, zda by ZK rollupy mohly nebo nemohly pomoci blockchainovým sítím škálovat na úroveň, která by se vyrovnala nebo překonala jejich tradiční protějšky, oba vedoucí zůstali optimističtí.

Voronov zdůraznil, že takový čin by vyžadoval „úplnou standardizaci protokolů ZKP (Zero-Knowledge Proof) a souvisejících nástrojů. Mezitím Leal zdůraznil, že „efektivita generování a ověřování důkazů“ v současnosti působí jako „úzké hrdlo“ a potřebuje zlepšení.

Přečtěte si více: Polygon testuje souhrny ZK před integrací do mainnetu