ZK se musí tuto větu naučit pouze nazpaměť. Převést výsledek provedení programu na matematicky ověřitelný důkaz bez odhalení obsahu. @brevis_zk je koprocesor ZK, který používá tento ZK ke spouštění různých programů a poskytuje výsledky, které jsou důvěryhodné spolu s důkazy ZK. Někdo například řekl: "Jsem OG, který dosud zaplatil 100 etherů na poplatcích za plyn na Ethereu." Lidé, kteří to slyší, mohou tomu jen věřit. Nebo musíte získat adresu peněženky a sledovat a počítat všechny transakce sami. V tomto procesu jsou také zveřejněny informace, jako jsou adresy peněženek. V tomto případě lze použít koprocesory ZK, jako je Brevis, k zajištění důvěryhodnosti prostřednictvím důkazů ZK. Ve skutečnosti se Brevis připravuje na zavedení systému s Kaito, který by zvýšil žebříčky prostřednictvím důkazů ZK o aktivitách Kaito yappers na chainu.