Inżynieria Nieszczęśliwej Ścieżki: Zrozumienie Architektury BitVM2 Część Pierwsza: Bezpieczeństwo Żyje w Ścieżce Sporu L2 Bitcoin żyje lub umiera na swojej nieszczęśliwej ścieżce. Na Bitcoinie nie dostajesz „uruchom weryfikatora na łańcuchu i idź dalej”. Otrzymujesz ograniczone środowisko wykonawcze, wstępnie podpisane grafy transakcji i timelocki, które dokładnie definiują, kiedy każda strona może działać. BitVM2 to optymistyczny wzór egzekucji dla Bitcoina: wykonuj off-chain, a następnie spraw, aby poprawność była egzekwowalna za pomocą protokołu sporu na łańcuchu, zbudowanego z wstępnie podpisanych transakcji. To prowadzi do prostej zasady inżynieryjnej: jeśli spory są kosztowne lub mogą być opóźnione przez opłaty, model bezpieczeństwa po prostu nie działa. Systemy oparte na BitVM działają, pozwalając operatorom na wykonanie off-chain, a następnie dając każdemu możliwość zakwestionowania na łańcuchu i wymuszenia protokołu na ścieżkę sporu w ramach założenia o uczciwości 1 z n (przynajmniej jeden uczciwy kwestionujący dla ważności; przynajmniej jeden uczciwy operator dla żywotności). Ta ścieżka sporu to mechanizm. Wstępnie podpisane transakcje i jednorazowe podpisy (okna wyzwań, terminy odpowiedzi, finalizacja) są „czasem wykonania” mostu i jego wyjść. Kiedy więc mówimy o budowaniu na BitVM2, gwiazdą północną nie są terminy marketingowe, takie jak „bez zaufania”. Gwiazdą północną jest: • spory, które są wystarczająco tanie do wykonania, • kontekst łańcucha, który jest wystarczająco obiektywny, aby zapobiec „udowodnieniu błędnego stanu” wyjściom • przepływy transakcji, które nadal postępują w rzeczywistych warunkach opłat. Ta seria rozkłada, jak podeszliśmy do tych ograniczeń w projekcie GOAT BitVM2, kawałek po kawałku. W nadchodzącej Części Drugiej: praktyczne przeszkody w wdrożeniu gotowego do produkcji zkRollup na Bitcoinie.