V případě, že jste to propásli, Starkware, společnost historicky aktivní v ekosystému Ethereum, včera oznámila, že plánuje začít vynakládat značné prostředky na nové příležitosti pro škálování bitcoinů, které se objevily v posledních měsících.

Skupina, která je průkopníkem systémů s nulovými znalostmi, odhalila plány na využití OP_CAT za účelem zavedení jejich technologie STARK do bitcoinu. Návrh soft forku by mohl umožnit nativní ověřování důkazů s nulovými znalostmi, čímž by se vývojářům otevřel zcela nový prostor pro návrh.

Oznámení je mnohými považováno za významný technický milník pro protokol Bitcoin. Zde jsou mé nevyžádané 2 centy na tuto záležitost.

Blíží se dlouhá doba

Jak ve svém oznámení zdůrazňuje generální ředitel společnosti Starkware Eli Ben-Sasson, myšlenka použití nulových znalostí ke zlepšení bitcoinu není nic nového. Vývojáři diskutují o aplikacích této technologie již více než deset let. Sám Ben-Sasson představil velmi rané koncepty této myšlenky na bitcoinové konferenci v roce 2013 v San Jose. V roce 2017 vývojáři Blockstream Gregory Maxwell, Pieter Wuille a Andrew Poelstra společně publikovali výzkumnou práci o použití Bulletproof, protokolu s nulovými znalostmi pro podporu důvěrných transakcí s bitcoiny.

V posledních letech podnítil tvůrce BitVM Robin Linus práci na ZeroSync, kompresní technice používané k vytvoření důkazů o blockchainu bitcoinu s nulovými znalostmi. Po úplné implementaci by to výrazně snížilo požadavky na zdroje spojené s provozováním bitcoinového uzlu. V roce 2022 nadace pro lidská práva pověřila současný výzkum Alpen Labs Johna Lighta, aby vypracoval úplnou zprávu o potenciálu nahromadění platnosti u bitcoinů s použitím důkazů s nulovými znalostmi.

Důkazy s nulovými znalostmi mají širokou škálu aplikací a nejsme zdaleka u konce, abychom o nich slyšeli. Mnozí očekávají, že tato technologie bude definovat tuto další éru výpočtů, a bylo by těžké proti nim vsadit. Je téměř zaručeno, že bitcoinové aplikace vyšší úrovně je začnou brzy využívat a můžeme jen očekávat, že tento trend poroste.

je ještě brzy

Nejvíce technologických výdobytků kolem kryptografie s nulovými znalostmi bylo dosaženo za posledních deset let. Obor se rychle vyvíjí, protože se o aplikace této technologie zajímá stále více kryptografů. Výzkumníci byli v něčem jako závody ve zbrojení, aby zjistili, kdo by mohl oholit nejvíce času a zdrojů potřebných k vytvoření a ověření těchto důkazů. V současnosti zůstává většina systémů důkazů výpočetně nákladná. Různé protokoly vytvářejí různé kompromisy, ale vylepšení byla zaměřena na ověřování, aby průměrný uživatel mohl rychle a efektivně ověřovat důkazy. Zatímco tempo inovací bylo neúprosné, generování těchto důkazů ve velkém bude pravděpodobně vyžadovat specializovaný hardware a rozsáhlé operace.

Navzdory masivním odemknutím a významným úspěchům v této oblasti stojí za zmínku, že dekáda není v kryptografických kruzích výjimečně dlouhá. Mnoho z nejnovějších návrhů využívá techniky, které jsou považovány za technicky správné, ale nejsou tak otužilé a testované jako bitcoiny. V roce 2018 byla objevena skrytá inflační chyba v implementaci ZK-SNARK Zcash, která mohla útočníkovi umožnit padělání měny. Upřímně řečeno, konstrukce STARK navržená společností Starkware je považována za výrazně bezpečnější, protože je transparentnější.
Je těžké se nadchnout pro rollupy

Je těžké se nadchnout pro rollupy

Jednou z motivací pro tento projekt je umožnit zk-rollups na bitcoinech. Pro ty, kteří nejsou obeznámeni, jsou rollupy velmi propagované produkty, které využívají off-chain sekvenování ke škálování aplikací a propustnosti. Zk-rollups, neboli souhrny platnosti, navrhují vytvořit důkazy o záznamech systému o transakcích, které pak mohou uživatelé nezávisle ověřit, což umožňuje systémům mimo řetězec, které nevyžadují další předpoklady důvěryhodnosti.

