Notizen aus @ebfulls Tachyon-Blogbeitrag und seinem Gespräch mit @str4d über die Skalierung von @Zcash mit oblivious synchronization Die Privatsphäre von Zcash stammt von Nullifizierern. Wenn Sie Gelder ausgeben, geben Sie ein zufällig aussehendes 32-Byte-Token preis, das doppelte Ausgaben verhindert, ohne zu offenbaren, welchen Schein Sie ausgeben. Das Problem: Validatoren müssen jeden Nullifizierer für immer speichern. Bei 100 TPS entspricht das ungefähr einem Gigabyte an Zustandswachstum pro Tag. Sie können es nicht kürzen, da Sie nicht wissen, welche Nullifizierer zu welchen Scheinen gehören. Dies ist seit dem ursprünglichen Zerocash-Papier von 2013 ein bekanntes Engpassproblem. Tachyon kehrt die Architektur um. Anstatt dass Validatoren die vollständige Nullifizierer-Historie aufrechterhalten, verwalten Wallets die proof carrying data ihres eigenen Zustands. Wenn Sie ausgeben, enthält Ihre Transaktion einen Beweis, dass der Nullifizierer bis zu einem aktuellen Anker nicht in der Kette erschienen ist. Validatoren müssen nur die aktuellen Blöcke überprüfen. Fast der gesamte historische Zustand wird prunbar. Der Schlüsselmechanismus ist oblivious synchronization. Drittanbieter können Ihre Wallet synchronisieren und Beweise generieren, ohne etwas über Ihre Gelder zu erfahren. Sie sehen Nullifizierer, aber Protokolländerungen, wie Nullifizierer abgeleitet werden, verhindern sogar, dass Informationen über den Standort des Scheins im Akkumulator durchsickern. Ihre Wallet kann aktuell bleiben, während sie offline ist. Out-of-band-Zahlungen sind Teil davon. Derzeit versuchen Wallets, jede geschützte Transaktion zu entschlüsseln, um eingehende Zahlungen zu finden. Skaliert nicht. Tachyon verlagert die geheime Verteilung vollständig außerhalb der Kette und entfernt Chiffretexte aus Transaktionen. Dies beseitigt auch die Teile des On-Chain-Protokolls, die noch nicht quantenresistent sind. Die Halo-Entdeckung machte dies praktikabel. Vor Halo war proof carrying data theoretisch aufgrund von Leistungsbeschränkungen und Anforderungen an vertrauenswürdige Setups. Halo änderte das und löste eine Welle neuer PCD-Konstruktionen aus. Sean hat Ragu entwickelt, eine Bibliothek für rekursive Beweise auf den Pasta-Kurven, speziell um die Anforderungen von Tachyon zu unterstützen. Das ist wichtig, weil Privatsphäre und Skalierbarkeit traditionell in Spannung zueinander standen. Ledger-Indistinguierbarkeit bedeutet, dass Sie nicht erkennen können, welchen Zustand eine Transaktion ändert, was die meisten Parallelisierungsstrategien unterbricht. Tachyon löst dies, indem es die Beweislast auf Wallets verschiebt und gleichzeitig die gleichen kryptografischen Datenschutzgarantien beibehält, die Zcash seit dem Start aufrechterhalten hat. Der Zeitplan ist ehrgeizig: große Verbesserungen im Mainnet innerhalb eines Jahres unter Verwendung der Kryptographie, die Zcash bereits einsetzt. Keine spekulative Forschung erforderlich. Steht nicht im Widerspruch zu Crosslink oder ZSAs. Das Sapling-Upgrade hat bewiesen, dass dieses Team unter Druck produktive ZK-Systeme liefern kann. Sie haben es in 18 Monaten geschafft, während sie gleichzeitig einen Soundness-Bug in Sprout behoben haben.