💡
Ở bài viết này, mình sẽ giới thiệu phương pháp chuyển từ Rank-1 Constraint System (R1CS) thành dạng Quadratic Arithmetic Program (QAP).
Bài viết này là bài viết tiếp theo của bài viết về các kỹ thuật về zk-SNARKs, bạn có thể xem lại lý thuyết về...