House of ZK Radio #67: Ming Guo, współzałożyciel i główny naukowiec w ZKM - dostępne teraz na Spotify i YouTube 🔳 W tym odcinku @alicelingl rozmawia z @DacEconomy - współzałożycielem i głównym naukowcem w @ProjectZKM - aby zobrazować, jak zero-knowledge przesunęło się z @ethereum do Bitcoin, i jak wygląda gospodarka Bitcoin zabezpieczona przez weryfikowalne obliczenia. Spotify: YouTube: Co w środku: • Postęp ZK: prywatność transakcji → ogólne obwody → zkVM-y z niemal rzeczywistym dowodzeniem • Dlaczego projekt zkVM oparty na MIPS w ZKM ma znaczenie dla wydajności, stabilności i weryfikacji • Architektury Bitcoin L2 oparte na BitVM2, takie jak @GOATRollup, i dlaczego L2 jest bezpieczną drogą do programowalności • „Uniwersalne rozliczenie”: weryfikowalne obliczenia jako podstawa dla zdecentralizowanych aplikacji • Programowalna odpowiedzialność i zachęty vs. tradycyjne modele „zaufaj stronie” • UX dla deweloperów: od zkDSL-ów do pisania normalnego kodu i dowodzenia wykonania w zkVM • Poza „przechowywaniem wartości”: zyski, stabilne aktywa i aktywność on-chain związana z Bitcoinem bez kompromisowania bezpieczeństwa L1 Jeśli budujesz na Bitcoinie lub ZK, ten odcinek dostarcza jasnej ramy dla stosu, kompromisów i tego, co jest potrzebne, aby przejść od jedynie trzymania BTC do funkcjonującej, weryfikowalnej gospodarki.