Tại sao bằng chứng?
Người lập chỉ mục quét chuỗi khối PIVX và xây dựng sổ đăng ký tên. Nhưng tại sao mọi người nên tin tưởng nó? Điều gì sẽ xảy ra nếu nó:
- Tạo ra một đăng ký chưa từng xảy ra trên chuỗi?
- Tính sai phí?
- Đăng ký tên hai lần?
- Giả mạo trạng thái đăng ký?
Bằng chứng ZK loại bỏ những câu hỏi này. Mỗi bằng chứng là một chứng chỉ mật mã cho thấy việc đăng ký đã được xử lý chính xác. Bất cứ ai cũng có thể xác minh bằng chứng một cách độc lập.
Mỗi bằng chứng xác minh điều gì
PIVX Prover sử dụng SP1 - máy ảo không có kiến thức RISC-V. Đối với mọi giao dịch có miền, người chứng minh thực hiện các bước kiểm tra sau bên trong zkVM:
- Tính hợp lệ của tên -- 1-64 ký tự, chữ và số viết thường + dấu gạch ngang
- Đủ phí -- giao dịch được thanh toán đủ PIVX cho độ dài tên
- Tính toàn vẹn của lệnh giao thức -- giao dịch được thanh toán đủ PIVX cho độ dài tên
- Chữ ký Ed25519 -- chữ ký trên
memo commandlà hợp lệ - Chèn cây Merkle -- tên chưa tồn tại và gốc trạng thái mới là chính xác
Nếu bất kỳ kiểm tra nào không thành công, bằng chứng không thể được tạo ra.
Đầu ra công cộng
Mỗi bằng chứng cam kết 3 giá trị được liên kết vĩnh viễn với nó:
| Đầu ra | Mô tả |
|-------------------||----------------------------------------------------------------|
| old_root | Gốc cây Merkle trước đăng ký này |
| new_root | Gốc cây Merkle sau đăng ký này |
| end_block_height | Khối PIVX mới nhất của đợt đăng ký |
block_height ghim bằng chứng vào khối PIVX cụ thể (như điểm kiểm tra). Bất kỳ ai cũng có thể tra cứu các giao dịch trên nút PIVX và xác nhận bản ghi nhớ và giá trị khớp với nhau.