Nedávno jsem studoval důkaz nulových znalostí, kterému se často říká zkp.

V minulosti jsem si jen myslel, že zk je lepší než op, např. je rychlejší, pohodlnější, bezpečnější atd. Tyto obecné poznámky vlastně ignorovaly důležitý bod, tedy proč je lepší než op, a co je podstata zk?

Jedna z metod důkazu, kterou používá zk, se nazývá snark. Tato metoda důkazu je velmi zajímavá. Tohle se opravdu stalo.

Tento popis může být trochu abstraktní. K popisu záležitosti „důkazu“ používám živější metaforu.

Když máte velký model umělé inteligence, který je třeba vypočítat, ale nemáte po ruce odpovídající výpočetní nástroje, vystoupí Xiao Ming a řekne, že má stroj ochotný vám jej spočítat, pokud mu zaplatíte poplatek. O deset dní později vám Xiao Ming dává výsledek AI „Zítřejší akciový trh padne.“ Jak v tuto chvíli můžete posoudit, zda vám Xiao Ming skutečně pomohl vypočítat? Nebo vám mám říct výsledek a nechat to být. Jinými slovy: "Je Xiao Ming důvěryhodný?" Nejlepší způsob, jak ověřit, je najít jinou osobu, která provede výpočet znovu, a porovnat výsledky těchto dvou osob. Může to však vést ke zdvojnásobení nákladů. Nakonec jste nejspolehlivější. tak představte jinou osobu, problém je v tom, že vám chybí nástroje k provedení tohoto složitého výpočtu AI.

Jak tedy tento problém krize důvěry vyřešit?

Chytří matematici vynalezli metodu důkazu zvanou snark Charakteristikou této metody je, že se zaznamenává každý krok procesu výpočtu a tyto mezivýsledky jsou tvořeny řadou algebraických změn za účelem vytvoření malého důkazu, který je takzvaným důkazem. "Důkaz", charakteristickým znakem tohoto důkazu je, že silně souvisí s procesem výpočtu Pokud proces výpočtu neodpovídá očekávání, pak se důkaz změní.

Jako ověřovatel, tedy vy, musíte pouze prokázat, že tento důkaz je správný, abyste zajistili, že Xiao Ming udělal, co jsem řekl, a nevymyslel za mě výsledek.

Musím vám připomenout, že proces generování důkazu je velmi komplikovaný, ale proces ověřování důkazu je velmi jednoduchý, to znamená, že jako příjemce musím pouze zajistit, aby byl důkaz správný, pak je transakce rozumná , což výrazně šetří náklady na ověřování, v tomto případě nemusíte shánět další osobu, která by provedla výpočty sami.

Zkp tedy v podstatě řeší problém důvěry mezi lidmi. Jak mohou dva cizí lidé efektivně komunikovat a obchodovat bez účasti třetí strany jako supervizora zkp poskytuje dobré řešení?

Podobně, když je namapován na svět blockchainu, proč vrstva2 používá zkp, protože složité výpočty lze odložit a proces nahrávání do řetězce potřebuje pouze ověřit důkaz, nebo dokonce pouze uložit tento je Pro bloky hlavní sítě, kde jsou pozemky na prvním místě, je to jedno z nejlepších řešení pro rozšíření kapacity.

Díky tomu, že jsem pochopil zkp, jsem si uvědomil dvě věci: za prvé, zkp může nejen vyřešit problém přetížení Etherea, ale také poskytnout metodu bezpečnostního důkazu v reálném životě a urychlit spolupráci mezi lidmi, za druhé, většina inovací lidí je ve skutečnosti; napravit vlastní zlozvyky lidí Pokud se nedají napravit, vyjdou jim vstříc například lidé jsou zrozeni, aby podváděli, proto je třeba zavést technologii, aby se tomu vyhnuli Lidé se rodí leniví a více Pokud budete spokojeni, objeví se obchodní příležitosti.