IOSG ｜ bitvm: Bitcoin -Programmierung Dawn

Danke: Danke Momir, Xinshus kostbare Änderung des Artikels

>

Tl;

• Die Änderungen der Bitcoin -Kerne werden normalerweise widerstanden.b) Wichtigkeit für Stabilität und Vorhersehbarkeit anstelle einer schnellen Innovation beibringen.c) Es ist schwierig, in einer diversifizierten Gemeinschaft einen Konsens zu erzielen.

• Viele Elemente behaupten, dass es Methoden gibt, um die Skalierbarkeit von Bitcoin zu lösen und die Bitcoin -Kette selbst nicht zu ändern.Kürzlich haben wir die Superinflation von Bitcoin „L2s“ miterlebt.

• Obwohl viele Behauptungen nur ein irreführendes Marketing sind, erkennen wir auch ein neues Computing -Paradigma an, das das Programmieren in Bitcoin -Bitvm bringen kann.

• Die beste Erweiterungslösung, die BitVM unterstützen kann, liegt nahe an den Sicherheitsannahmen des OP-Rollup-Typs (obwohl es einige zusätzliche Vorsichtsmaßnahmen gibt).

• Der Erfolg von BITVM und ähnlichen Initiativen hängt von der Machbarkeit der Technologie, der Unterstützung der Community und der Unterscheidung zwischen anderen „übermäßigen Marketing“ -Projekten ab.

Bitcoin ist als Handelsblockchain erstellt, und seine Skriptsprache begrenzt absichtlich als staatenlos, um die Angriffsfläche zu minimieren und die Netzwerksicherheit zu gewährleisten.Aufgrund des Mangels an Turing-Vervollständigung ist es unmöglich, intelligente Verträge direkt in der Blockchain einzuführen, es sei denn, der Kern von Bitcoin wird von einer Bimedia verbessert.

Die traditionelle Bitcoin -Community ist gegen Veränderungen resistent.

• Die Erzählung achtet mehr auf die Wertspeicherung anstelle der inakulären Währung: Die Bitcoin -Community beabsichtigt, sich auf die Aufrechterhaltung des Netzwerks als Punkt -zu -Punkt -Zahlungssystem zu konzentrieren, und setzt Sicherheit und Dezentralisierung auf die schnelle Entwicklung.Wie der berühmte Bitcoin -Inhaber Michael Saylor sagte: „Niemand versucht einen kleinen Teil von ihnen, um eine Tasse Kaffee auf einem Teil eines Gebäudes auf der Fifth Avenue zu kaufen.“

• Die Stabilität des Systems ist besser als Innovation: Für Vermögenswerte, die als hervorragende Wertspeicherung angesehen werden, ist die Vorhersagbarkeit unerlässlich.Selbst wenn das Netzwerk nur 10 wichtige Upgrades hat und die Erfolgsquote jedes Upgrade 90%beträgt, liegt die Wahrscheinlichkeit eines Fehlers bei etwa 65%!Nach der Theorie normaler Unfälle: „In komplexen Systemen sollten wir einen kleinen Faktor erwarten, der oft gelegentlich ignoriert werden kann. Daher war das Ziel der Bitcoin -Community immer ein Weg, potenzielle Fehler zu reduzieren.

• Diversifizierte Gemeinschaften: Viele Bitcoin -Inhaber verstehen Bitcoin aus verschiedenen Blickwinkeln und schätzen es aus verschiedenen Gründen.Das Erreichen eines Konsenses in einer diversifizierten und dezentralen Gemeinschaft ist voller Herausforderungen, was das Innovationstempo weiter verlangsamt.Um die Vielfalt der Bitcoin -Community zu erklären, können Sie die Reaktion der Community auf die Inschrift und die Ordinale beobachten.Wenn ein Teil der Bitcoin -Community den Erfolg des Ordens feiert, gilt dies als die Zeit der Kryptokittien von Bitcoin, und die andere Person glaubt, dass dies eine Lücke ist, die repariert werden sollte.

>

1. Die schnelle Expansion des Bitcoin -Kapazitätserweiterungsschemas

