arkworks for marlin 

Marlin 

Fractal

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 

Marlin in arkworks

關於我們

Sin7y成立於2021年，由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊，探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號：Sin7Y

GitHub | Twitter | Telegram | Medium| Mirror | HackMD | HackerNoon