Chi tiết về Phoenix rất dễ bị bỏ lỡ:
các ghi chú đã chi tiêu vẫn nằm trong cây Merkle.
Ban đầu tôi đã coi cây đó như một tập UTXO cá nhân. Khi một ghi chú được chi tiêu, tôi giả định nó sẽ biến mất.
Nhưng whitepaper nói không phải vậy.
Khi một ghi chú Phoenix được chi tiêu, chủ sở hữu sẽ tạo ra một nullifier từ khóa bí mật của ghi chú đó. Mạng sẽ ghi lại nullifier này để ghi chú không thể bị chi tiêu thêm lần nữa.
Tuy nhiên, mạng không biết nullifier đó thuộc về ghi chú nào.
Vì thế ghi chú vẫn tồn tại. Cây vẫn tiếp tục phát triển.
Điều đó tạo ra một khác biệt mà tôi chưa từng nghĩ tới:
đã ghi nhận không đồng nghĩa với có thể chi tiêu.
Một Merkle root gần đây giúp mạng kiểm tra rằng một ghi chú đầu vào thuộc về cây. Chỉ có tư cách thành viên thôi không có nghĩa là giá trị đó vẫn còn “còn sống”.
Câu trả lời nằm trong danh sách nullifier.
Và Phoenix tiếp tục giữ mối liên kết công khai giữa hai phần bị che giấu đó.
Trong Moonlight, Dusk ánh xạ một tài khoản sang số dư công khai.
Phoenix hoạt động khác. mạng xác minh một bằng chứng ZK rằng các ghi chú đầu vào được nullify đúng cách và có đủ giá trị cho các ghi chú mới, tiền gửi và giới hạn gas tối đa, mà không tiết lộ các số lượng.
Vì vậy, một ghi chú Phoenix có thể vẫn được ghi nhận sau khi giá trị kinh tế của nó đã hết.
Bản ghi vẫn tồn tại.
Quyền chi tiêu thì không.
Rồi lại có một sự tách khác.
Một khóa xem có thể được cung cấp cho một bên tin cậy để quét mạng và xác định các giao dịch được gửi tới người dùng. Nhưng họ vẫn không thể chi tiêu các ghi chú đó, vì khóa bí mật của ghi chú cần toàn bộ khóa bí mật của người dùng.
Vì thế, “có thể xem trạng thái riêng tư của tôi” và “có thể kiểm soát trạng thái riêng tư của tôi” là hai quyền khác nhau.
Xuất hiện hai ranh giới:
đã ghi nhận / có thể chi tiêu
nhìn thấy / có thể kiểm soát
Trường hợp đặc biệt mà tôi cứ quay lại là một ứng dụng đang tái dựng xem người dùng hiện tại có gì đúng.
Chỉ việc ghi chú đang tồn tại là chưa đủ.
Có thể nhận ra nó cũng chưa đủ.
Bạn cần lịch sử, trạng thái nullification và đúng chất liệu bí mật.
Điều đó khiến tôi tự hỏi:
Trong một sổ cái riêng, “trạng thái hiện tại” có thật sự là một đối tượng duy nhất không, hay đó là giao điểm của những bản ghi cố ý không đầy đủ khi chỉ đọc một mình?
@Dusk #dusk $DUSK $VELVET $APR
các ghi chú đã chi tiêu vẫn nằm trong cây Merkle.
Ban đầu tôi đã coi cây đó như một tập UTXO cá nhân. Khi một ghi chú được chi tiêu, tôi giả định nó sẽ biến mất.
Nhưng whitepaper nói không phải vậy.
Khi một ghi chú Phoenix được chi tiêu, chủ sở hữu sẽ tạo ra một nullifier từ khóa bí mật của ghi chú đó. Mạng sẽ ghi lại nullifier này để ghi chú không thể bị chi tiêu thêm lần nữa.
Tuy nhiên, mạng không biết nullifier đó thuộc về ghi chú nào.
Vì thế ghi chú vẫn tồn tại. Cây vẫn tiếp tục phát triển.
Điều đó tạo ra một khác biệt mà tôi chưa từng nghĩ tới:
đã ghi nhận không đồng nghĩa với có thể chi tiêu.
Một Merkle root gần đây giúp mạng kiểm tra rằng một ghi chú đầu vào thuộc về cây. Chỉ có tư cách thành viên thôi không có nghĩa là giá trị đó vẫn còn “còn sống”.
Câu trả lời nằm trong danh sách nullifier.
Và Phoenix tiếp tục giữ mối liên kết công khai giữa hai phần bị che giấu đó.
Trong Moonlight, Dusk ánh xạ một tài khoản sang số dư công khai.
Phoenix hoạt động khác. mạng xác minh một bằng chứng ZK rằng các ghi chú đầu vào được nullify đúng cách và có đủ giá trị cho các ghi chú mới, tiền gửi và giới hạn gas tối đa, mà không tiết lộ các số lượng.
Vì vậy, một ghi chú Phoenix có thể vẫn được ghi nhận sau khi giá trị kinh tế của nó đã hết.
Bản ghi vẫn tồn tại.
Quyền chi tiêu thì không.
Rồi lại có một sự tách khác.
Một khóa xem có thể được cung cấp cho một bên tin cậy để quét mạng và xác định các giao dịch được gửi tới người dùng. Nhưng họ vẫn không thể chi tiêu các ghi chú đó, vì khóa bí mật của ghi chú cần toàn bộ khóa bí mật của người dùng.
Vì thế, “có thể xem trạng thái riêng tư của tôi” và “có thể kiểm soát trạng thái riêng tư của tôi” là hai quyền khác nhau.
Xuất hiện hai ranh giới:
đã ghi nhận / có thể chi tiêu
nhìn thấy / có thể kiểm soát
Trường hợp đặc biệt mà tôi cứ quay lại là một ứng dụng đang tái dựng xem người dùng hiện tại có gì đúng.
Chỉ việc ghi chú đang tồn tại là chưa đủ.
Có thể nhận ra nó cũng chưa đủ.
Bạn cần lịch sử, trạng thái nullification và đúng chất liệu bí mật.
Điều đó khiến tôi tự hỏi:
Trong một sổ cái riêng, “trạng thái hiện tại” có thật sự là một đối tượng duy nhất không, hay đó là giao điểm của những bản ghi cố ý không đầy đủ khi chỉ đọc một mình?
@Dusk #dusk $DUSK $VELVET $APR
