Interpretation von Aleos neuestem Algorithmus-Synthese-Puzzle: Führend bei der Web3-Datenschutzrevolution

Aleo ist ein Blockchain-Projekt, das sich auf den Schutz der Privatsphäre konzentriert und durch wissensfreie Technologie (ZKP) eine höhere Privatsphäre und Skalierbarkeit erreicht. Die Kernidee von Aleo besteht darin, Benutzern die Authentifizierung und Verarbeitung von Daten zu ermöglichen, ohne ihre persönlichen Daten preiszugeben. In diesem Artikel werden hauptsächlich die Projektskizze und die neuesten Fortschritte von Aleo vorgestellt und die Aktualisierung des Puzzle-Algorithmus ausführlich erläutert, über die der Markt große Besorgnis erregt. Vorschau des neuesten Algorithmus;) Das TLDRAleo-Netzwerk generiert jede Stunde zufällig eine ZK-Schaltung; der Bergmann muss während dieser Stunde eine andere Nonce als Eingabe der Schaltung ausprobieren, um den Zeugen (dh alle Variablen in der Schaltung, diesen Berechnungsprozess) zu berechnen wird auch als „Synthetisieren“ bezeichnet) Nachdem Sie die Merkle-Wurzel für den Zeugen gefunden haben, stellen Sie fest, ob er die Anforderungen an die Mining-Schwierigkeit erfüllt. Aufgrund der Zufälligkeit der Schaltung ist dieser Mining-Algorithmus nicht GPU-freundlich und weist große Schwierigkeiten bei der Berechnung der Beschleunigung auf. Finanzierungshintergrund Aleo schloss 2021 eine Serie-A-Finanzierung in Höhe von 28 Millionen US-Dollar unter der Leitung von a16z und 2024 eine Serie-B-Finanzierung in Höhe von 200 Millionen US-Dollar ab. Zu den Investoren gehören Kora Management, SoftBank Vision Fund 2, Tiger Global, Sea Capital, Slow Ventures und Samsung Next. unter anderen. Die Finanzierungsrunde bewertet Aleo mit 1,45 Milliarden US-Dollar. Projektübersicht Datenschutz Der Kern von Aleo ist die Zero-Knowledge-Proofs-Technologie (ZKPs), die die Durchführung von Transaktionen und die Ausführung intelligenter Verträge unter Wahrung der Privatsphäre ermöglicht. Die Transaktionsdetails des Benutzers, wie Absender und Transaktionsbetrag, werden standardmäßig ausgeblendet. Dieses Design schützt nicht nur die Privatsphäre der Benutzer, sondern ermöglicht bei Bedarf auch eine selektive Offenlegung, was sich sehr gut für die Entwicklung von DeFi-Anwendungen eignet. Zu seinen Hauptkomponenten gehören: Leo-kompilierte Sprache: von der Rust-Sprache adaptiert und speziell für die Entwicklung von Zero-Knowledge-Anwendungen (ZKApps) verwendet, wodurch die Anforderungen der Entwickler an Kryptographiekenntnisse reduziert werden. snarkVM und snarkOS: snarkVM ermöglicht die Durchführung von Berechnungen außerhalb der Kette und nur die Überprüfung der Berechnungsergebnisse in der Kette, wodurch die Effizienz verbessert wird. snarkOS gewährleistet die Sicherheit von Daten und Berechnungen und ermöglicht die erlaubnislose Funktionsausführung. zkCloud: Bietet eine sichere und private Off-Chain-Computing-Umgebung und unterstützt Programmierinteraktionen zwischen Benutzern, Organisationen und DAOs. Aleo bietet außerdem eine integrierte Entwicklungsumgebung (IDE) und ein Software Development Kit (SDK), um Entwickler beim schnellen Schreiben und Veröffentlichen von Anwendungen zu unterstützen. Darüber hinaus können Entwickler Anwendungen in der Programmregistrierung von Aleo bereitstellen, ohne auf Dritte angewiesen zu sein, was das Plattformrisiko verringert . Skalierbarkeit Aleo verwendet eine Off-Chain-Verarbeitungsmethode. Transaktionen werden zunächst auf dem Benutzergerät berechnet und dann werden nur die Verifizierungsergebnisse in die Blockchain hochgeladen. Dieser Ansatz verbessert die Geschwindigkeit der Transaktionsverarbeitung und die Skalierbarkeit des Systems erheblich und vermeidet Netzwerküberlastungen und hohe Gebühren, ähnlich wie bei Ethereum. Konsensmechanismus Aleo führt AleoBFT ein, einen Konsensmechanismus mit hybrider Architektur, der die sofortige Endgültigkeit des Verifizierers und die Rechenleistung des Prüfers kombiniert. AleoBFT erhöht nicht nur die Dezentralisierung des Netzwerks, sondern erhöht auch Leistung und Sicherheit. Schnelle Blockendgültigkeit: AleoBFT stellt sicher, dass jeder Block sofort nach der Generierung bestätigt wird, was die Knotenstabilität und das Benutzererlebnis verbessert. Dezentralisierungsgarantie: Durch die Trennung der Blockproduktion von der Coinbase-Generierung ist der Verifizierer für die Blockgenerierung verantwortlich und der Prüfer führt Beweisberechnungen durch, um zu verhindern, dass einige wenige Einheiten das Netzwerk monopolisieren. Anreizmechanismus: Prüfer und Zertifizierer teilen sich Blockbelohnungen; Zertifizierer werden ermutigt, Prüfer zu werden, indem sie Token verpfänden, wodurch die Dezentralisierung und Rechenleistung des Netzwerks verbessert wird. Mit Aleo können Entwickler Anwendungen erstellen, die nicht an Gas gebunden sind, wodurch es sich besonders für lang laufende Anwendungen wie maschinelles Lernen eignet. Aktueller Fortschritt: Aleo wird am 1. Juli ein Testnetz mit Anreizen starten. Hier sind einige wichtige aktuelle Informationen: ARC-100. Bewilligt wurde: ARC-100-Vorschlag („Compliance Best Practices for Aleo Developers and Operators“), der die Einhaltung von Vorschriften und Sicherheitsmaßnahmen beinhaltet B. Sperrung und verspäteter Eingang von Geldern im Aleo-Netzwerk, wurde die Abstimmung beendet und angenommen. Das Team nimmt letzte Anpassungen vor. Validator-Incentive-Programm: Dieses Programm startet am 1. Juli, um neue Puzzle-Mechanismen zu validieren. Das Programm läuft bis zum 15. Juli. In dieser Zeit werden 1 Million Aleo-Punkte als Belohnung ausgeschüttet. Der Prozentsatz der von einem Knoten generierten Punkte bestimmt seinen Anteil an Belohnungen, wobei jeder Validator mindestens 100 Token verdienen muss, um Belohnungen zu erhalten. Konkrete Details stehen noch nicht fest. Anfangsvorrat und Umlaufvorrat: Der Anfangsvorrat beträgt 1,5 Milliarden Token und der Anfangsvorrat im Umlauf beträgt etwa 10 % (noch nicht endgültig). Die Token, die hauptsächlich aus Coinbase-Missionen stammen (75 Millionen), werden in den ersten sechs Monaten verteilt und beinhalten Belohnungen für das Abstecken, das Betreiben von Validatoren und die Validierung von Knoten. Testnet Beta Reset: Dies ist der letzte Netzwerk-Reset. Nach Abschluss werden keine neuen Funktionen hinzugefügt und das Netzwerk ähnelt dem Mainnet. Zurücksetzen, um ARC-41 und neue Puzzle-Funktionalität hinzuzufügen. Code Freeze: Der Code Freeze wurde vor einer Woche abgeschlossen. Plan zur Erweiterung der Validierungsknoten: Die anfängliche Anzahl der Validierungsknoten beträgt 15, mit dem Ziel, innerhalb des Jahres auf 50 zu steigen und schließlich 500 zu erreichen. Um ein Delegator zu werden, sind 10.000 Token erforderlich, und um ein Validator zu werden, sind 10 Millionen Token erforderlich. Diese Beträge werden im Laufe der Zeit allmählich abnehmen.

