by Seongjin Kim, Core/Security Manager at ReturnValues (seongjin.kim@returnvalues.com)

[zk-SNARKs 기초] 시리즈
1. Homomorphic Hiding
2. Blind Evaluation of Polynomials
3. The Knowledge of Coefficient Test and Assumption
4. How to make Blind Evaluation of Polynomials Verifiable

Image for post

이 글은 Zcash 블로그의 내용을 바탕으로 작성했으며, 번역 목적이 아닌 해설을 위해 작성되었기 때문에 내용의 추가와 요약이 있습니다. 원문은 아래 Zcash 블로그를 참고해주시기 바랍니다.
https://z.cash/blog/snark-explain4

미디엄의 수식 표현 한계로 인해 문장 속에 포함되는 수식을 아래와 같이 표현했습니다.

Image for post
Image for post

4. How to make Blind Evaluation of Polynomials Verifiable

이 포스팅에서는 이전 포스팅들에서 다루었던 내용을 바탕으로 검증 가능한 다항식의 blind evaluation 프로토콜을 살펴보겠습니다. 그리고 다음 포스팅에서는 이런 프로토콜이 SNARKs를 구성하는데 어떻게 사용되는지 본격적으로 살펴볼 것입니다.

Blind Evaluation of Polynomials” 포스팅에서 살펴보았던 것처럼, Alice는 d차 다항식 P를 가지고있고, Bob은 F_p에서 임의로 선택한 원소 s를 가지고 있다고 생각해봅시다. 이 때, 우리는 Bob이 E(P(s))를 받을 수 있도록 프로토콜을 구성하면서 다음과 같은 두 가지 성질을 갖길 바랍니다. …


by Seongjin Kim, Core/Security Manager at ReturnValues (seongjin.kim@returnvalues.com)

[zk-SNARKs 기초] 시리즈
1. Homomorphic Hiding
2. Blind Evaluation of Polynomials
3. The Knowledge of Coefficient Test and Assumption
4. How to make Blind Evaluation of Polynomials Verifiable

Image for post

이 글은 Zcash 블로그의 내용을 바탕으로 작성했으며, 번역 목적이 아닌 해설을 위해 작성되었기 때문에 내용의 추가와 요약이 있습니다. 원문은 아래 Zcash 블로그를 참고해주시기 바랍니다.
https://z.cash/blog/snark-explain3

미디엄의 수식 표현 한계로 인해 문장 속에 포함되는 수식을 아래와 같이 표현했습니다.

Image for post
Image for post

3. The Knowledge of Coefficient Test and Assumption

전 포스팅에서 Bob이 임의로 선택한 s에 대해 Alice가 d차 다항식 P의 정보를 숨기고 E(P(s))를 계산하는 것을 살펴보았습니다. …


by Seongjin Kim, Core/Security Manager at ReturnValues (seongjin.kim@returnvalues.com)

[zk-SNARKs 기초] 시리즈
1. Homomorphic Hiding
2. Blind Evaluation of Polynomials
3. The Knowledge of Coefficient Test and Assumption
4. How to make Blind Evaluation of Polynomials Verifiable

Image for post

이 글은 Zcash 블로그의 내용을 바탕으로 작성했으며, 번역 목적이 아닌 해설을 위해 작성되었기 때문에 내용의 추가와 요약이 있습니다. 원문은 아래 Zcash 블로그를 참고해주시기 바랍니다.
https://z.cash/blog/snark-explain2

미디엄의 수식 표현 한계로 인해 문장 속에 포함되는 수식을 아래와 같이 표현했습니다.

Image for post
Image for post

2. Blind Evaluation of Polynomials

이번 글에서는 다항식에 대해 살펴보면서 다항식의 blind evaluation에 대해 설명하고, 이것이 어떻게 Homomorphic Hiding(이하 HH)을 사용하면서 구현되는지 설명하겠습니다. …


by Seongjin Kim, Core/Security Manager at ReturnValues (seongjin.kim@returnvalues.com)

[zk-SNARKs 기초] 시리즈
1. Homomorphic Hiding
2. Blind Evaluation of Polynomials
3. The Knowledge of Coefficient Test and Assumption
4. How to make Blind Evaluation of Polynomials Verifiable

Image for post

이 글은 Zcash 블로그의 내용을 바탕으로 작성했으며, 번역 목적이 아닌 해설을 위해 작성되었기 때문에 내용의 추가와 요약이 있습니다. 원문은 아래 Zcash 블로그를 참고해주시기 바랍니다.
https://z.cash/blog/snark-explain

미디엄의 수식 표현 한계로 인해 문장 속에 포함되는 수식을 아래와 같이 표현했습니다.

Image for post
Image for post

1. Homomorphic Hidings

zk-SNARKs의 모든 요소들을 완전히 이해하는 것은 꽤 오래 걸릴 수 있기 때문에, Zcash 블로그에서는 여러 요소들 중 가장 중요한 한 가지로 “Homomorphic Hiding(이하 HH)”를 고르며 먼저 설명하고 있습니다. …

Seongjin Kim

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store