RICS
tiêu đề cấp đầu tiên
Transition into Polynomial (efficiency）
Prepare
Define polynomial
chữ
Sau đó, R1CS được thiết lập.
tiêu đề cấp đầu tiênpaper5.2.1tiêu đề phụ
Linearity check
2. Định nghĩa một đa thức (LDE) cho vectơ z = (x, w)
Tương tự, nó cũng có thể được suy ra từ công thức:
AHP for R1CS
Common
Prover
=>Prover
=>Oracle
=>Prover - sumcheck-1
=> Oracle
=> Prover - sumcheck-1
=> Prover - sumcheck-2
=> Oracle
=> Prover - sumcheck-2
=> Prover - sumcheck-3
=> Oracle
=> Prover - sumcheck-3
Verifier
=> Verifier-sumcheck-3
=> Verifier-sumcheck-2
Recall the equality
=> Verifier-sumcheck-1
Recall the equality
=> Verifier
Polynomial commitment
tiêu đề phụ
Optimization
Sum(s(X)) = 0
tiêu đề phụ
Reduce sumcheck
dựa theoCOS20. Claim6.7dựa theo
Common
Prover
Verifier
Reduce polynomial numbers for Sumcheck - 2
Để tối ưu hóa được đề cập trong bài báo (Fractal), chúng tôi thực hiện:
tiêu đề phụ
tiêu đề phụ
Set b = 1
Đa thức ma trận, giảm từ 9 xuống 3.
Final Procotol
về chúng tôi
Sin7y được thành lập vào năm 2021 và bao gồm các nhà phát triển chuỗi khối hàng đầu. Chúng tôi vừa là vườn ươm dự án vừa là nhóm nghiên cứu công nghệ chuỗi khối, khám phá các công nghệ tiên tiến và quan trọng nhất như EVM, Layer2, chuỗi chéo, điện toán bảo mật và các giải pháp thanh toán tự động.
Tài khoản công khai WeChat: Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon
IOS
Android