Việc đọc các ràng buộc mạch Phoenix đã khiến tôi dừng lại. Trên Dusk $DUSK #dusk @Duskfoundation, Hợp đồng Chuyển nhượng không bao giờ xem các giá trị ghi chú thực tế hay lá Merkle nào được tiêu thụ.
Nó chỉ kiểm tra một bằng chứng PLONK rằng các đầu vào riêng thỏa mãn năm điều kiện: mã băm (note hash) mở ra đối chiếu với một gốc Merkle gần đây của các ghi chú, người tạo bằng chứng biết khóa bí mật của ghi chú, nullifier bằng Poseidon(npk′ ‖ position), các cam kết đầu ra mở đúng, và tổng các giá trị đầu vào bằng tổng đầu ra cộng phí cộng bất kỳ khoản ký quỹ nào.
Bản thân nullifier được công bố để mạng có thể từ chối việc tái sử dụng. Vì mỗi nullifier được tạo từ khóa ghi chú và vị trí ẩn, nên không ai quan sát có thể ánh xạ nullifier ngược lại tới một lá cụ thể. Tính hợp lệ nằm hoàn toàn trong việc thỏa mãn mạch; nội dung không bao giờ xuất hiện trên sổ cái.
Điều thay đổi với tôi là nhận ra rằng cơ chế chống chi tiêu kép và tính toàn vẹn số dư đều nằm trong bằng chứng chứ không phải bất kỳ thay đổi trạng thái hiển thị nào.
Bước kiểm tra tiếp theo: liệu tất cả các nullifier đã công bố của từng giao dịch Phoenix được chấp nhận có tiếp tục duy nhất trong tập nullifier trên chuỗi sau khi đạt tính cuối cùng (finality) hay không.
@Dusk
Nó chỉ kiểm tra một bằng chứng PLONK rằng các đầu vào riêng thỏa mãn năm điều kiện: mã băm (note hash) mở ra đối chiếu với một gốc Merkle gần đây của các ghi chú, người tạo bằng chứng biết khóa bí mật của ghi chú, nullifier bằng Poseidon(npk′ ‖ position), các cam kết đầu ra mở đúng, và tổng các giá trị đầu vào bằng tổng đầu ra cộng phí cộng bất kỳ khoản ký quỹ nào.
Bản thân nullifier được công bố để mạng có thể từ chối việc tái sử dụng. Vì mỗi nullifier được tạo từ khóa ghi chú và vị trí ẩn, nên không ai quan sát có thể ánh xạ nullifier ngược lại tới một lá cụ thể. Tính hợp lệ nằm hoàn toàn trong việc thỏa mãn mạch; nội dung không bao giờ xuất hiện trên sổ cái.
Điều thay đổi với tôi là nhận ra rằng cơ chế chống chi tiêu kép và tính toàn vẹn số dư đều nằm trong bằng chứng chứ không phải bất kỳ thay đổi trạng thái hiển thị nào.
Bước kiểm tra tiếp theo: liệu tất cả các nullifier đã công bố của từng giao dịch Phoenix được chấp nhận có tiếp tục duy nhất trong tập nullifier trên chuỗi sau khi đạt tính cuối cùng (finality) hay không.
@Dusk