Warum in Anbetracht der obigen Situation plötzlich eine große Anzahl neuer Bitcoin „L2“ -Lösungen erscheinen?

Jüngste

1. Nebenketten wie Stapel bieten intelligente Vertragsfunktionen und umfangreiche Anwendungsbereiche.

2. Clients wie RGB -Überprüfungsprojekte verwenden das UTXO -Modell des Hauptnetzes, um komplexere Transaktionen unter der Verbindung durchzuführen. Ihre Interaktion mit dem Hauptnetzwerk von Bitcoin fehlt jedoch nicht die Stabilität.

3. Der staatliche Kanal wie ein Blitznetz ist eng mit den Kernbitcoin -Entwicklern verbunden und wird als orthodoxe Toleranzmethode angesehen.

>

Die erste Generation der BTC -Expansionslösung

Was sind im Vergleich zu den vorhandenen Lösungen die Romane der jüngsten Expansionsmethode?Unserer Meinung nach stammt die aufregendste Innovation aus dem Codierungsprogramm für Bitcoin (über BITVM) und nicht nötig, BTC (wie Babylon) zu vertrauen.Dieser Artikel wird sich auf den ersteren konzentrieren.

>

>

2. Bitvm -Overview

Um zu erklären, was BitVM ist, sollten wir zunächst Empowerment einführen und sein primitives Taproot -Upgrade stimulieren.

Taproot ist ein großes Upgrade des Bitcoin -Abkommens und im November 2021 aktiviert.Über Taproot muss der Hash des Skripts standardmäßig in der Kette eingereicht werden.Wenn Sie einen Pfad des Skripts durchführen, müssen Sie das Skript nur auf dem Pfad zur Kette einreichen.Dies verbessert nicht nur die Effizienz (die Größe der Transaktion steigt nicht mit der Größe des Skripts), sondern verbessert auch die Privatsphäre (sie enthält nur den Pfad der Transaktion, nicht das gesamte Skript).

Mit der großen Chance für Taproot zum Upgrade übernahm Robin Linus die Führung bei der Start von BITVM, was eine bahnbrechende Innovation im Bitcoin -Ökosystem darstellt.

BITVM ist ein Computerparadigma.Es ermöglicht die Überprüfung (anstelle von Ausführung), ähnlich wie optimistische Rollups.

BITVM wird in der Kette minimiert, indem die komplizierte Kette aktiviert wird, indem die komplizierte Kette aktiviert wird (nur wenn der Streit nur erforderlich ist, wenn ein Streit nur dann vorliegt).

Dieser Vorgang umfasst den Binärschalter, der das Programm in die Taproot-Adresse einreicht, und verwendet den Challenge-Response-Mechanismus, um dies zu überprüfen.Zusammenfassend implementiert BITVM den vollständigen Bitcoin -Vertrag von Turing. Das Wichtigste ist:

• BITVM erfordert keine Änderung der Gabel- oder eines Bitcoin -Protokolls.

• BitVM blockiert keine Bitcoin -Blockchain -Blockade, da keine Berechnungen auf Bitcoin durchgeführt werden, sondern nur das Bitcoin -Netzwerk verwenden, um zu überprüfen, wann Streitigkeiten vorliegen.

• >

Konstruieren Sie eine Binärschaltung auf Bitcoin

Die Konstruktion von Binärschaltungen ist eine Methode, die binäre Logiktüren (z. B. und, oder nicht, nicht) zur Durchführung von Berechnungen oder Programmen verwendet, die berechnete Funktionen ausführen können.

