Od 0 po ZK Concept Bites #5: Stručnost V našem posledním Concept Bite jsme mluvili o tom, kdy vlastnost "nulové znalosti" skutečně záleží na soukromí. Ale soukromí je jen jednou ze dvou superschopností ZK. Druhá, stručnost, je ta, kterou Brevis používá téměř při každé integraci, kterou vydáváme. 🚀 Stručnost znamená, že důkaz je dramaticky menší než výpočet, který dokazuje. Zpracujte 100 000 transakcí a výsledný důkaz je několik kilobajtů. Ověřte provedení celého bloku Ethereuma a důkaz se vejde do jediného on-chain hovoru. Velikost důkazu zůstává přibližně stejná bez ohledu na to, jak těžká byla původní pracovní zátěž. Tady to začíná být zajímavé. Generování důkazu ve skutečnosti stojí více než samotné provedení výpočtu, protože dokazovač musí provádět další kryptografické operace nad rámec surového provedení. Ale ověření tohoto důkazu stojí ve srovnání téměř bezcenně. Vztah vypadá takto: Prokázání > provedení >> ověření. Tato nákladová struktura je přesně to, co blockchainy potřebují. Dnes je každá transakce Etherea opakovaně vykonávána stovkami tisíc validátorů nezávisle, stejnou práci opakuje v celé síti. U stručných důkazů jedna strana vykonává těžkou práci a vytváří kompaktní důkaz. Všichni ostatní to jen kontrolují. Síť přechází z "každý dělá všechno" na "jednou spočítat, ověřit všude." 📜 Proto může Brevis nabízet například historické dotazy na data pro VIP poplatky PancakeSwapu nebo miliardové odměny pro Linea, aniž by zvyšoval náklady na benzín. Výpočty probíhají mimo řetězec, kde je to levné. Důkaz se objevuje v řetězci, kde je ověřování pevné a dostupné bez ohledu na to, kolik dat bylo zpracováno v zákulisí. Stručnost je také důvodem, proč reálné časové dokazování bloků Ethereum od Pico Prism vůbec funguje. Dokázat provedení celého bloku a komprimovat ho do něčeho, co chytrý kontrakt může ověřit během milisekund, by bylo zbytečné, pokud by důkaz byl stejně velký jako data bloku. Kompresní poměr je to, co dělá celý model životaschopným. Přečtěte si část 2: