Zeszłej nocy lider projektu ZeroSync opublikował białą księgę zatytułowaną „BitVM: Oblicz wszystko na Bitcoinie”, która wywołała gorącą dyskusję.

Jak widać w tym dokumencie recenzowanym przez Super Testnet i Sama Parkera, BitVM to nowy paradygmat obliczeniowy zaprojektowany przez Robina Linusa z Zero Sync, który łączy w sobie Optimistic Roll Up, Fraud Proof, Taproot Leaf i Bitcoin Script.

BitVM umożliwia wyrażanie kompletnych kontraktów Bitcoin w technologii Turinga bez zmiany zasad konsensusu sieci Bitcoin i może wykonywać dowolną funkcję obliczeniową do obliczeń offline, bez pozostawiania żadnych śladów w łańcuchu. W białej księdze przedstawiono także architekturę BitVM, dane wejściowe i wyjściowe, ograniczenia i perspektywy.

Biała księga została wyświetlona 110 000 razy w ciągu zaledwie godziny od jej wydania, a w chwili pisania tego tekstu liczba wyświetleń wyniosła 1,82 miliona. Dyskusje w społeczności anglojęzycznej były niezwykle gorące i stała się jednym z najgorętszych tematów w społeczności kryptowalut w ostatnich czasach. KOL @LeonidasNFT uznał to za ekscytującą innowację i wygrawerował napis Bitcoin na papierze BitVM, dzięki czemu stał się on czymś wiecznym w bardziej natywny sposób.

Co sądzą twórcy Bitcoinów?

Ekosystem Bitcoin jest w tym roku szczególnie ożywiony. Rynek Ordinals zrodził wiele rozszerzonych narracji o Bitcoin, a deweloperzy Bitcoin są również bardzo zajęci.

@BobBodily, dyrektor generalny BioniqMarket, który obecnie skupia się na rynku Ordinals i platformie startowej, tworzy narzędzia, które pomagają deweloperom tworzyć w oparciu o Bitcoina. Powiedział na swoich mediach społecznościowych: „BitVM nie jest trwałym rozwiązaniem. BitVM nie jest tak dobry jak EVM, jest wolniejszy, droższy i bardziej skomplikowany. Podstawową zaletą BitVM jest to, że możemy teraz uzyskać dodatkową programowalność w Bitcoinie bez aktualizacji. Nie są potrzebne żadne nowe op_codes. Nie jest wymagany żaden soft fork. Można go używać teraz”.

W tym samym czasie BobBodily powiedział również: „Potencjalne przypadki użycia, które BitVM może łatwo wdrożyć, obejmują decentralizację części różnych aplikacji, które obecnie polegają na scentralizowanych usługach, w tym wyroczniach DLC, agregatorach kontroli przeciążenia/coinjoin i kworach sidechainów. Ponadto BitVM nie rozwiązuje problemu braku zaufania w mostkowaniu sidechainów, co może wymagać kontraktów. BitVM jest zdecydowanie lepszy od przykładu warunkowej płatności ZKP Grega Maxwella z 2016 r. BitVM jest bardzo złożony i trudny do zrozumienia i wdrożenia. To samo można osiągnąć, ulepszając Bitcoin za pomocą op_code”.

Bitcoin nie musi niczego zmieniać

Badacz Sam Parker dostrzega potencjał BitVM w zakresie zapewnienia większej liczby funkcji programistycznych bez konieczności modyfikowania protokołu Bitcoin oraz to, w jaki sposób ta możliwość może pomóc w decentralizacji i wyeliminowaniu konieczności korzystania z zaufanych stron trzecich. Jednocześnie wspomniał, że jest to funkcja opcjonalna i społeczność Bitcoin oraz jej użytkownicy mogą sami wybrać, czy i jak z niej korzystać.

W długim tweecie Sam Parker napisał: „Powtarzając, Bitcoin jest teraz kompletny w sensie Turinga, jak każdy inny łańcuch, i nie wymaga to żadnych zmian w Bitcoinie. Niektóre z klasycznych poglądów niektórych maksymalistów Bitcoina, gdy „wskazują drogę”, to: kompletny w sensie Turinga = zły, co uważam za głupie. Po pierwsze, ponieważ techniczna definicja zupełności Turinga wymaga nieskończonego czasu trwania, w naszej rzeczywistości nic nigdy nie będzie w pełni zupełne w sensie Turinga, ponieważ nie dysponujemy nieskończoną przestrzenią i czasem, aby to uwzględnić. "

Odnośnie treści białej księgi BitVM, Sam Parker powiedział: „W trakcie tego procesu, mała grupa hakerów skryptów, takich jak @robin_linus i @super_testnet, odkryła, jak zakodować wszystkie funkcje, których potrzebujemy z komputera ogólnego przeznaczenia, w niezwykle ograniczonym zestawie kodów operacyjnych Bitcoina. Dlatego jedyną rzeczą, która uniemożliwia maszynie wirtualnej Bitcoina (VM) bycie kompletnym w sensie Turinga, jak Ethereum, nie jest problem ekspresji, ale po prostu problem czasu wykonywania, z których najbardziej rygorystycznym jest limit rozmiaru stosu.

Jedyne, co robi BitVM, to pozwala nam rozłożyć czas wykonania pewnej logiki, wykraczającej poza zakres pojedynczej transakcji, na wiele transakcji. To wszystko. Nie dodaliśmy żadnych nowych funkcji semantycznych, po prostu wykładniczo zwiększyliśmy długość programów, które mogliśmy uruchomić. Zatem według definicji technicznej Bitcoin nie jest tak naprawdę bardziej kompletny w sensie Turinga niż był wcześniej, po prostu dano mu czas działania, w którym możemy zasadnie stwierdzić, że jest wystarczająco kompletny w sensie Turinga dla dowolnego programu, który chcemy uruchomić.

Jest to dobrowolne. Jeśli nie ufasz, że Twoje monety zostaną zablokowane w pewnym kompletnym kontrakcie Turinga (co jest całkowicie rozsądne), to nie blokuj ich w inteligentnym kontrakcie kompletnym Turinga. Jedną z zalet systemu UTXO jest piaskownica bezpieczeństwa. Jeśli ludzie sądzą, że Bitcoin nie powinien mieć tej funkcji, być może z powodu problemów z zachętami lub czegoś innego, to powinno to być przedmiotem dyskusji, ale w zasadzie wymagałoby to pozbycia się Taproot, co w tym momencie wydaje się niewiarygodnie głupie. „Napisał Sam Parker.

„BitVM budzi we mnie ostrożne poczucie ekscytacji”

Jako wielki zwolennik Drivechains, innego protokołu rozszerzenia Bitcoin, Eric Wall, założyciel Simp DAO i starszy badacz kryptografii, został zaproszony przez członków społeczności do wyrażenia swoich poglądów na temat BitVM. Eric Wall powiedział: „Właśnie skończyłem czytać ten dokument i wszystkie koncepcje są dla mnie odpowiednie. Naturalnie nie interesują mnie schematy, które wymagają bardzo dużej liczby wstępnie podpisanych wymian transakcji w fazie konfiguracji — nie wiem, jakie problemy mogą powodować takie schematy. Dodatkowe zużycie zasobów (narzut) i uprawnienia (permission) to dwa duże problemy”.

Na razie podchodzi do BitVM z ostrożnym entuzjazmem, czekając na to, co przyniosą rzeczywiste eksperymenty. Być może istnieje eleganckie i proste rozwiązanie problemu ograniczenia udziału dwóch stron w tym schemacie, a może nie. Być może w przypadku pewnych typów obliczeń, np. dowodów zk, narzut ten da się opanować. Ciekawe byłoby, gdyby BitVM działał tam na tyle dobrze, aby weryfikować dowody zk — BitVM pełniłby rolę warstwy zkwasm, o której wspominał wcześniej.

„Jako ciekawostkę dodam, że jestem ciekaw, co się stanie, gdy ludzie zdadzą sobie sprawę, że model ataku jest dość podobny do drivechainów. Górnicy mogliby ukraść cały bilans BitVM, zmawiając się z prooferem i cenzurując wyzwanie, a to mogłoby się wydarzyć w krótszym czasie niż w drivechainach” – napisał Eric Wall.

Umożliwiając wyrażanie kontraktów Turinga w sieci Bitcoin bez pozostawiania śladu w łańcuchu, BitVM oferuje zupełnie nowy sposób eksploracji złożonych obliczeń blockchain przy jednoczesnym zachowaniu zasad i bezpieczeństwa sieci Bitcoin. Dzięki temu Bitcoin może być wykorzystywany w szerszym zakresie i oferować innowacyjne możliwości bez konieczności bezpośredniej modyfikacji jego podstawowego protokołu.

Nie można zignorować faktu, że BitVM wywołał wiele dogłębnych dyskusji na temat projektu i ewolucji Bitcoina. To, w jaki sposób zostanie on wdrożony i będzie odgrywał rolę w sieci Bitcoin w przyszłości, będzie niezwykle atrakcyjną podróżą eksploracji technologicznej. Nasuwa się więc ważne pytanie: Czy jesteśmy gotowi przekształcić Bitcoina z cyfrowej waluty wykorzystywanej przede wszystkim do przechowywania wartości i transakcji w globalną platformę zdolną do przeprowadzania szerszych i bardziej złożonych obliczeń? To również skłania nas do głębszego zastanowienia się nad przyszłą formą Bitcoina, jakiej chcemy. Czy Bitcoin powinien dodać więcej „natywnej” programowalności, czy też powinien pozostać prosty, bezpieczny i niezmienny?

Odniesienia

1. Biała księga BitVM