De la 0 la ZK Concept Bites #5: Concizie În ultima noastră Mușcătură de Concept, am discutat despre momentul în care proprietatea "zero knowledge" contează cu adevărat pentru confidențialitate. Dar intimitatea este doar una dintre cele două superputeri ale ZK. Cealaltă, concisibilitatea, este cea pe care Brevis o folosește în aproape fiecare integrare pe care o livrăm. 🚀 Concizia înseamnă că o demonstrație este mult mai mică decât calculul pe care îl demonstrează. Procesează 100.000 de tranzacții și dovada rezultată este de câțiva kilobytes. Verifică execuția întregului bloc Ethereum, iar dovada se potrivește într-un singur apel on-chain. Dimensiunea demonstrației rămâne aproximativ constantă, indiferent cât de mare a fost volumul inițial de muncă. Aici devine interesant. Generarea unei demonstrații costă de fapt mai mult decât simpla rulare a calculului propriu-zis, deoarece demonstratorul trebuie să efectueze operații criptografice suplimentare pe lângă execuția brută. Dar verificarea acestei dovezi costă aproape nimic în comparație. Relația arată așa: Dovedirea > Execuție >> Verificare. Această structură de costuri este exact ceea ce au nevoie blockchain-urile. Astăzi, fiecare tranzacție Ethereum este reexecutată independent de sute de mii de validatori, aceeași muncă repetată pe întreaga rețea. Cu demonstrații concise, o singură parte face munca grea și produce o demonstrație compactă. Toți ceilalți doar verifică. Rețeaua trece de la "toată lumea face totul" la "calculează o dată, verifică peste tot." 📜 De aceea Brevis poate oferi lucruri precum interogări istorice de date pentru nivelurile de comisioane VIP ale PancakeSwap sau distribuții de recompense de miliarde de tokenuri pentru Linea, fără a exploda costurile la combustibil. Calculul are loc în afara lanțului, unde este ieftin. Dovada ajunge on-chain, unde verificarea este fixă și accesibilă, indiferent cât de multe date au fost analizate în culise. Concizia este și motivul pentru care demonstrarea blocurilor Ethereum în timp real de la Pico Prism funcționează deloc. A demonstra execuția întregului bloc și a-l comprima într-un lucru pe care un contract inteligent îl poate verifica în milisecunde ar fi inutil dacă demonstrația în sine ar fi la fel de mare ca datele blocului. Raportul de compresie este ceea ce face ca întregul model să fie viabil. Citește Partea 2: