Contrar presupunerii populare, majoritatea sistemelor "zero-knowledge" de astăzi nu sunt private. Bazându-se pe decenii de cercetare, @mvenkita (CEO al @ligero_inc) explică în această sesiune de @WPReadingClub de ce majoritatea sistemelor de dovezi utilizate - inclusiv multe zkVM-uri bazate pe STARK - oferă calcul verificabil, dar nu reușesc să obțină o confidențialitate criptografică reală. Muthu explică modul în care Ligero și Ligetron schimbă această ecuație: • Concepute pentru eficiență în timp și memorie, acestea pot genera dovezi chiar și pe dispozitive cu memorie limitată, cum ar fi telefoanele mobile. • Construite pe construcții MPC-in-the-head, acestea garantează confidențialitate dovedită acolo unde multe sisteme actuale nu o fac. • Deja adoptat de @googlecloud pentru verificarea identității mobile, arătând viabilitatea în lumea reală. Discuția se întinde pe bazele academice ale ZK, evoluția de la teorie la implementare și nevoia stringentă de dovezi care să protejeze datele sensibile, îndeplinind în același timp cerințele de conformitate. Muthu evidențiază aplicațiile emergente - pool-uri de confidențialitate, zk-validiums și dovezi de identitate pe dispozitiv - care ar putea defini viitorul adoptării întreprinderilor și a reglementărilor și atinge experimentele care dovedesc modele ML mari (cum ar fi LLaMA) cu ZK, indicând ceea ce urmează pentru AI care păstrează confidențialitatea. Aceasta este o privire directă asupra decalajului dintre ceea ce credem că face ZK astăzi și ceea ce este necesar pentru o lume în care confidențialitatea, conformitatea și scalabilitatea coexistă cu adevărat. Disponibil și pe YouTube: