BitVM: Nästa steg för Bitcoin-kontrakt
Robin Linus, projektledare på ZeroSync, lanserade nyligen ett förslag kallat BitVM, enligt en vitbok publicerad den 9 oktober med titeln ”BitVM: Compute Anything on Bitcoin”. Innovationen gör det möjligt att skapa Bitcoin-kontrakt som kan utföra Turing-fullständiga beräkningar.
Ett Turing-fullständig system kan i teorin lösa alla beräkningsproblem. BitVMs teknologi låter kontraktets logik köras utanför Bitcoin-nätverket men verifieras sedan inom det, vilket är jämförbart med hur Ethereums ”optimistic rollups” fungerar.
Så fungerar BitVM
BitVM använder en struktur baserad på bedrägeribevis och en utmaningssvar-modell. I denna modell gör en ”bevisare” påståenden om kontraktet och en ”verifierare” kontrollerar dessa påståenden. Om falska påståenden upptäcks används bedrägeribevis-mekanismer för att straffa den som gör påståendet.
”Bitcoin kan för närvarande bara hantera grundläggande operationer som signaturer, tidslås och hashlås. Men med BitVM blir det möjligt att utföra ett brett spektrum av intressanta tillämpningar på Bitcoin-nätverket,” förklarade Linus.
Begränsningar och framtida Mål
Trots den imponerande potentialen i BitVM medger Linus att det finns vissa begränsningar. Modellen fungerar främst i scenarier som involverar två parter: en bevisare och en verifierare. Dessutom krävs det en betydande mängd beräkning och kommunikation utanför huvudnätverket för att exekvera programmen.
Angående framtidens mål avslöjade Linus: ”Vi siktar på att helt implementera BitVM, vilket blev möjligt tack vare Taproot softforken som ägde rum i november 2021. Parallellt med detta arbetar vi på Tree++, ett programmeringsspråk för att skapa och felsöka Bitcoin-kontrakt.”
