Mô hình xác suất tạo bằng chứng phân tán cho Blockchain dựa trên zk-SNARK
Probability Models of Distributed Proof Generation for zk-SNARK-Based Blockchains.
Bài nghiên cứu này tập trung vào việc nghiên cứu quá trình tạo bằng chứng phân tán, sử dụng zk-SNARK đệ quy. Quá trình tạo bằng chứng phân tán như vậy, trong đó các bằng chứng zk-SNARK đệ quy được tổ chức trong các cây Mercle hoàn hảo, lần đầu tiên được đề xuất trong giao thức đồng thuận Latus cho các Sidechain dựa trên zk-SNARK. Các tác giả xem xét hai mô hình của quá trình tạo bằng chứng như vậy: mô hình đơn giản hóa, trong đó tất cả các bằng chứng đều độc lập (giống như một cấp độ của cây) và mô hình tạo tự nhiên, trong đó các bằng chứng được tổ chức trong tập hợp được sắp xếp một phần (Poset), theo cấu trúc cây. Sử dụng các chuỗi Markov rời rạc để mô hình hóa quá trình tạo bằng chứng tương ứng, các tác giả đã thu được các công thức đệ quy cho kỳ vọng và phương sai của số bước cần thiết để tạo ra một số lượng bằng chứng độc lập nhất định bởi một số lượng trình chứng minh nhất định. Các tác giả diễn tả kỳ vọng một cách tiệm cận như hàm của một biến n/m, trong đó n là số trình chứng minh, m là số bằng chứng (lá của cây). Sử dụng kết quả thu được, các tác giả đưa ra khuyến nghị về số lượng giao dịch cần đưa vào Block hiện tại, tùy thuộc vào các tham số mạng lưới như thời lượng Slot thời gian, số lượng trình chứng minh, thời gian cần thiết để tạo bằng chứng, v.v.