ZK trebuie doar să memoreze această propoziție. Pentru a transforma rezultatul execuției unui program într-o demonstrație verificabilă matematic fără a dezvălui conținutul. @brevis_zk este un coprocesor ZK care folosește acest ZK pentru a rula diverse programe și oferă rezultate pentru a fi de încredere împreună cu dovezi ZK. De exemplu, cineva a spus: "Sunt un OG care a plătit 100 de ether în taxe de gaz pe Ethereum până acum". Oamenii care aud asta nu pot decât să creadă. Sau trebuie să obțineți o adresă de portofel și să urmăriți și să calculați singur toate tranzacțiile. În acest proces, sunt dezvăluite și informații precum adresele portofelului. În acest caz, coprocesoarele ZK, cum ar fi Brevis, pot fi utilizate pentru a asigura încrederea prin dovezi ZK. De fapt, Brevis se pregătește să introducă un sistem cu Kaito pentru a crește clasamentele prin dovezi ZK ale activităților on-chain ale Kaito yappers.