Mô hình tạo ra rừng bằng chứng trong Sidechain dựa trên zk-SNARK
Models for Generation of Proof Forest in zk-SNARK Based Sidechains.
Sidechain là một trong những giải pháp chức năng mở rộng và khả năng mở rộng hứa hẹn nhất cho Blockchain. Việc áp dụng các kỹ thuật Zero-Knowledge (Latus, Mina) cho phép đạt được mức độ bảo mật cao và thông lượng chung, mặc dù nó mang lại những thách thức mới trong việc duy trì tính phi tập trung khi cần có nỗ lực đáng kể để tính toán mạnh mẽ các bằng chứng zk. Các tác giả xem xét việc tạo ra các cây bằng chứng zk phi tập trung đồng thời tạo thành các chuỗi cây bằng chứng trong Sidechain trong mô hình kết hợp hành vi của trình chứng minh, cả xác định (hỗ trợ nhất quán) hoặc ngẫu nhiên (độc lập) và các kiểu cây bằng chứng. Các tác giả xác định khái niệm về hiệu quả của quá trình đó, giới thiệu thước đo số lượng và đề xuất các thông số để tạo cây. Trong các trường hợp xác định, trình tự của các cây được xuất bản cuối cùng là tuần hoàn và đảm bảo hiệu quả cao nhất có thể (không có xung đột trong quá trình tạo bằng chứng). Trong các trường hợp ngẫu nhiên, các tác giả có được thước đo tổng quát về hiệu quả của bằng chứng được đưa ra bằng công thức rõ ràng trong một trường hợp hoặc được tính bằng mô hình mô phỏng trong trường hợp khác. Số lượng vị trí tối ưu của trình chứng minh được phép cho một bước có thể được thiết lập cho các tham số Sidechain khác nhau, chẳng hạn như số lượng trình chứng minh, số bước thời gian trong một Block, v.v. Lợi ích và hạn chế đối với việc sử dụng cây bằng chứng nhị phân không hoàn hảo cũng được trình bày rõ ràng.
Đọc thêm các bài viết liên quan tại thẻ Tags bên dưới