ํ๋ผ์ด๋ฒ์ ๊ด๋ จ ์ด์์ ๋ํด์ ์ ๊ฐ์ ๋ฌธ๋์ด๋ณด๋ค๋ ์ค๋งํธํ ์บ๋น๋์ ๊ธ์ ์ฝ์ผ์๋ ๊ฒ์ ์ถ์ฒ.
์์ฝํ์๋ฉด ํ๋ผ์ด๋ฒ์์ ZK์ ๋ํ ์ด์๊ฐ ๋์๊ผฌ ๊ทธ์ ๋ํ ์ํฅ์ ์ ๋นํธ์์ $PROVE ๊ฐ ๋ฐ์ ๊ฒ ๊ฐ๋ค์. ๋ฐ์ด๋๋ฆฌ์ค๋ ๋ฐ๋ก ๋ฐ์์ด ์๊ธดํ๋ฐ, ๋นํ๋ฆญ์ด๋ ์๋ํจ๋ฆฌ ๋งจํ ๋ฑ ZK ํ๋ฉด ๋ค Succinct ์ค๋ผ์ํ๋๊ฑฐ ๋ณด๋ฉด ์ ์ ZK ํ์ด๋ Succinct๊ฐ ๋จน์๊ฒ ๊ฐ์
