Chuyển tới nội dung chính

Đảm bảo an ninh

Kiến trúc của PiNS đảm bảo tính bảo mật tuyệt đối, bất biến và phân cấp, đảm bảo rằng không một thực thể đơn lẻ nào có thể làm hỏng cơ sở dữ liệu miền.

ZK-SNARKs: Bằng chứng về tính toàn vẹn bằng mật mã​

Trong các hệ thống cơ sở dữ liệu tiêu chuẩn, bạn phải tin tưởng quản trị viên cơ sở dữ liệu (hoặc trình sắp xếp thứ tự) không sửa đổi các bản ghi. Trong PiNS, niềm tin được thay thế bằng toán học.

  • Hợp đồng thông minh Arbitrum sẽ chỉ chấp nhận bản cập nhật gốc nếu có kèm theo bằng chứng ZK hợp lệ.
  • Vì chương trình khách zkVM Rust thực thi nghiêm ngặt các quy tắc giao dịch và quyền sở hữu miền nên trình sắp xếp thứ tự không thể tùy ý gán miền cho chủ sở hữu khác, sửa đổi địa chỉ mà không có chữ ký hoặc chi tiêu gấp đôi danh sách. Nếu họ cố gắng, việc tạo bằng chứng ZK sẽ thất bại và hợp đồng Arbitrum sẽ từ chối bản cập nhật.

Mô hình tổng hợp có chủ quyền​

PiNS về mặt khái niệm giống với ZK-Rollup:

  • Tính khả dụng của dữ liệu: Dữ liệu giao dịch thô được lưu giữ trên PIVX, được hưởng tính bảo mật gốc và tính bất biến của PIVX.
  • Thực thi: Quá trình xử lý được chuyển sang chuỗi ngoài SP1 zkVM.
  • Giải quyết: Trọng tài hoạt động như một điều phối viên đồng thuận hiệu quả cao, giữ vững gốc trạng thái, xác minh phép toán tính bằng mili giây.

Duy trì sự đồng thuận (Giải quyết vấn đề chia não)​

Một vấn đề phổ biến trong các hệ thống phân tán là "split-brain", trong đó các máy chủ khác nhau hiển thị các địa chỉ đích khác nhau cho cùng một miền. PiNS giải quyết vấn đề này bằng cách sử dụng Điểm kiểm tra Arbitrum:

  1. Mọi cập nhật gốc trạng thái đã được xác minh trên hợp đồng Trọng tài đều được ánh xạ tới Chiều cao khối PIVX chính xác mà nó đại diện.
  2. Người lập chỉ mục đồng bộ hóa với chiều cao khối cụ thể này và tính toán Cây Merkle cục bộ của riêng họ.
  3. Nếu gốc cục bộ của người lập chỉ mục khác với điểm kiểm tra của hợp đồng, người lập chỉ mục sẽ biết ngay rằng nó đã bỏ lỡ một giao dịch, xử lý dữ liệu không theo thứ tự hoặc gặp phải lỗi cơ sở dữ liệu.
  4. Sau đó, người lập chỉ mục có thể đồng bộ hóa trở lại lịch sử đã được xác minh một cách an toàn, đảm bảo rằng tất cả các trình phân giải trên toàn cầu đều duy trì một trạng thái nhất quán, duy nhất.

Trustless Auditability (Kiểm toán từ bên ngoài)​

Bởi vì tất cả dữ liệu giao dịch thô được ghi lại trên chuỗi khối PIVX công khai và các quy tắc của chương trình khách là nguồn mở nên hệ thống này hoàn toàn không cần kiểm tra và minh bạch:

  • Đảm bảo Khóa xác minh (vkey): Bất kỳ ai cũng có thể tải xuống chương trình khách Rust nguồn mở, biên dịch cục bộ bằng các công cụ SP1 tiêu chuẩn và kiểm tra xem vkey được tạo có khớp với programVkey được lưu trữ trong hợp đồng thông minh PiNSAnchor hay không. Điều này chứng tỏ rằng hợp đồng thông minh đang thực thi các quy tắc giao thức chính xác, không sửa đổi mà không có lỗ hổng hoặc cửa hậu ẩn giấu.
  • Xác minh chuyển đổi trạng thái: Bất kỳ ai cũng có thể quét chuỗi khối PIVX từ PiNS Genesis Block, trích xuất tất cả các giao dịch dịch vụ tên và chạy chúng thông qua chương trình khách cục bộ.
  • So khớp gốc trạng thái: Bằng cách phát lại các giao dịch, người lập chỉ mục cục bộ của bạn sẽ tính toán Root Merkle khớp với các gốc đã được xác minh được ghi trên hợp đồng thông minh Arbitrum.
  • Xác minh trạng thái: Điều này cho phép bất kỳ bên thứ ba, nhà phát triển hoặc kiểm toán viên nào chứng minh bằng mật mã rằng dịch vụ đặt tên là hợp lệ, an toàn và không bị giả mạo kể từ khi tạo.

Tại sao đây là giải pháp tốt nhất cho chuỗi không có hợp đồng thông minh​

Đối với các chuỗi khối như Bitcoin hoặc PIVX ưu tiên bảo mật và tốc độ giao dịch so với hợp đồng thông minh, việc xây dựng các ứng dụng phức tạp về cơ bản là không thể. Giải pháp thay thế tiêu chuẩn là sử dụng một máy chủ tập trung đáng tin cậy, có một điểm lỗi và kiểm duyệt duy nhất.

PiNS cung cấp cách thứ ba: thực thi phi tập trung ngoài chuỗi với xác minh không cần kiến ​​thức. Nó mang đến các tính năng đặt tên và bảo mật cấp EVM cho PIVX mà không thay đổi giao thức cốt lõi của PIVX, giữ an toàn cho khóa riêng của người dùng và duy trì quyền sở hữu phi tập trung tuyệt đối.