BITVM ist wie die logische Tür des Stroms durch den Computerchip (diese winzigen Strukturen basieren auf der Existenz des Strom Die Sprache von Bitcoin.

Im Wesentlichen ist jedes Computerprogramm, von Spielen bis hin zur Fertigstellung von Linux -Betriebssystemen, das Ergebnis der komplexen Anordnung dieser logischen Türen.Durch die Kombination dieser binären Zahlen mit Logikentüren (wie und nicht und nicht Türen) haben wir verschiedene Schaltungen erstellt, einschließlich arithmetischer Logikeinheiten (ALUS) und Speichersysteme.Mit dieser Grundtechnologie können wir Verfahren schreiben und durchführen, um umfangreiche Aufgaben auszuführen.

>

Quelle: Logik -Tore durchtreten;

Die Prämisse von BITVM besteht darin, das Bitcoin -Skript zu verwenden, um unter der Kette zu berechnen (berechnete Hash an die Taproot -Adresse) und eine Kombination von Binärschaltungen durch Lösen eines Programms zu bilden und die Ausführungsüberprüfung zu aktivieren. Skript, aberDas Skript selbst führt nicht die gesamte Berechnungslogik ausWesen

Das Bitcoin-Skript kann bit-talue-Verpflichtungen erreichen, die angezeigt und bestraft werden könnenZweideutigkeitDas Verhalten ist sehr wichtig.Es erkennt unangenehm, weil es Einzelpersonen ermöglicht, den Wert einzureichen, den andere nicht ändern können.

Diese Methode beinhaltet die Verwendung von zwei Hash, um jede Eingangsposition darzustellen: ein Hash für Digital 0 und der andere für die Zahlen 1.Wenn jemand das Programm ausführen möchte, enthüllen er ein Originalbild (Vorbilder), um die Eingabe anzugeben.Der Wert wird in 0 oder 1 konvertiert, was durch Vergleich der Hash -Werte des Originalbildes mit den beiden Hash -Werten von Vertretern 0 und 1 bestimmt wird.

Wenn die Eingabe und die Ausgabe nicht übereinstimmen, haben die Überprüfungen das Recht, den Anbieter durch Beschlagnahme der Mittel des Anbieters zu bestrafen.

Herausforderungsmechanismus

Die Überprüfung ist normalerweise inUnter der KetteDurch die Ausführung wird optimistisch angenommen, dass der Beweis des Beweises ehrlich ist.Im Falle von Kontroversen wird der Prozess in die Kette übertragen, undBeginnen Sie eine Runde der Herausforderung, die sich ansprechenWesenDieser Mechanismus stellt sicher, dass in den meisten Fällen die Berechnung und Überprüfung effizient und zu niedrigen Kosten durchgeführt werden können, und nur wenn Unterschiede vorhanden sind, muss die unaussprechliche und Transparenz der Blockchain für die endgültige Entscheidung verwendet werden.

Die Dynamik des Challenge-Response-Mechanismus in BITVM beinhaltet ein System, das die Ausführung des Programms auf der Blockchain (wie Vicky und Paul) überprüfen.Wenn es einen Streit gibt, fordert Vicky Paul auf, die Richtigkeit seiner Programmausführung zu beweisen.

Vicky wählt eine logische Tür aus einer Binärschaltung aus, und Paul öffnet diese Tür, indem er den Eingang und die Ausgabe enthüllt.Bis die vage Situation bestätigt wurde oder Vicky die Möglichkeit weiterer Herausforderungen erschöpfte, wird dieser Vorgang wiederholt.Vaguely sagte, dass Paul behauptet, ein Eingang X sei 0, als eine logische Tür geöffnet wurde, aber es sei 1, als eine andere logische Tür geöffnet wurde.

Paul muss Mittel einlegenWesenDiese Transaktionen haben eine Kette erstellt, die das Fortschreiten auf der Grundlage der laufenden Interaktion ermöglicht, und die Fonds schwingen zwischen Herausforderungen und Antwortadressen.

Die Fonds in der Antwortadresse können entsprechend den Ergebnissen der Herausforderung auf mehreren Pfaden fließen:

• Wenn Vicky die Herausforderung anhält, zeigt es, dass Paul Paul erhalten hat und Paul nach einer bestimmten Zeit endlich Geld erhalten.

• Wenn Vicky beweist, dass Paul (vage) inkonsistent ist, kann sie nach diesen Mitteln bitten.

• Wenn Vicky vermutet, dass der andere Teil der Ausführung falsch ist, kann sie eine weitere Herausforderung einleiten, um die Mittel an die nächste Antwortadresse zu verschieben.Zu diesem Zweck muss sie ein Bild einer bestimmten Tabelle aufzeigen.

Dieses System bietet eine solide und transparente Struktur für die Ausführung von Streit- und Überprüfungsverfahren auf der Blockchain.Durch die Kombination finanzieller Anreize fördert es die Integrität und Genauigkeit der Ausführung und der Programmergebnisse.Anfangs unterstützte das Design den Herausforderungsmechanismus der beiden Parteien.Wie wir jedoch später zeigen werden, haben die Mitwirkenden von BITVM eine Lösung gefunden, mit der viele Teilnehmer als Herausforderer teilnehmen können.

Halbierung: Verbesserung der Effizienz der Streitbeilegung

Um die Effizienz der Verifizierung in der Kette zu verbessern, können die Verifizierung der Bisektion Methode verwenden, die eine Methode zur hohen Suche auf der logischen Tür ist, die im Voraus eingereicht wird, um die logische Tür zu finden, die in Frage gestellt werden sollte Der Herausforderungsprozess hat sich erheblich verbessert.Durch die Aufteilung des Problems des Problems in zwei Teile ermöglicht die Abteilungsmethode die Überprüfung, um den Umfang des potenziellen Fehlers schnell zu verringern, wodurch die für die Lösung des Streits erforderlichen Schritte und Zeiten verringert werden.Diese Methode bietet bei der Verarbeitung des komplexen Überprüfungsprozesses einen effizienteren und direkteren Pfad, insbesondere wenn der Fehlerort genau bestimmt werden muss.

Im Folgenden verwenden wir ein vereinfachtes Beispiel, um zu erklären, wie die Abteilungsmethode funktioniert:

Paul und Vicky machen mathematische Fragen, der Titel ist die Berechnung ((1+2)+(3+4))+((5+6)+(7+8)).

Der Prozess der Korrektur dieser Berechnung lautet ((1+2)+(3+4))+((5+6)+(7+8)) = (3+7)+(11+15) = 10+26 = 36.

Die von Paul angegebene Antwort beträgt 35, weil die Art und Weise, wie er berechnet, ((1+2)+(3+4))+((5+6)+(7+8)) = (2+7)+(11 +15) = 9+26 = 35.

Wenn Vicky Paul in Frage stellt, muss sie nur die Berechnung in Frage stellen, die im ersten Teil der Berechnung verbunden ist (dh die Logik -Tür öffnen), weil sie einverstanden sind, dass die Berechnung des zweiten Teils korrekt ist ((5+6)+( 7+8)) = 26) Essenz

