Thành phần với giả định kiến thức
Composition with Knowledge Assumptions.
Các đối số không tương tác ngắn gọn Zero-Knowledge (zk-SNARK) dựa vào các giả định kiến thức để đảm bảo tính bảo mật. Trong khi đó, khi độ phức tạp và quy mô của các hệ thống mật mã tiếp tục tăng lên, thì thành phần các giao thức bảo mật có tầm quan trọng sống còn. Các tiêu chuẩn vàng hiện tại về bảo mật có thể kết hợp, các khung Khả năng kết hợp tổng quát và Cấu trúc mật mã không thể nắm bắt được các giả định kiến thức, vì các bằng chứng cốt lõi về thành phần của chúng cấm việc trích xuất hộp trắng. Trong bài nghiên cứu này, các tác giả trình bày một mô hình chính thức cho phép kết hợp các giả định kiến thức. Mặc dù cho thấy tính bất khả thi đối với trường hợp tổng quát, các tác giả chứng minh tính hữu ích của mô hình khi giới hạn các giả định kiến thức thành một số ít trường hợp giao thức tại một thời điểm. Các tác giả kết thúc bằng cách cung cấp trường hợp đầu tiên của zk-SNARK vừa ngắn gọn vừa có thể kết hợp, bằng cách sử dụng các kết quả hiện có trong khung của họ.