Từ IOP đa thức và các cam kết đến zkSNARK không thể điều chỉnh
From Polynomial IOP and Commitments to Non-malleable zkSNARKs.
Các tác giả nghiên cứu các điều kiện đủ để biên dịch các zkSNARK có thể trích xuất mô phỏng từ các bằng chứng Oracle tương tác (IOP) lý thuyết thông tin bằng cách sử dụng hệ thống cam kết và bằng chứng có thể trích xuất mô phỏng cho các Oracle của nó. Cụ thể, các tác giả xác định khả năng trích xuất mô phỏng cho phần mở và đánh giá bằng chứng của các cơ chế cam kết đa thức, sau đó họ sử dụng để chứng minh tính bảo mật của zkSNARKS thu được từ các hệ thống bằng chứng IOP đa thức. Để khởi tạo phương pháp, các tác giả cũng chứng minh các cam kết của KZG đáp ứng yêu cầu về khả năng trích xuất mô phỏng, mặc dù có khả năng điều chỉnh tự nhiên. Để đạt được mục tiêu này, các tác giả thiết kế một khái niệm nới lỏng về khả năng trích xuất mô phỏng phù hợp với cách sử dụng và tối ưu hóa các cam kết KZG trong các hệ thống bằng chứng trong thế giới thực. Bằng chứng cho thấy KZG thỏa mãn thuộc tính có thể trích xuất mô phỏng nới lỏng này dựa trên mô hình nhóm đại số và mô hình Oracle ngẫu nhiên.
Đọc thêm các bài viết liên quan tại thẻ Tags bên dưới