>

>

3.. Verwenden Sie BitVM, um eine vertrauenswürdige Brücke zu bauen (von der Trust-minimierte Brücke)

Die erste tatsächliche Implementierung von BITVM ist wahrscheinlich ein Programm, das die Bitcoin -Brücke von Mindestvertrauen darstellt.Durch die Analyse der Details der Brücke können wir die zusätzliche Komplexität des BITVM -Programms besser verstehen.Im Folgenden fassen wir den Vorschlag von Alexei Zamyatin, Co -Funder von Bob, zusammen.

Zunächst müssen Sie eine Methode erstellen, mit der Bitcoin Bitcoin -Skript verwendet, um ein Seitungskettenbrückenprogramm zu bedienen, einschließlich eines Seitenketten -Clients.

Dann müssen Sie einen bauenLiga/Multi-SigDas Netzwerk erleichtert die Übertragung von BTC und laufe Herausforderungen-Response-Spiele.Die Allianz muss versprechen, die Brücke als Teil der BITVM -Einstellungen zu betreiben.

Die Komplexität der anfänglichen Einstellungen des Bündnisses wächst mit zunehmender Anzahl von Mitgliedern in einem sekundären Wachstum. 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist das n = 100 ist.

>

Im Gegensatz zu OP Rollup hat letztere keine Grenze für die Größe von N, und die durch dieses Schema bereitgestellte Sicherheitssicherung ist schwach.Die vorgeschlagene Arbeitslösung umfasst jedoch wahrscheinlich die Rotation der Allianzmitglieder, so dass N innerhalb von längerem Zeitbereich größer als 100 sein wird.Solange eines dieser 100 Mitglieder ehrlich ist, bleibt die Einzahlung jederzeit sicher.Unter der Annahme, dass diejenigen mit böswilligen Schauspielern jederzeit in der Kette herausgefordert werden können, können sie von der Allianz verboten werden.

