Sergio Demian Lerner to badacz związany z analizą Patoshi, projektem Rootstock i pracami nad BitVMX. Patoshi bada, czy grupy wczesnych bloków mogły pochodzić od tego samego górnika. Rootstock jest osobnym łańcuchem połączonym z Bitcoinem, a BitVMX proponuje rozstrzyganie na Bitcoinie sporów o wyniki obliczeń. Każda praca odpowiada na inne pytanie; ich rozróżnienie ułatwia zrozumienie wkładu Lernera.
Lerner publikuje analizy na blogu Bitslog. Jest też autorem rewizji 11 dokumentu Rootstock whitepaper z 29 stycznia 2019 roku, wyjaśniającego budowę systemu. Praca BitVMX z 10 maja 2024 roku wymienia go jako jednego z pięciu autorów. To różne projekty, a wspólnej pracy nie należy przypisywać wyłącznie Lernerowi. Publikacje pokazują drogę od odczytywania historii blockchainu do projektowania nowych sposobów sprawdzania wyników. [1] [4] [6]
Blockchain nie podaje nazwiska człowieka, który wydobył każdy blok, ale zachowuje dane jego programu. Analiza Lernera z 2019 roku porównuje ExtraNonce w transakcjach coinbase, zakresy nonce i znaczniki czasu. Transakcja coinbase przydziela nagrodę za blok; nonce i ExtraNonce to wartości zmieniane przez górnika podczas szukania prawidłowego bloku. Ich wzory mogą łączyć bloki ze wspólnym źródłem wydobycia. Charakterystyczny ślad Lerner nazywa Patoshi. To argument o pochodzeniu bloków, a nie dowód tożsamości człowieka przy komputerze. [1]
Aby oszacować dochód górnika, trzeba najpierw ustalić, które bloki mu przypisujemy. BitMEX Research w badaniu z 2018 roku samodzielnie sklasyfikował bloki z 2009 roku, przyznając błędy własnej metody i słabsze dowody po sierpniu. Inny okres albo reguła przypisywania mogą zmienić wynik, więc liczby z różnych badań nie są automatycznie porównywalne. Szacunek dawnego wydobycia nie dowodzi też dzisiejszego salda ani tego, że ktoś nadal ma sprawne klucze prywatne pozwalające wydać monety. [1] [3]
W artykule z 2020 roku Lerner wraca do znaczników czasu, czyli godzin zapisanych w blokach. W grupie Patoshi obserwuje nietypowe odstępy i rozważa wyjaśnienia, na przykład działanie programu wydobywczego. Nie rozstrzyga tym, dlaczego górnik postępował właśnie tak. Zachęca do powtórzenia obliczeń i dopuszcza błędy własnego oprogramowania. To użyteczna lekcja czytania badań: zaobserwowany wzór i opowieść o jego przyczynie to różne rzeczy. [2]
Whitepaper z 2019 roku opisuje Rootstock jako sidechain, osobny blockchain połączony z Bitcoinem. Ma on własną sieć, walutę RBTC i maszynę wirtualną, czyli środowisko wykonywania programów zwanych smart contracts. Korzysta z merged mining: górnik Bitcoin może wykorzystać swoją pracę wydobywczą również dla tego łańcucha. Nie znaczy to, że węzły Bitcoin wykonują wszystkie jego kontrakty. Programy działają według reguł Rootstock. Także historyczne opłaty i udziały w mocy obliczeniowej podane w dokumencie nie są aktualnymi wartościami. [4]
Wyobraźmy sobie użycie BTC w aplikacji Rootstock. Most PowPeg blokuje je na Bitcoinie i udostępnia odpowiadające im RBTC na drugim łańcuchu. Powrót odwraca ten proces zgodnie z regułami mostu; pierwotne monety nie podróżują między bazami danych. Dokumentacja opisuje sprzętowe moduły podpisu chroniące klucze oraz opóźnioną ścieżkę awaryjnego odzyskiwania. Bezpieczeństwo zależy więc także od działania tych elementów, nie tylko od wydobycia. Opis zabezpieczeń nie dowodzi zerowego ryzyka ani nie gwarantuje natychmiastowej wypłaty. [5]
Praca BitVMX z 2024 roku dotyczy innego problemu. Jedna strona oblicza wynik poza blockchainem, a druga go sprawdza. W razie niezgody mogą rozstrzygnąć spór na Bitcoinie za pomocą wcześniej podpisanych transakcji. Zapis kroków wykonania jest połączony hashami, krótkimi kryptograficznymi odciskami danych. Ich porównanie pozwala stopniowo znaleźć miejsce rozbieżności obliczeń i sprawdzić błąd. Nie oznacza to, że każdy węzeł Bitcoin rutynowo wykonuje cały program. Łańcuch rozstrzyga spór, a zasadnicze obliczenie odbywa się poza nim. [6]
W opisanym BitVMX weryfikator ma czas sprawdzić twierdzenie operatora, czyli strony przedstawiającej wynik. Bez zakwestionowania twierdzenia operator może uzyskać dostęp do zablokowanych środków po wygaśnięciu blokady czasowej, warunku opóźniającego dostęp. Wariant z wieloma weryfikatorami zakłada przynajmniej jednego uczciwego; musi on jednak mieć potrzebne dane i faktycznie odpowiedzieć na czas. Bezpieczeństwo obejmuje zatem procedurę matematyczną i jej działanie w praktyce. Publikacja propozycji nie jest audytem konkretnego wdrożonego mostu. [6]
Pełniejszy obraz uzyskasz, czytając to hasło razem z Gloria Zhao, Satoshi Nakamoto, Merged Mining. Do tego hasła prowadzą również odsyłacze z Larry Fink.