Interpretation des Algorithmus-Updates

Während Aleo kürzlich die neuesten Testnet-Neuigkeiten angekündigt hat, hat es auch die neueste Version des Puzzle-Algorithmus aktualisiert. Der neue Algorithmus konzentriert sich nicht mehr auf die Generierung von ZK-Proof-Ergebnissen und hat MSM und NTT (die beide in ZK stark verwendet werden) entfernt Beweisgenerierung). Wir werden eine kurze Einführung in den neuesten Algorithmus geben, nachdem wir uns auf die offizielle Puzzle-Spezifikation und den Code bezogen haben.

Konsensprozess

Auf der Ebene des Konsensprotokolls sind der Prüfer und der Validator im Prozess jeweils für die Generierung der Berechnungsergebnislösung und die Generierung des Blocks sowie für die Aggregation der verpackten Lösung verantwortlich. Der Prozess ist wie folgt:

1. Prover berechnet Rätsel, um Lösungen zu konstruieren, und sendet sie an das Netzwerk.
2. Validator aggregiert Transaktionen und Lösungen im nächsten neuen Block und stellt so sicher, dass die Anzahl der Lösungen das Konsenslimit (MAX_SOLUTIONS) nicht überschreitet.
3. Die Rechtmäßigkeit der Lösung muss überprüft werden. Der epoch_hash entspricht dem vom Validator verwalteten Latest_epoch_hash und sein berechnetes Proof_target entspricht dem vom Validator im Netzwerk verwalteten Latest_proof_target. Gleichzeitig entspricht die Anzahl der im Block enthaltenen Lösungen ist kleiner als die Konsensgrenze
4. Effektive Lösungen können Konsensbelohnungen erhalten