Dnes žádná z hlavních rollup implementací na Ethereu plně neimplementovala tento systém. Každý z nich se spoléhá na centrálního operátora odpovědného za prokazování a objednávání transakcí. V neobvyklých případech, kdy jsou důkazy skutečně generovány, je mohou předložit pouze oprávnění aktéři, aby se zabránilo podvodům. Starknet společnosti Starkware v současné době nenabízí uživatelům žádný mechanismus, jak vynutit své transakce ze systému, pokud operátor přestane spolupracovat nebo dojde k výpadku infrastruktury.

Téměř každý projekt má pod zálohou miliardy dolarů, které jsou účinně zajištěny sadou klíčů s více podpisy. Stejná skupina lidí odpovědných za manipulaci s těmito klíči může také upgradovat kumulativní smlouvu a ovládat související finanční prostředky. Již před pár dny byl operátorem jednostranně zastaven šestý největší rollup na Ethereum, Linea, a po hacku byly zmrazeny všechny uživatelské prostředky. 

Existuje alternativní, optimističtější případ, o kterém se zde pravděpodobně nehodím, ale vynakládá se spousta práce a zdrojů na vyřešení výše uvedených problémů. K tomu, aby se projevila úplná, nedůvěryhodná vize, bude zapotřebí značné množství výzkumu.

Je také možné, že se souhrny vyvinou, stejně jako Ethereum, do zvláštních složitých bestií, které dokáže zkrotit jen hrstka lidí.

Vedlejší úkol BitVM

Zavedení BitVM Robinem Linusem v loňském roce je to, co skutečně nastartovalo závody s nulovými znalostmi o bitcoinu na vysoké obrátky. Starkware dělá titulky díky svému životopisu, ale několik týmů jako Alpen Labs, Citrea a Bitlayer aktivně zkoumá, jak optimalizovat důkazy s nulovými znalostmi pro jejich implementace.

Bude zajímavé sledovat, jaká rozhodnutí udělají vpřed a zda se budou držet svých zbraní. Lze říci, že OP_CAT přináší mnoho výhod, ale zatím není přesně jasné, jaké jsou kompromisy. Očekávám, že mnoho společností bude pokračovat ve zkoumání cesty BitVM a jednoduše emuluje výpočet s nulovými znalostmi. Je důležité zdůraznit, že v obou případech zahrnuje přemostění finančních prostředků z bitcoinového řetězce do jakéhokoli jiného systému lehkou klientskou bezpečnost, která je náchylná k reorganizačním útokům.

V posledním měsíci bylo věnováno hodně času otázkám likvidity kolem BitVM. Pokud vezmeme v úvahu aktuální uživatelský profil pro tyto typy řešení, považuji myšlenku, že to někomu zabrání v účasti, za trochu pochybnou. Možná to není praktické nebo udržitelné, ale upřímně si nejsem jistý, jaký trh pro to existuje a vůbec se o to zajímá. Opět platí, že uživatelé v současné době ukládají miliardy dolarů do multi-sigs, takže cokoli jiného se ve srovnání bude zdát téměř nedůvěryhodné.

Více financí pro vývojáře

Milion dolarů přidělený na financování výzkumu je čistým pozitivem pro ekosystém. Toto je povzbudivý vývoj pro rostoucí mindshare kolem OP_CAT. Je nepravděpodobné, že by odměna za chyby vedla někam, ale zajímá mě, co vzejde z cílenější práce na ověřování konceptů a aplikací. Je snadné zamračit se na zdroj těchto prostředků, ale nakonec bude výsledek těchto snah posuzován podle jejich technických předností. Proces vývoje bitcoinu není tak snadno ovlivnitelný, jak by si někteří mluvící hlavy mysleli.

Je také důležité si uvědomit, že OP_CAT je pouze jedním kouskem skládačky skriptu. Průlomy v konkrétních případech použití jsou vzrušující, ale jen zřídka stačí k tomu, aby ospravedlnily ztrátu ze zřetele. Žádná z těchto technologií není dostatečně vyspělá, aby v krátkodobém horizontu vyplácela významné dividendy. Urychlit upgrade dnes, kdy by spolehlivou implementaci těchto systémů trvalo ještě roky, se zdá trochu unáhlené. Pokud lidé chtějí centralizované virtuální stroje, existuje spousta postranních řetězců, ze kterých si můžete vybrat.

V tuto chvíli každý den prorážíme novou půdu a je těžké dokonce předpovědět, kde budeme za měsíc. Jsem opatrně optimistický, pokud jde o pokrok, kterého bylo dosaženo kolem vylepšení bitcoinových skriptů, ale v tuto chvíli mi nepřipadá oprávněné se k něčemu zavazovat. Musíme nechat prach chvíli usadit. 

Zdroj: Bitcoin Magazine

The post Reakce: Bitcoinový závod ve zbrojení s nulovými znalostmi začíná appeared first on Crypto Breaking News.