Ghi chú từ bài viết trên blog Tachyon của @ebfull và cuộc trò chuyện của anh ấy với @str4d về việc mở rộng @Zcash với đồng bộ hóa vô thức Sự riêng tư của Zcash đến từ các nullifier. Khi bạn chi tiêu quỹ, bạn tiết lộ một mã thông báo 32 byte trông ngẫu nhiên mà ngăn chặn việc chi tiêu gấp đôi mà không tiết lộ ghi chú nào bạn đang chi tiêu. Vấn đề: các validator phải lưu trữ mọi nullifier mãi mãi. Ở tốc độ 100 TPS, đó là khoảng một gigabyte tăng trưởng trạng thái mỗi ngày. Bạn không thể cắt tỉa nó vì bạn không biết nullifier nào tương ứng với ghi chú nào. Đây đã là một nút thắt cổ chai được biết đến kể từ khi tài liệu Zerocash gốc vào năm 2013. Tachyon đảo ngược kiến trúc. Thay vì các validator duy trì toàn bộ lịch sử nullifier, các ví duy trì dữ liệu mang chứng minh về trạng thái của riêng chúng. Khi bạn chi tiêu, giao dịch của bạn bao gồm một chứng minh rằng nullifier chưa xuất hiện trong chuỗi cho đến một điểm neo gần đây. Các validator chỉ cần kiểm tra các khối gần đây. Hầu hết mọi trạng thái lịch sử trở nên có thể cắt tỉa. Cơ chế chính là đồng bộ hóa vô thức. Các dịch vụ bên thứ ba có thể đồng bộ ví của bạn và tạo ra các chứng minh mà không học được gì về quỹ của bạn. Họ thấy các nullifier nhưng các thay đổi giao thức về cách các nullifier được tạo ra ngăn chặn ngay cả việc đó rò rỉ thông tin về vị trí ghi chú trong bộ tích lũy. Ví của bạn có thể giữ được cập nhật trong khi ngoại tuyến. Các khoản thanh toán ngoài băng tần là một phần của điều này. Hiện tại, các ví thử giải mã mọi giao dịch được bảo vệ để tìm các khoản thanh toán đến. Không thể mở rộng. Tachyon chuyển việc phân phối bí mật ra khỏi chuỗi hoàn toàn, loại bỏ các văn bản mã hóa khỏi các giao dịch. Điều này cũng loại bỏ các phần của giao thức trên chuỗi mà chưa kháng được lượng tử. Phát hiện Halo đã làm cho điều này trở nên thực tiễn. Trước Halo, dữ liệu mang chứng minh là lý thuyết do các hạn chế về hiệu suất và yêu cầu thiết lập đáng tin cậy. Halo đã thay đổi điều đó và kích hoạt một làn sóng các cấu trúc PCD mới. Sean đã xây dựng Ragu, một thư viện cho các chứng minh đệ quy trên các đường cong pasta, đặc biệt để hỗ trợ các yêu cầu của Tachyon. Điều này quan trọng vì sự riêng tư và khả năng mở rộng từ trước đến nay thường mâu thuẫn. Tính không thể phân biệt của sổ cái có nghĩa là bạn không thể biết trạng thái nào mà một giao dịch sửa đổi, điều này phá vỡ hầu hết các chiến lược song song. Tachyon giải quyết điều này bằng cách chuyển gánh nặng chứng minh cho các ví trong khi vẫn giữ các đảm bảo riêng tư mật mã giống như Zcash đã duy trì kể từ khi ra mắt. Thời gian biểu là đầy tham vọng: những cải tiến lớn trên mainnet trong vòng một năm sử dụng mật mã mà Zcash đã triển khai. Không cần nghiên cứu suy đoán. Không mâu thuẫn với Crosslink hoặc ZSAs. Cải tiến Sapling đã chứng minh rằng đội ngũ này có thể triển khai các hệ thống ZK sản xuất dưới áp lực. Họ đã làm điều đó trong 18 tháng trong khi đồng thời sửa lỗi âm thanh trong Sprout.