Mô hình tạo bằng chứng phân tán cho Blockchain dựa trên ZK-SNARK
Models of distributed proof generation for ZK-SNARK-based Blockchains.
Các tác giả mô hình hóa việc tạo bằng chứng phân tán cho các Blockchain dựa trên ZK-SNARK thông qua các chuỗi Markov rời rạc. Hai kiểu mô hình xây dựng bằng chứng khác nhau được xem xét: kiểu mà tất cả bằng chứng cần xây dựng đều độc lập (chúng có thể được coi là các lá trên cây Merkle) và kiểu mà các bằng chứng nằm ở tất cả Node của cây Merkle, do đó tạo thành tập hợp được sắp xếp một phần.