Was ist das Aleo Blockchain Privacy Protection Project? Die neueste umfassende Interpretation von Aleo

Was ist das Aleo Blockchain Privacy Project? Die neueste umfassende Interpretation von Aleo! 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. Was ist also das Aleo-Blockchain-Datenschutzprojekt? Was sind die Merkmale des Aleo-Blockchain-Datenschutzprojekts? Wie ist der aktuelle Fortschritt des Aleo-Blockchain-Datenschutzprojekts?

Heute hat Ihnen der Herausgeber dieser Website die Umrisse und neuesten Fortschritte des Aleo-Projekts vorgestellt und eine detaillierte Erklärung des Puzzle-Algorithmus-Updates gegeben, das dem Markt große Sorge bereitet. Freunde, die es brauchen, können gemeinsam einen Blick darauf werfen!

Vorschau des neuesten Algorithmus

Das Aleo-Netzwerk generiert jede Stunde zufällig eine ZK-Schaltung; während dieser Stunde müssen Miner eine andere Nonce als Eingabe der Schaltung ausprobieren und den Zeugen (d. h. alle Variablen in) berechnen Die Schaltung, diese Berechnung Der Prozess wird auch als Synthese bezeichnet. Nachdem die Merkle-Wurzel für den Zeugen ermittelt wurde, wird beurteilt, ob sie die Anforderungen an die Bergbauschwierigkeit 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 und Slow Ventures und Samsung Next, unter anderem. 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: adaptiert aus der Rust-Sprache und wird 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 Berechnungsergebnisse werden in der Kette überprüft, 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 programmatische Interaktionen 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, wodurch die Plattform reduziert wird Risiken.

Skalierbarkeit

Aleo verwendet eine Off-Chain-Verarbeitungsmethode. Die Transaktion wird zunächst auf dem Gerät des Benutzers berechnet, um sie zu beweisen, und dann wird nur das Verifizierungsergebnis 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 stellt AleoBFT vor, einen Konsensmechanismus mit hybrider Architektur, der die sofortige Endgültigkeit von Validatoren und die Rechenleistung von Prüfern 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 unmittelbar nach der Generierung bestätigt wird, was die Knotenstabilität und das Benutzererlebnis verbessert.
• Dezentrale Garantie: 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 durch das Abstecken von Token ermutigt, Prüfer zu werden, wodurch die Dezentralisierung und Rechenleistung des Netzwerks verbessert wird.

Aleo ermöglicht Entwicklern die Erstellung von Anwendungen, die keinen Gasbeschränkungen unterliegen, wodurch es sich besonders für lang laufende Anwendungen wie maschinelles Lernen eignet.

Aktueller Fortschritt

Aleo wird das Testnetz mit Anreizen am 1. Juli starten. Im Folgenden finden Sie einige wichtige aktuelle Informationen:

• ARC-100-Abstimmung bestanden: ARC-100 („Compliance Best Practices for Aleo Developers and Operators“-Vorschlag, der Compliance-Aspekte, Sicherheitsmaßnahmen wie Sperrung und verzögerte Zahlung von Geldern im Aleo-Netzwerk beinhaltet) Es ist vorbei und verabschiedet. Das Team nimmt letzte Anpassungen vor.
• Verifier-Incentive-Programm: Dieses Programm wird am 1. Juli gestartet, um neue Puzzle-Mechanismen zu überprüfen. 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.
• Anfänglicher Bestand und Umlaufbestand: Der anfängliche Bestand beträgt 1,5 Milliarden Token, und der anfängliche Umlaufbestand 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 des Validierungsknotens: 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 Testnetzwerknachrichten ankündigte, hat Aleo die neueste Version des Puzzle-Algorithmus aktualisiert, der sich nicht mehr auf die Generierung von ZK-Proof-Ergebnissen konzentriert, und hat MSM entfernt und NTT (2) Das Berechnungsmodul wird häufig zum Generieren von Beweisen in zk verwendet. Zuvor verwendeten Testnet-Teilnehmer Berechnungen, um die Effizienz des Algorithmus zu optimieren und so die Mining-Einnahmen zu steigern, wobei der Schwerpunkt auf der Generierung von Zwischendatenzeugen vor der Generierung von Beweisen lag. 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 dafür verantwortlich, die Berechnungsergebnislösung und den Block zu generieren sowie die Lösung zu aggregieren und zu verpacken. Der Prozess ist wie folgt:

