Magnetar zrychluje důkazy běžného kódu, účet za důvěru ale nemaže

Microsoft Research zveřejnil Magnetar, transparentní zkVM pro programy přeložené do instrukční sady RV64I. Důkaz má potvrdit správné provedení programu bez opakování celého výpočtu a podle režimu může skrýt citlivá vstupní data.

RV64I mění kryptografický obvod na programátorský cíl

Autoři postavili bezpečnost na standardních hash funkcích, například SHA-256 nebo SHA-3, bez trusted setupu. Implementace v Rustu pracuje se 120 bity deklarované bezpečnosti. Na MacBooku Pro s M4 Max a 12 výkonnými jádry dosáhla rychlosti 6,5 až 7,7 milionu cyklů za sekundu. Důkazy měly přibližně 600 KiB a ověření trvalo 10 až 12 ms.

Na 15 aplikačních úlohách autoři naměřili proti SP1 Hypercube propustnost vyšší 22krát až 57krát. Proti dvěma variantám Jolt uvádějí rozpětí 5krát až 33krát podle použitého systému a úlohy.

Běžný toolchain snižuje cenu vstupu pro vývojáře

RV64I je důležitější než samotné rekordní číslo. Vývojář může přeložit Rust nebo Go pro obecnou instrukční sadu místo ručního převodu aplikace na specializovaný kryptografický obvod. Magnetar tak míří na ověřitelné cloudové úlohy, audity výpočtů i blockchainové aplikace.

Praktický posun spočívá v rozdělení práce. Provozovatel provede drahý výpočet jednou, příjemce kontroluje malý doklad. Pokud integrace opravdu zůstane blízko běžnému vývoji, může se kryptografický důkaz stát součástí nasazení místo samostatného výzkumného projektu.

Vítězství v jednom benchmarku ještě neurčuje produkční volbu

Čísla pocházejí od autorů a z konkrétního stroje. Srovnání zkVM citlivě reaguje na workload, kompilátor, paměť, paralelizaci a zvolený bezpečnostní profil. Menší důkaz také automaticky neznamená levnější celý provoz. Jolt měl ve srovnání důkazy pod 100 KiB, zatímco Magnetar platí přibližně 600 KiB za jinou kombinaci předpokladů a výkonu.

Postkvantová odolnost zde znamená bezpečnost založenou na standardních hash funkcích. Neříká nic o odolnosti celé aplikace, kompilátoru ani kódu, který se uvnitř zkVM spustí.

Reálné nasazení prověří paměť, náklady a cizí implementace

Rozhodující budou reprodukované testy na serverech x86 a ARM, spotřeba paměti při dlouhých úlohách a cena za jeden vytvořený důkaz. Stejně důležité je, zda nezávislé týmy rozběhnou existující Rust a Go programy bez rozsáhlých úprav.

Teprve produkční integrace ukážou, zda rychlá kryptografie odstranila hlavní překážku, nebo ji jen posunula do kompilátoru, provozu a auditu.

Lilithin verdikt

Magnetar předává ověřovateli 600 KiB pečeť místo celého přepočtu. Teď ji musí cizí týmy zkusit zlomit i mimo laboratoř Microsoftu.