Allianzen sind für die Verwaltung von Einlagen und Abhebungen verantwortlich und jederzeit die Staaten der Seitenkette überprüft.Der Betreiber und der Überwachungsturm (Wachtürme) müssen Hypotheken einreichen, um korrektes Verhalten zu motivieren und falsche Herausforderungen zu verhindern.

Ein weiterer Grund, warum dieses Schema nicht der strengersten Faltung entspricht, ist, dass Benutzer die Seitenkette nicht einseitig verlassen können, sondern den Rückzug mit Allianzen basierend auf 1/N -Sicherheitsannahmen beantragen müssen.

>

4. Bitvm V2: Kann Bitvm diese permisionslose Überprüfung (permisionslose Überprüfung) unterstützen?

Am 25. März führte Robin Linus Bitvm V2 ein.Die wichtigste Änderung des BITVM V2-Vorschlags besteht darin, dass der Proobe den Ausgangsstatus und alle Zwischenergebnisse gleichzeitig einreichen muss, anstatt die logische Tür einzeln zu öffnen, um im Prozess der Herausforderung zu uten.Mit dieser Änderung stellt BITVM sicher, dass jede Herausforderung für diese Verpflichtungen durch Verschlüsselungsbeweise gestützt werden muss.Dieser Mechanismus filtert aus den unbegründeten Müllherausforderungen, da Herausforderer spezifische Verschlüsselungszertifikate für kontroverse Nachweise bereitstellen müssen.

Durch die unbegrenzte Teilnahme am Überprüfungs- und Herausforderungsprozess hat BITVM 2 seine Sicherheitssicherung auf die Einschränkungen mehrerer Signatur -Allianzen erweitert und BitVM näher an die Sicherheitsübernahme einer optimistischen Faltung hergestellt.

Die Konstruktion der Brücke erfordert jedoch immer noch die Multisignatur der Allianz, was bedeutet, dass Mitglieder der Allianz in den schlimmsten Fällen versuchten, ihre Lösegeld zu erpressen, um ihre Mittel aufzusetzen.Dies ist eine zusätzliche Sicherheitsannahme für eine optimistische Faltung, da Benutzer in optimistischer Faltung L1 verlassen können, ohne eine Vermittlungsgenehmigung zu erhalten.

>

Zusätzliche Sicherheitsannahmen in der Basiskette

>

5. Bitvm -Einschränkungen

Wie oben diskutiert, sind die Sicherheitsannahmen die beste Lösung, die BITVM anbieten kann, die sich nahezu optimistische Faltung befinden.Zusätzlich zur Komplexität der Allianz, die für Versicherungseinlagen und ihre Aktivitätsprobleme verantwortlich ist, umfasst einige zusätzliche Komplexität, die nur bei BITVM einzigartig ist.

• Obwohl BITVM theoretisch komplexe Kettenprogramme durchführen kann, wobei die Komplexität der Programmierprogramme unter diesen Verbindungen zunimmt, haben die relevanten Kosten für die Durchführung von Betrug auf Bitcoin rasch zugenommen.Übermäßige Programme erfordern möglicherweise mehrere Blöcke, um diesen Prozess weiter zu komplizieren.

• Bergbaupools mit Rechenleistung können aus BITVM gestohlen werden (ähnlich dem Blitznetz), da sie sich verschwören können, um die Zertifizierung von Herausforderern zu überprüfen, oder böswillige Akteure können sie bestechen, um die Herausforderer zu ignorieren.

• Aufgrund der interaktiven Natur von BITVM können böswillige Beweise das System manipulieren und es aus der Überprüfung stehlen.Angriff kann gemäß den folgenden Annahmen konstruiert werden:

• Der Proode beginnt, die Sequenz durch Starten der Transaktion zu überprüfen

• Die Verifizierung der Verhaltensvalidität des Verdachtsprotesters beginnt eine Herausforderung, die die Antwortgebühr enthält, die den Prooter in der Herausforderung zahlt

• Die Provers sammeln Kosten, ignorieren gleichzeitig die Herausforderungen und erfüllen einige ihrer Verantwortlichkeiten im Verifizierungsprozess nicht

