詳解零知識證明算法Marlin
2022-09-23 12:31
本文約998字，閱讀全文需要約2分鐘
本文對基於R1CS的證明系統的零知識證明算法Marlin進行了詳細解讀。
AI總結
展開
本文對基於R1CS的證明系統的零知識證明算法Marlin進行了詳細解讀。
RICS
一級標題
Transition into Polynomial (efficiency）
Prepare
Define polynomial
正文
一級標題
一級標題paper5.2.1二級標題
Linearity check
正文
二級標題
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
二級標題
Optimization
Sum(s(X)) = 0
二級標題
Reduce sumcheck
根據COS20. Claim6.7根據
Common
Prover
Verifier
Reduce polynomial numbers for Sumcheck - 2
二級標題
二級標題
二級標題
Set b = 1
二級標題
Final Procotol
關於我們
Sin7y成立於2021年，由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊，探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。
微信公眾號：Sin7Y
GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon
開發者
歡迎加入Odaily官方社群