Synthese-Puzzle

Der Kern des Algorithmus heißt Synthese-Puzzle. Sein Kern besteht darin, für jede Epoche ein gemeinsames Epochenprogramm zu generieren Beweisschaltung für die Eingabe und EpochProgram, die entsprechende R1CS-Zuweisung (d. h. der von allen erwähnte Zeuge) wird generiert und als Blattknoten des Merkle-Baums verwendet. Nach der Berechnung aller Blattknoten wird die Merkle-Wurzel generiert und umgewandelt das Proof_Target der Lösung. Der detaillierte Prozess und die Spezifikationen zum Erstellen eines Synthese-Puzzles lauten wie folgt:

1. Jede Puzzle-Berechnung wird als Nonce bezeichnet, die aus der Adresse, die die Mining-Belohnung erhält, epoch_hash und einem Zufallszahlenzähler erstellt wird. Sie kann jedes Mal aktualisiert werden Die Lösung muss berechnet werden. Der Zähler erhält eine neue Nonce. In jeder Epoche ist das Epochenprogramm, das alle Prüfer im Netzwerk berechnen müssen, das gleiche. Es wird aus dem Befehlssatz anhand der vom aktuellen epoch_hash generierten Zufallszahl abgetastet . Die Sampling-Logik ist:

2. Der Befehlssatz ist fest, jeder Befehl enthält eine oder mehrere Berechnungsoperationen. Beim Sampling wird eine Zufallszahl basierend auf dem aktuellen epoch_hash generiert Die Zufallszahl wird aus dem Befehlssatz in Kombination mit der Gewichtung erhalten. Die Anweisungen werden sequentiell angeordnet und die Stichprobenerhebung wird gestoppt, sobald die kumulative Operationsanzahl 97 erreicht.

   Kombinieren Sie alle Anweisungen in EpochProgram Eingabe von EpochProgram
   • Aggregieren Sie R1CS und Eingaben, die EpochProgram entsprechen, und führen Sie Zeugen durch (R1CS-Zuweisung). Berechnen Sie
   • Nachdem alle Zeugen berechnet wurden, werden diese Zeugen in die Blattknotensequenz des entsprechenden Merkle-Baums konvertiert ist ein 8-Elemente-K-ary-Merkle-Baum mit einer Tiefe von 8
   • Berechnen Sie die Merkle-Wurzel und konvertieren Sie sie in ein Proof_Target. Bestimmen Sie, ob sie das Latest_Proof_Target der aktuellen Epoche erfüllt. Wenn sie die Berechnung erfüllt, ist die Berechnung erfolgreich . Senden Sie die Belohnungsadresse, den Epoch_Hash und den Zähler, die zum Erstellen der obigen Eingabe erforderlich sind, als Lösung und senden Sie sie.
In derselben Epoche kann das EpochProgram durch Iteration des Zählers aktualisiert werden.Änderungen und Auswirkungen des Minings
3. Nach diesem Update hat sich das Rätsel von der Generierung von Beweisen zur Generierung von Zeugen geändert. Die gesamte Lösungsberechnungslogik in jeder Epoche ist konsistent, aber die Berechnungslogik verschiedener Epochen ist großer Unterschied.
4. Aus dem vorherigen Testnetzwerk können wir feststellen, dass sich viele Optimierungsmethoden auf die Verwendung von GPUs konzentrieren, um MSM- und NTT-Berechnungen in der Phase der Beweiserstellung zu optimieren und dadurch die Mining-Effizienz zu verbessern. Dieses Update verzichtet vollständig auf diesen Teil der Berechnung. Da der Prozess der Generierung eines Zeugen durch die Ausführung eines Programms generiert wird, das Epochenänderungen folgt, weisen die darin enthaltenen Anweisungen einige Abhängigkeiten von der seriellen Ausführung auf, sodass eine Parallelisierung erreicht werden kann große Herausforderung.

Das obige ist der detaillierte Inhalt vonInterpretation von Aleos neuestem Algorithmus-Synthese-Puzzle: Führend bei der Web3-Datenschutzrevolution. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!