๐ข ํ์ง์ค๊ธฐ ์ฐ๊ตฌ์ Succinct $PROVE ๊ธฐ๋ฒ์จ์ด ์ด๋ฒคํธ
๊ธ์ด ๋๋ฌด ๊ธธ์ด์ ธ์ ๊ฐ๋
์ฑ ๋จ์ด์ง๋๊ฑฐ ๊ฐ์์ ๊ฑ ์ด๋ฒคํธ ๋ด์ฉ๋ง ๋ฐ๋ก ์๋๋ค.
โ
$PROVE?
- Succinct ํ
์คํธ๋ท Phase 2.5์ ์คํ
์ดํนํด์ ์ฐธ์ฌํ ์ ์๋ ํ ํฐ
- Phase 1, 2์ ์ฐธ์ฌํ๋ ์ฌ๋์ ํ๋๋์ ๋ฐ๋ผ ์ด๋ฏธ ์ง๊ธ ๋ฐ์์ (๋งํฌ์์ ํ์ธ๊ฐ๋ฅ)
- ์ ๋ ์ด์ฌํ ๋
ธ๋ ๋๋ฆฌ๊ณ ์๋๋ฐ CEK's Prover์ ์คํ
์ดํน ํด์ฃผ์๋ฉด ์๋์ ๊ฐ์ฌ$PROVE?
- Succinct ํ
์คํธ๋ท Phase 2.5์ ์คํ
์ดํนํด์ ์ฐธ์ฌํ ์ ์๋ ํ ํฐ
- Phase 1, 2์ ์ฐธ์ฌํ๋ ์ฌ๋์ ํ๋๋์ ๋ฐ๋ผ ์ด๋ฏธ ์ง๊ธ ๋ฐ์์ (
๋งํฌ์์ ํ์ธ๊ฐ๋ฅ)
- ์ ๋ ์ด์ฌํ ๋
ธ๋ ๋๋ฆฌ๊ณ ์๋๋ฐ
CEK's Prover์ ์คํ
์ดํน ํด์ฃผ์๋ฉด ์๋์ ๊ฐ์ฌ
โ
$PROVE ๊ธฐ๋ฒ์จ์ด ์ด๋ฒคํธ
์ด 2,000๊ฐ์ $PROVE๋ฅผ ์ปค๋ฎค๋ํฐ ์ด๋ฒคํธ ๋ฌผ๋์ผ๋ก ๋ฐ์์์ต๋๋ค.
์๋ ์ฐธ์ฌํ์
จ๋ ๋ถ๋ค๋ ์ถ๊ฐ์๋ ํ๋ณด + ์ํ์
จ๋ ๋ถ๋ค๋ Succinct ํ
์คํธ๋ท ๋ง์ฐจ ํ ๊ธฐํ
๐ ์ผ์ : ๊ธ๋ฐฉ ๋๋ผ ์์ ์
๐ ์ํ: $PROVE 50๊ฐ x 20๋ช
1๏ธโฃ ํธ์ํฐ ๊ธ ์ํธ์์ฉ
2๏ธโฃ ์ธ์ฉ ํ Gprove + Succinct์ ๋ํ ์งง์ ๊ธ ์ฐ๊ธฐ
3๏ธโฃ ๊ตฌ๊ธํผ ์์ฑ
4๏ธโฃ ์๋ น ํ ์คํ
์ดํน ์งํ
โ
$PROVE
$PROVE ๊ธฐ๋ฒ์จ์ด ์ด๋ฒคํธ
์ด 2,000๊ฐ์ $PROVE๋ฅผ ์ปค๋ฎค๋ํฐ ์ด๋ฒคํธ ๋ฌผ๋์ผ๋ก ๋ฐ์์์ต๋๋ค.
์๋ ์ฐธ์ฌํ์
จ๋ ๋ถ๋ค๋ ์ถ๊ฐ์๋ ํ๋ณด + ์ํ์
จ๋ ๋ถ๋ค๋ Succinct ํ
์คํธ๋ท ๋ง์ฐจ ํ ๊ธฐํ
๐ ์ผ์ : ๊ธ๋ฐฉ ๋๋ผ ์์ ์
๐ ์ํ: $PROVE 50๊ฐ x 20๋ช
1๏ธโฃ
ํธ์ํฐ ๊ธ ์ํธ์์ฉ
2๏ธโฃ ์ธ์ฉ ํ Gprove + Succinct์ ๋ํ ์งง์ ๊ธ ์ฐ๊ธฐ
3๏ธโฃ
๊ตฌ๊ธํผ ์์ฑ
4๏ธโฃ ์๋ น ํ ์คํ
์ดํน ์งํ