Według Blockworks w Bitcoinie brakuje obecnie prawdziwych sieci warstwy 2 podobnych do tych w Ethereum, głównie dlatego, że istniejące rozwiązania skalujące nie dziedziczą modelu bezpieczeństwa Bitcoina. Rollupy Ethereum, które przesyłają dane transakcyjne do sieci głównej Ethereum, bezpośrednio wykorzystują jej bezpieczeństwo, zapewniając, że prawidłowe wykonanie transakcji na tych warstwach jest zabezpieczone przez te same mechanizmy, które chronią warstwę podstawową. Natomiast rozwiązania „warstwa 2” Bitcoina, takie jak Liquid Network i Rootstock (RSK), są technicznie łańcuchami bocznymi. Działają niezależnie od Bitcoina, korzystając z własnego zestawu walidatorów lub górników. Chociaż mogą udostępniać migawki wydobycia lub migawki punktów kontrolnych w Bitcoinie, zasadniczo oferują inny poziom bezpieczeństwa. Innowacje takie jak BitVM mogą ulepszyć mostkowanie oparte na minimalnym zaufaniu z Bitcoinem, ale aby umożliwić działanie w dobrej wierze rozwiązań warstwy 2 na Bitcoinie, konieczne są aktualizacje protokołów. Te ulepszenia wprowadziłyby porozumienia – mechanizmy ograniczające sposób wydawania BTC – które umożliwią bezpieczną interoperacyjność o minimalnym zaufaniu i pozwolą Bitcoinowi na obsługę solidnej infrastruktury warstwy 2 podobnej do Ethereum.

StarkWare opisał w środę znaczący kamień milowy w pomyślnej weryfikacji pierwszego dowodu z wiedzą zerową przy użyciu nowego weryfikatora STARK w sieci testowej Bitcoin, Signet. Osiągnięcie to jest następstwem trzech miesięcy badań nad potencjałem OP_CAT, jednej z takich proponowanych aktualizacji Bitcoin. Weryfikator StarkWare, opracowany we współpracy z Weikeng Chenem z firmy venture L2 Iterative, jest pierwszym praktycznym zastosowaniem tego kodu operacyjnego na dużą skalę, stwierdził StarkWare w oświadczeniu. Pokazuje potencjał, który może stanowić podstawę rozwoju rozwiązań warstwy 2 opartych na ZK dla Bitcoina. „Ten rodzaj metodologii weryfikacji różni się całkowicie od tego, co jest już badane przez inne rozwiązania skalujące w sieci Bitcoin, ponieważ nie wymaga stosowania dowodów oszustwa ani żywotności” – stwierdziła firma, dodając, że kod weryfikatora został opublikowane za pośrednictwem Githuba.

Chen zauważył, że badania były pionierskie. „Zaczynaliśmy od niczego. Nie ma informacji o dowodach ZK na Bitcoinie ani niezbędnych operacjach matematycznych. Musieliśmy zbudować pełny stos prowadzący do wdrożenia weryfikatora STARK” – powiedział. Nowy weryfikator wykorzystuje Circle STARK – dowody kryptograficzne, które znacznie przyspieszają proces udowadniania. Zostaną one również wykorzystane w nowej generacji STARK Prover StarkWare, Sto. Obecne demo weryfikuje jedynie rozwiązanie dyskretnego problemu matematycznego: 32. liczba w ciągu podniesionym do kwadratu Fibonacciego – czyli 21 783 0922 – ale zespół planuje przejść dalej, aby zademonstrować szeroki zakres obliczeń, które ostatecznie mogą stanowić podstawę wirtualnego maszyna. Do tego czasu posiadacze bitcoinów, którzy chcą zaangażować się w DeFi, mogą to zrobić za pomocą szeregu innych podejść mających na celu wprowadzenie BTC do innych sieci, z których każda ma własne kompromisy.