• Am Ende ist BITVM derzeit ein konzeptionelles Framework und ein virtuelles Computerkonzept, das fast unmöglich ist, einen Betrieb auszuführen.Die „Faltung“ von BITVM ist weit vom Anwendungsebene entfernt.Das technische Risiko, BITVM auszuführen, kann nicht unterschätzt werden.

>

6. Schlussfolgerung

In Anbetracht der Bewertung der Ethereum-Expansionslösung kann der potenzielle Marktwert von etwa 15 bis 20%des Marktwerts von Ethereum-der potenzielle Marktwert der zweitschichtigen Lösung von Bitcoin enorm sein.

Obwohl BitVM noch in den frühen Stadien ist -ist es im Wesentlichen ein skrupelloses virtuelles Computerkonzept -, hat viele Interessen und Aussagen aus verschiedenen Projekten stimuliert, die ihr Potenzial bestreiten wollen.Viele Projekte, die nichts mit dem BITVM -Team zu tun haben, bemühen sich um eine großartige Ankündigung, in der Hoffnung, ihrer Meinung nach einen Platz in einem vielversprechenden neuen Gebiet von Bitcoin zu belegen.Sorgfältiger überprüfte eine nüchternere Realität sorgfältiger: Der GitHub -Bericht von BITVM hat nur wenige Mitwirkende, und nur wenige Telegrammgruppen von BITVM -Bauherren sind tatsächlich in der Gruppe beteiligt.

Jegliches Schlüsselprinzip, dem Bitcoin -Skalierbarkeitslösungen folgen müssen, ist, dass die Kernarchitektur von Bitcoin unverändert bleiben sollte (gemäß den Vorhersagbarkeitsprinzipien).Bitvm haftet an diesem Prinzip und ist die erste Pionierlösung, die eine programmierbare Ebene auf dem Bitcoin bereitstellt, ohne ihren Kern zu ändern.

Dieser Artikel ist in der frühen Stufe der BITVM -Entwicklung geschrieben.Bis vor kurzem scheint die Idee, die ZK -Faltung auf Bitcoin zu verwirklichen, so unrealistisch wie der leere Turm zu sein, da die grundlegende Fähigkeit erforderlich ist -wie die Fähigkeit von Bitcoin, die ZK -Zertifizierung zu überprüfen -gibt es nicht.Kürzlich haben BITVM -Forscher jedoch den Fortschritt des Bitcoin -Skripts geteilt, was zum Stark -Überprüfungsgerät auf Bitcoin führen kann.

Die Realisierung von Bitcoin -Expansionslösungen übertrifft reine technische Herausforderungen.Obwohl der aktuelle Moment ein einzigartiges Chancenfenster für diese Innovationen bietet, kann die schnelle Inflation der Projektzahl des Projekts und der erheblichen Risiken durch irreführende Aussagen und Marketing die Aussichten für mehr rechtliche Projekte zerstören.

Da das Ökosystem an dieser Kreuzung steht, ist das Problem, ob der Erfolg von Bitcoin -Expansionslösungen Ethereum kopieren kann, nicht nur technisch, sondern auch tief in der breiteren Dynamik der Blockchain -Community.Schließlich hat die Kern -Ethereum -Community L2 als wichtiger Teil des Ethereum -Expansions -Routendiagramms ausgewählt, und die Bitcoin -Community kann dies nicht sagen.

Referenz

• „Bitcoin Hörbar.“

• „Bitvm.“

• „Bitvm: Uma Ferramenta Para Contratos Ainda Mais Inteligentes -Uper TestNet -Satsconf 2023 -youtube.“

• Linus, Robin.

• „Was ist Bitvm? Mit Robin Linus und Super TestNet (SLP520) -youtube.“

• Taucher in Bitvm-Computing-Paradigma zum Ausdruck von Bitcoin

• Coinex-Institution: Bitvm, Das Potenzial intelligenter Verträge auf dem Bitcoin-Mainnet https://www.busines-standard.com/content/press-ani/coinex-institu tion-bitvm-the-potential-of-smart-contracts- on -The-Bitcoin-M-Mainnet-123122500619_1.html