arkworks for marlin 

Marlin 

Fractal

RICS

첫 번째 레벨 제목

Transition into Polynomial (efficiency）

Prepare

Define polynomial

텍스트

그런 다음 R1CS가 설정됩니다.

첫 번째 레벨 제목paper5.2.1보조 제목

Linearity check

2. 벡터 z = (x, w)에 대한 다항식(LDE)을 정의합니다.

마찬가지로 다음 공식에서 파생될 수도 있습니다.

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 

(Fractal) 논문에서 언급한 최적화를 위해 다음을 수행합니다.

보조 제목

보조 제목

Set b = 1 

행렬 다항식, 9에서 3으로 감소.

Final Procotol 

Marlin in arkworks

회사 소개

Sin7y는 2021년에 설립되었으며 최고의 블록체인 개발자들로 구성되어 있습니다. 우리는 프로젝트 인큐베이터이자 블록체인 기술 연구 팀으로서 EVM, Layer2, 크로스체인, 프라이버시 컴퓨팅 및 자율 지불 솔루션과 같은 가장 중요하고 최첨단 기술을 탐구합니다.

위챗 공개 계정: Sin7Y

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