• Prover berechnet Rätsel, um Lösungen zu konstruieren, und sendet sie an das Netzwerk.
• 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.
• 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
• 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 sind wie folgt:

1 Jede Puzzle-Berechnung wird als Nonce bezeichnet und besteht aus der Adresse, die die Mining-Belohnung erhält, epoch_hash und einem Zufallszahlenzähler. Jedes Mal, wenn Sie a berechnen müssen Bei einer neuen Lösung können Sie den Zähler aktualisieren, um eine neue Nonce zu erhalten

2. In jeder Epoche ist das Epochenprogramm, das alle Prüfer im Netzwerk berechnen müssen, das gleiche. Es wird aus dem Befehlssatz durch die von generierte Zufallszahl abgetastet Der aktuelle epoch_hash ist:

• Anweisung Der Satz ist fest. Jede Anweisung enthält eine oder mehrere Berechnungsoperationen.
• Zufallszahlen werden basierend auf dem aktuellen epoch_hash generiert , und werden aus dem Befehlssatz basierend auf den Zufallszahlen kombiniert. Die Gewichte erhalten die Anweisungen und ordnen sie in der richtigen Reihenfolge an.
• Kombinieren Sie alle Anweisungen in EpochProgram

3 ein Zufallszahlen-Seed, um die Eingabe von EpochProgram zu generieren

4. Aggregieren Sie den R1CS und die Eingabe, die EpochProgram entspricht, und fahren Sie mit der Berechnung aller Zeugen fort

5 des entsprechenden Merkle-Baums ist ein 8-Elemente-K-ary-Merkle-Baum mit einer Tiefe von 8

6. Berechnen Sie die Merkle-Wurzel, konvertieren Sie sie in das Proof_Target der Lösung und bestimmen Sie, ob sie das Latest_Proof_Target von erfüllt Wenn die aktuelle Epoche erfüllt ist, ist die Berechnung erfolgreich. Senden Sie die erforderliche Belohnungsadresse, den Epochenhash und den Zähler als Lösung und senden Sie sie. In der Epoche kann die Eingabe von EpochProgram aktualisiert werden Iterierender Zähler zur Durchführung mehrerer Lösungsberechnungen

Änderungen und Auswirkungen des Bergbaus

Nach diesem Update hat sich das Rätsel von der Generierung von Beweisen zur Generierung von Zeugen geändert. Die Berechnungslogik aller Lösungen in jeder Epoche ist dieselbe, aber die Berechnungslogik verschiedener Epochen ist ziemlich unterschiedlich.

Aus dem vorherigen Testnetzwerk können wir erkennen, dass sich viele Optimierungsmethoden auf die Verwendung der GPU konzentrieren, um die MSM- und NTT-Berechnungen in der Proof-Generierungsphase zu optimieren. Dieses Update verzichtet gleichzeitig vollständig auf diesen Teil der Berechnung Aufgrund der Generierung von Zeugen wird der Prozess durch die Ausführung eines Programms generiert, das sich mit der Epoche ändert, und die darin enthaltenen Anweisungen weisen einige Abhängigkeiten von der seriellen Ausführung auf, sodass das Erreichen einer Parallelisierung eine große Herausforderung darstellt.

Das obige ist der detaillierte Inhalt vonWas ist das Aleo Blockchain Privacy Protection Project? Die neueste umfassende Interpretation von Aleo. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!