๊ธ์ด ๋๋ฌด ๊ธธ์ด์ ธ์ ๊ฐ๋ ์ฑ ๋จ์ด์ง๋๊ฑฐ ๊ฐ์์ ๊ฑ ์ด๋ฒคํธ ๋ด์ฉ๋ง ๋ฐ๋ก ์๋๋ค.
โ $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๏ธโฃ ์๋ น ํ ์คํ
์ดํน ์งํ
