Heute werden wir über die Merlin-Kette sprechen, ein zweitrangiges Bitcoin-Ass-Projekt, das gestern gestartet wurde. Wir haben tatsächlich schon früher über seine Absteckaktivitäten gesprochen, also haben die Freunde, die die Aufgabe gestern erledigt haben, auch Airdrops erhalten, weil es immer noch sehr lohnend war . Da Merlin derzeit über ein TVL-Volumen von 3 Milliarden US-Dollar verfügt, was weit mehr ist als bei anderen Bitcoin-Layer-2-Projekten, werfen wir heute einen Blick darauf, wo die Technologie von Merlin herausragend ist und welcher Preis angemessener ist.
Überblick
Merin Chain ist eine Bitcoin-Layer-2-Lösung, die vom Team hinter Bitmap Jech (ehemals Recursiverse) entwickelt wurde. Integriertes ZK-Rollup-Netzwerk, dezentrales Oracle-Netzwerk, Datenverfügbarkeit und On-Chain-BTC-Betrugsschutzmodul. Merlin Chain hat es sich zum Ziel gesetzt, die nativen Assets, Protokolle und Produkte von Bitcoin durch sein Second-Layer-Netzwerk zu stärken. Es unterstützt eine Vielzahl von Bitcoin-Protokollen wie BRC-20, BRC-420, Atomics, Pipe usw. Merin Chain ist außerdem EVM-kompatibel und arbeitet mit niedrigen Gebühren und hoher Skalierbarkeit.
Merlin Chain verwendet Zero-Knowledge-Proofs, die zur Überprüfung der Verpflichtung an Bitcoin übermittelt werden, und bietet so eine verbesserte Unterstützung für das Bitcoin-Netzwerk. Es ermöglicht Herausforderern, Betrugsbeweise zu kontroversen Angelegenheiten vorzulegen und dabei den robusten Konsensmechanismus von Bitcoin zu nutzen, um die Sicherheit des Merlin Chain-Netzwerks zu gewährleisten. Dies gewährleistet eine sichere, praktische, umfassende und kostengünstige Netzwerkumgebung für Benutzer innerhalb des Ökosystems.
Die Architektur
Die Infrastruktur von Merlin Chain basiert auf der ZK-Technologie von Polygon und stellt über Celestia ein dezentrales Oracle-Netzwerk für die Datenverfügbarkeit bereit. Die Rechenleistung wird durch das dezentrale ZK-Rechenleistungsnetzwerk von Lumoz für wissensfreie Berechnungen unterstützt.
Merlin Chain bietet Bitcoins führende Zero-Knowledge (ZK)-Skalierungslösung, die folgende Vorteile bietet:
- Sicherheit: Erbt die Sicherheit von Bitcoin und bietet gleichzeitig zusätzliche Vorteile bei der L2-Batch-Skalierbarkeit.
- EVM-Kompatibilität: Unterstützt die meisten vorhandenen Smart Contracts, Entwicklertools und Wallets und gewährleistet so eine nahtlose Interoperabilität.
- Geringe Kosten: Verwenden Sie ZK-Proof in Kombination mit zkSNARK, um den Speicherplatzverbrauch in L1 zu reduzieren und die Transaktionskosten für Benutzer zu optimieren.
- Hohe Leistung: Schneller Netzwerkdeterminismus durch häufige Gültigkeitsnachweise und ultimative Skalierbarkeit durch rekursive STARKs.
Wissensfreie Beweiserstellung und Verpflichtungsüberprüfung
Der ZK-L2 von Merlin Chain nutzt die Polygon CDK-Technologie und der wissensfreie Beweis wird durch das dezentrale ZK-Rechenleistungsnetzwerk von Lumoz unterstützt.
Beweiserstellung
Ähnlich wie andere Polygon-CDK-Ketten übernimmt die Merlin-Kette die Beweiserstellung und Verifizierung von Transaktionen über eine Komponente namens zkProver, bei der es sich um einen wissensfreien Beweisgenerator handelt. Alle Regeln für gültige Transaktionen werden in zkProver implementiert und durchgesetzt.
zkProver führt komplexe mathematische Berechnungen in Form von Polynomen und Assembler durch, die dann im Smart Contract verifiziert werden. Diese Regeln können als Einschränkungen betrachtet werden, denen Transaktionen folgen müssen, um den Statusbaum oder den Exit-Baum zu ändern.
Interaktion mit Knoten und Datenbank (DB)
zkProver interagiert hauptsächlich mit zwei Komponenten, nämlich Knoten und Datenbanken. Unten finden Sie ein Flussdiagramm, das diesen Prozess klar erklärt.
Wie im obigen Flussdiagramm dargestellt, ist die gesamte Interaktion in vier Schritte unterteilt.
1 → Der Knoten sendet den Inhalt des Merkle-Baums an die Datenbank und speichert ihn dort
2 → Der Knoten sendet dann die Eingabetransaktion an zkProver
3 → zkProver greift auf die Datenbank zu, um die Informationen zu erhalten, die für den überprüfbaren Nachweis der vom Knoten gesendeten Transaktionen erforderlich sind. Zu diesen Informationen gehören die Merkle-Wurzel, zugehörige Geschwisterschlüssel und Hashes.
4 → Anschließend generiert zkProver Transaktionsnachweise und sendet diese Nachweise zurück an den Knoten.
Zustandsmaschine
zkProver übernimmt modulares Design. Abgesehen von einigen Komponenten besteht es hauptsächlich aus einer Flotte endlicher Automaten. Es verfügt über insgesamt 13 Finite-State-Maschinen.
Master-Endzustandsmaschine
Hilfs-Finite-State-Maschine → Binär-SM, Speicher-SM, Speicher-SM, Arithmetik-SM, Keccak-Funktion SM, PoseidonG SM
Hilfs-Finite-State-Maschine → Fill-PG SM, Fill-KK SM, Bittransferfeld SM, Speicherausrichtung SM, Byte4 SM, ROM SM
Aufgrund des modularen Aufbaus von zkProver kann die Master-Finite-State-Maschine so viele Aufgaben wie möglich an andere spezialisierte Finite-State-Maschinen delegieren. Dadurch wird die Effizienz des Haupt-SM erheblich verbessert.
Hilfs-Finite-State-Maschine
Der primäre SM-Aktuator weist jede sekundäre Finite-State-Maschine direkt an, indem er entsprechende Anweisungen („Aktionen“ genannt) sendet, wie in der Abbildung unten dargestellt.
Null-Wissen-Zusammenstellung
Als Assemblersprache ist die Zero-Knowledge-Assembly-Sprache (oder zkASM) speziell dafür konzipiert, Anweisungen in der Haupt-Finite-State-Maschine von zkProver anderen Finite-State-Maschinen zuzuordnen. Für Finite-State-Maschinen mit Firmware ist zkASM der Interpreter für die Firmware.
Der angegebene Assembler-Code wird aus dem zkASM-Code generiert, wobei Anweisungen in der Haupt-Finite-State-Maschine verwendet werden, um anzugeben, wie ein bestimmter SM-Executor Berechnungen durchführen muss. Der Executor befolgt strikt die Logik und Konventionen des zkASM-Codes und vereinfacht so die Überprüfung der Berechnung.
polynomiale Identitätssprache
Polynomial Identity Language (oder PIL) wurde speziell für zkProver entwickelt. Fast alle endlichen Automaten verwenden Polynome, um ihre Berechnungen auszudrücken. Daher müssen Zustandsübergänge in endlichen Zustandsautomaten die Berechnung spezifischer Polynomidentitäten erfüllen.
Polygon zkEVM schafft die effektivste Lösung für die drei Probleme Datenschutz, Sicherheit und Skalierbarkeit in der Blockchain. Hintergrund ist ein effizientes Zero-Knowledge-Commitment-System. Das mit Abstand zuverlässigste und effizienteste Commitment-Schema ist das Polynom-Commitment-Schema.
Beweisen Sie die Korrektheit der Ausführung
Die Endzustandsmaschine von zkProver dient dazu, Programme auszuführen und sicherzustellen, dass diese Programme korrekt ausgeführt werden.
Daher enthält jede Hilfs-Feinzustandsmaschine einen eigenen Executor und ein PIL-Programm, mit dem überprüft werden kann, ob alle vom Haupt-SM-Executor gesendeten Anweisungen korrekt ausgeführt werden.
Die Komponenten von zkProver umfassen die folgenden vier Teile.
-Aktuator oder Hauptausführer einer endlichen Zustandsmaschine
-STARK rekursive Komponente
-CIRCOM-Bibliothek
-Zk-SNARK-Prüfer
Kurz gesagt, zkProver verwendet diese vier Komponenten, um überprüfbare Beweise zu generieren. Daher sind die Einschränkungen, die jeder vorgeschlagene Stapel erfüllen muss, Polynomeinschränkungen oder Polynomidentitäten. Alle gültigen Stapel müssen bestimmte Polynomeinschränkungen erfüllen.
Aktuator
Der Executor oder Haupt-Finite-State-Machine-Executor übernimmt die Ausführung von zkEVM. Hier wird die neue Zero-Knowledge-Assemblersprache (oder zkASM), die speziell vom Polygon-zkEVM-Team entwickelt wurde, zur Interpretation des EVM-Bytecodes verwendet.
Als Eingabe werden Transaktionen, alte und neue Zustände, die ChainID des Sequenzers usw. benötigt. Der Aktor braucht auch
PIL, die Polynomliste, Registerliste und ROM, speichert die Befehlsliste und führt sie aus
Die Executor-Einstellungen müssen Polynomeinschränkungen für jeden gültigen Transaktionsstapel erfüllen. Eine andere vom Team speziell entwickelte Sprache namens Polynomial Identity Language (oder PIL) wird zur Codierung aller Polynomeinschränkungen verwendet.
Der Executor führt alle Anweisungen auf der PIL-Hardware aus und generiert das festgeschriebene Polynom; dies ist die Feinzustandsschleife oder eine Liste aller Zustände. Außerdem werden einige allgemeine Daten generiert, die Teil der Eingabe für den zk-SNARK-Validator sind.
Dezentrales Oracle-Netzwerk
In der L2-Architektur von Merlin Chain sammeln und stapeln Sequenzknoten Transaktionen und generieren komprimierte Transaktionsdaten, ZK-Statuswurzeln und Beweise über zkEVM. Das dezentrale Oracle-Netzwerk stellt diese L2-Daten zusammen und lädt sie in die Stammwurzel des Bitcoin-Mainnets hoch, wodurch sie für das gesamte Netzwerk öffentlich zugänglich sind.
Der Arbeitsablauf von Merlin Chain lässt sich wie folgt zusammenfassen: ZK L2 sammelt und stapelt Transaktionen, dann generiert zkProver Beweise. Gleichzeitig werden Transaktionsrohdaten, Merkle-Bäume, Bitcoin-Status und andere Daten zu gemeinsamen Beweisen aggregiert und mit dem Oracle-Netzwerk synchronisiert.
Nach Erhalt dieser L2-Daten führt das Oracle-Netzwerk eine Schaltungskompilierung durch und übermittelt die komprimierten Daten und Verpflichtungen an den Taproot des Bitcoin-Mainnets, wodurch diese Daten öffentlich überprüfbar und für alle Teilnehmer zugänglich werden.
Oracle-Knoten spielen eine wichtige Rolle in Merlin Chain. Sie sind nicht nur für die Überprüfung der Zero-Knowledge-Beweise in der Merlin-Kette verantwortlich, sondern auch für das Hochladen von Layer-2-Daten (L2) in die Stammwurzel des Bitcoin-Mainnets.
ZKP-Endabrechnung:
Oracle-Knoten unterstützen Proof-Aggregatoren bei der Vorbereitung und Übermittlung von Zero-Knowledge-Proofs (ZKPs) an die Pfahlwurzel von Bitcoin-Blöcken. Dieser Beweis bestätigt die Gültigkeit der Batch-Transaktion und aktualisiert den Kettenstatus auf Ebene 2, ohne die Details preiszugeben.
Dezentrale Verifizierung:
Als dezentrale Einheit gewährleistet das Oracle-Knotennetzwerk die gemeinsame Überprüfung der Datenverfügbarkeit (DA) und ZK-Proofs. Dies bedeutet, dass jeder Knoten unabhängig am Verifizierungsprozess teilnimmt, was die Sicherheit und Dezentralisierung des gesamten Systems erhöht.
Oracle-Knoten nehmen nicht nur an der Transaktionsüberprüfung und -bestätigung teil, sondern interagieren auch mit dem Bitcoin-Mainnet und gewährleisten so eine nahtlose Integration und Sicherheit von Layer-2-Lösungen mit dem Bitcoin-Netzwerk. Dieses Design erweitert die Fähigkeiten von Merlin Chain als effiziente, sichere und dezentrale Blockchain-Plattform.
Mechanismus zum Abstecken von Oracle-Knoten
Im Multi-Token-Abstecksystem von Merlin Chain ist der Absteckmechanismus eine Schlüsselkomponente für die Aufrechterhaltung der Netzwerksicherheit, die Motivation der Teilnehmer und die Gewährleistung der Dezentralisierung. Dieser Mechanismus ermöglicht es Benutzern, am Governance- und Datenüberprüfungsprozess von Merlin Chain teilzunehmen, indem sie verschiedene Krypto-Assets oder Proxys für bestehende Oracle-Knoten abstecken.
Vermögenssicherheit und Transparenz
Um die von den Benutzern zugesagten Vermögenswerte zu schützen, verwendet das System Multisignatur- und Cold-Storage-Technologie, um die Sicherheit der Vermögenswerte zu gewährleisten. Alle Absteckungs- und Belohnungsverteilungsprozesse sind offen und transparent, und Benutzer können ihren Einsatzstatus und die erwarteten Erträge jederzeit überprüfen. Darüber hinaus gewährleistet der Einsatz intelligenter Verträge die Unveränderlichkeit und Automatisierung des Absteckprozesses und erhöht so die Glaubwürdigkeit des Systems weiter.
Belohnungen abstecken
Die Einsatzprämien von Oracle-Knoten bestehen hauptsächlich aus zwei Teilen: Blockprämien und Transaktionsgebühren. Blockbelohnungen sind Merl-Token, die zu einer bestimmten Inflationsrate ausgegeben werden und auf der Grundlage der Einsatzgewichtung des Knotens und der Netzwerkleistung verteilt werden. Bei den Transaktionsgebühren handelt es sich um BTC-Tokens und ein Prozentsatz jeder Transaktion in der Merlin-Kette wird von der Transaktionsgebühr abgezogen.
Die Einsatzprämien werden basierend auf der Art und Höhe der verpfändeten Vermögenswerte verteilt. BTC-Staker erhalten 40 % der Belohnungen, Merl-Staker erhalten ebenfalls 40 % der Belohnungen und die restlichen 20 % der Belohnungen werden an Staker anderer Mainstream-Assets (wie BRC20) verteilt.
Um eine faire Belohnungsverteilung zu gewährleisten, verwenden wir einen gewichteten Durchschnittsalgorithmus basierend auf der Marktkapitalisierung und dem zugesagten Betrag. Der Algorithmus berücksichtigt die Marktkapitalisierung und Liquidität verschiedener Vermögenswerte sowie den Einsatzbetrag jedes Oracle-Knotens, um die Belohnungen zu berechnen, die jeder Knoten erhalten sollte.
Sicherheitsmaßnahmen
Knotenauswahl und -eliminierung
Die Auswahl der Oracle-Knoten erfolgt auf der Grundlage einer Reihe von Kriterien, darunter der Höhe der Spende, der Online-Dauer, der Erfolgsquote bei der Verifizierung usw. Das System bewertet regelmäßig Oracle-Knoten und leistungsschwache Knoten werden eliminiert. Neue Knoten werden basierend auf ihrer Leistung und Community-Bewertung ausgewählt.
Der Prozess vom ZKP zum BTC-Netzwerk
Das dezentrale Oracle-Netzwerk kombiniert Datenverfügbarkeit (DA) und ZK-Proof-Verifizierung. Der konkrete Ablauf lässt sich wie folgt gliedern:
Chargenbildung:
Benutzertransaktionen werden vom Sortierer gesammelt und in Stapeln organisiert.
Chargenüberprüfung:
Sobald der Stapel gebildet ist, wird er überprüft und die Stapeldaten und sein Hashwert werden an den Oracle-Knoten übertragen.
Datenvalidierung und -speicherung:
Jeder Oracle-Knoten überprüft die Batch-Daten unabhängig und speichert die überprüften Hashes zur zukünftigen Verwendung in einer lokalen Datenbank.
Signaturerstellung:
Jeder Oracle-Knoten generiert eine Signatur für den Batch-Hash, um die Integrität und Authentizität des Batches zu bestätigen.
Mit Bitcoin kommunizieren:
Der Sequenzer sammelt die Signaturen und Original-Batch-Hashes des Oracle-Mitglieds und übermittelt sie an die Pfahlwurzel des Bitcoin-Netzwerks.
Überprüfung der Bitcoin-Schwellenwertsignatur:
Der Sequenzer überprüft die übermittelte Signatur anhand einer gültigen Liste von Oracle-Netzwerkmitgliedern und bestätigt, dass eine ausreichende Genehmigung für den Batch-Hash erteilt wurde.
Celestia: Öffentliche DA-Ebene
Merlin Chain wird Celestia als Datenverfügbarkeitsschicht verwenden, um sicherzustellen, dass Blockdaten nachweislich freigegeben werden, sodass jeder den Status von Merlin Chain verstehen und speichern kann.
Über Celestia ermöglicht Merlin Chain jedem den Zugriff auf historische Daten, sodass neue Rollup-Knoten den neuesten Zustand durch die Wiedergabe historischer Blöcke rekonstruieren können. Sobald die Daten auf Celestia veröffentlicht sind und ihre Verfügbarkeit garantiert ist, sind Rollups und Anwendungen für die Speicherung ihrer historischen Daten verantwortlich. Insbesondere wenn Knoten einen neuen Block erhalten, der der Kette hinzugefügt wird, überprüfen sie die Verfügbarkeit der Daten. Knoten werden versuchen, alle Transaktionsdaten für den neuen Block herunterzuladen, um die Verfügbarkeit zu überprüfen. Wenn der Knoten alle Transaktionsdaten herunterladen kann, wurde die Verfügbarkeit der Daten erfolgreich überprüft, was beweist, dass die Blockdaten tatsächlich im Netzwerk veröffentlicht wurden.
Zukünftige Upgrades: Bitcoins On-Chain-Betrugsschutzmechanismus
Das Beta-Mainnet von Merlin Chain verlässt sich auf das dezentrale Oracle-Netzwerk, um seine ZK-L2-Datenverfügbarkeit (DA) und Zero-Knowledge-Proof (ZKP)-Verifizierung bereitzustellen. Aufgrund der Turing-Unvollständigkeit des Bitcoin-Netzwerks ist es jedoch nicht möglich, eine wissensfreie Beweisüberprüfung direkt im Bitcoin-Mainnet durchzuführen. Daher sind herkömmliche Methoden zur Überprüfung von Zero-Knowledge-Beweisen in Layer-1-Blockchain-Netzwerken (wie in der ZK-Rollup-Lösung zu sehen) nicht auf Bitcoin anwendbar.
Merlin Chain löst diese Herausforderung, indem es Taproot nutzt, um aggregierte wissensfreie Beweise und Rollup-Daten in das Bitcoin-Mainnet zu schreiben. Dieser Prozess stellt sicher, dass ZK-Rollup-Daten in Bitcoin verankert sind und unveränderlich bleiben. Dies allein kann jedoch weder die Gültigkeit und Richtigkeit von Transaktionen innerhalb von ZK-Rollup garantieren, noch kann es den leistungsstarken Konsensmechanismus von Bitcoin vollständig nutzen, um die Sicherheit von Layer 2 ZK-Rollup zu gewährleisten.
Bei zukünftigen Upgrades plant Merlin Chain die Einführung eines betrugssicheren Mechanismus in der Bitcoin-Kette: Knoten im dezentralen Oracle-Netzwerk müssen im Voraus BTC im Bitcoin-Netzwerk verpfänden, was die Grundlage für den Herausforderungsmechanismus in der Bitcoin-Kette bildet. Benutzer können ZK-Rollup-Herausforderungen basierend auf komprimierten Transaktionsdaten, ZK-Staatswurzeln und ZK-Beweisen im Bitcoin-Mainnet initiieren. Wenn es eine Inkonsistenz zwischen den Challenge-Proof-Daten und dem Beweis gibt, können Benutzer vorab abgesteckte Vermögenswerte im Bitcoin-Mainnet beanspruchen und ZK-Rollup wird auf den letzten verifizierten Status zurückgesetzt.
Merlin Chain nutzt den betrugssicheren Mechanismus der Bitcoin-Kette, um die Richtigkeit der vom dezentralen Oracle-Netzwerk übermittelten Daten und ZKP sicherzustellen. Im Vergleich zum optimistischen Rollup führt das Bitcoin-Mainnet keinen Betrugsnachweis mehr für das gesamte Transaktionsvolumen durch, sondern konzentriert sich auf die Überprüfung der Sicherheit der ZK-Staatswurzel und des ZK-Beweises. Dadurch erhöht sich die Geschwindigkeit enorm.
Token-Ökonomie
Die Gesamtzahl der Token beträgt 2.100.000.000, davon sind derzeit 245.700.000 im Umlauf, mit einer Umlaufrate von 11,7 %. Der aktuelle Währungspreis beträgt etwa 1,1 US-Dollar, und der Gesamt-FDV hat 2,2 Milliarden US-Dollar erreicht. Leider wurde die Verteilung der Token nicht gefunden.
Zusammenfassend lässt sich sagen, dass dieses Projekt in Bezug auf Technologie, Ökologie und Gesamt-TVL tatsächlich anderen BTC-Schichten voraus ist, insbesondere der TVL, der für sich selbst spricht (3 Milliarden US-Dollar), und im Vergleich zu anderen BTC-Schichten2 beträgt der Arb nur 2,6 Milliarden Bei StacksTVL sind es nur 100 Millionen, während der FDV von Stacks derzeit bei 4 Milliarden US-Dollar liegt. Der Gesamtmarktwert der Layer2-Top-Projekte von EVM beträgt 8-10 Milliarden FDV, sodass Merlin aus dieser Sicht tatsächlich immer noch in einem unterschätzten Bereich liegt.