Dlaczego budowanie prawdziwego zkRollup na Bitcoinie jest jednym z najtrudniejszych problemów inżynieryjnych w tej przestrzeni w tej chwili? Na Ethereum, zkRollupy mogą publikować dowód i mieć kontrakt weryfikujący on-chain, który sprawdza jego ważność. I podobnie jak w przypadku Ethereum Rollup, większość czasu Bitcoin zkRollup działa szybko offchain. Szczęśliwa ścieżka. Ale Bitcoin nie ma takiego rodzaju weryfikacji dowodów on-chain, więc nie możesz po prostu opublikować dowodu i mieć Bitcoina, który weryfikuje go w ten sam sposób. Dlatego Bitcoin zkRollup potrzebuje również pewnego rodzaju trybu 'sprawy sądowej' na najgorsze przypadki. Nieszczęśliwa ścieżka. Jeśli ktoś oszukuje lub znika, system przechodzi w proces optymistycznego wyzwania: Bitcoin egzekwuje z góry określoną grę sporną przy użyciu wcześniej podpisanych transakcji i limitów czasowych, aż nieważne roszczenie zostanie obalone lub oszust wygaśnie. Dlatego budowanie tego jest trudne: nie budujesz tylko Rollupa - projektujesz pełny mechanizm egzekwowania najgorszego przypadku, który Bitcoin może faktycznie uruchomić. I to jest to, co GOAT BitVM2 mainnet dostarcza: ścieżka sporu egzekwowalna przez Bitcoin, która sprawia, że bezpieczne skalowanie jest praktyczne, jednocześnie utrzymując egzekwowalne wyjścia na samym Bitcoinie. Dowiedz się wszystkiego o tym, jak projektujemy dla nieszczęśliwej ścieżki w naszej nowej serii na temat zrozumienia architektury BitVM2 👇