โ๏ธย Boundless $ZKC
๐ข ์์ง์ ๊ฒ์ฆ ์ปดํจํ
๋ ์ด์ด ๋ง์ผ ํ๋กํ ์ฝ
๐ข ์คํ์ฒด์ธ ๋
ธ๋ ๊ณ์ฐ ๊ฒฐ๊ณผ๋ฅผ ์์ง์ ์ฆ๋ช
์ผ๋ก ๊ฒ์ฆํจ์ผ๋ก์จ, ๋ชจ๋ ๋
ธ๋๊ฐ ์ฌ์ฐ์ฐํ์ง ์์๋ ๊ฒฐ๊ณผ์ ์ ๋ขฐ์ฑ์ ํ๋ณดํ ์ ์๊ฒ ํด์ฃผ๋ ์๋ฃจ์
๐ ๋ฐ์ด๋๋ฆฌ์ค : Proof of Verifiable Work 1
(ํด๋ฆญ)
๋ธ๋ก์ฒด์ธ์ ์ธ์ ๋ ๊ณ์ฐ๋ ฅ ๋ถ์กฑ (computational scarcity)์ ๊ฐํ ์๋ค.
๋ ธ๋๊ฐ ๋์ด๋๋ ์ฒ๋ฆฌ ์๋๋ ๋จ์ผ ๋ ธ๋ ํ๊ณ์ ๋ฌถ์ฌ ์๊ณ , ๊ทธ ๊ฒฐ๊ณผ ๋ณต์กํ ์ ํ๋ฆฌ์ผ์ด์ ์ ๊ฟ๋ ๋ชป ๊พธ๊ณ , ๊ฐ์ค๋น๋ ์ฒ์ ๋ถ์ง๋ก ์ฌ๋ผ๊ฐ๋ค.
ํ์ง๋ง ์ด์ ๊ฒ์์ ๊ท์น์ด ์์ ํ ๋ฐ๋๋ค.
๋ฐ๋ก PoVW(Proof of Verifiable Work) ๋๋ฌธ์ด๋ค.
๋ธ๋ก์ฒด์ธ์ ์๋ ๊ฒ์ฆ ๊ฐ๋ฅํ ์์คํ ์ด์์ง๋ง, ๊ณ์ฐ์ ์ฌ์คํ ์์ด ๊ฒ์ฆํ ์ ์๋ ์์คํ ์ ZK ๊ธฐ์ ์ด ๋ฑ์ฅํ๋ฉฐ ์งํํ๋ค.
์ด๊ธฐ ZK๋ ํ๋ผ์ด๋ฒ์ ์ค์ฌ ์ ํ๋ ์ฉ๋๋ก ์ฌ์ฉ๋๋ค.
์ดํ RISC Zero๊ฐ ๋ง๋ ๋ฒ์ฉ ๊ฒ์ฆ ๊ฐ๋ฅํ ๊ฐ์๋จธ์ ZKVM์ด ๋ฑ์ฅํ๋ค.
๊ทธ๋ฆฌ๊ณ ํ์ฌ ๊ฒ์ฆ ๊ฐ๋ฅํ ๊ณ์ฐ์ ์์ฅํยท์ํํํ๋ ๋จ๊ณ์ธ PoVW ์๋๋ค.
๊ทธ ๋์์ ๋ชจ๋ ๋
ธ๋๊ฐ ๊ณ์ฐ์ ๋ค์ ์คํ(re-execute) ํด์ผ ํ์ง๋ง, PoVW ์ฒด๊ณ์์๋ ํ ๋ฒ์ ์คํ โ ๋ชจ๋ ๊ฒ์ฆ๋จ ์ผ๋ก ํจ๋ฌ๋ค์์ด ๋ฐ๋๋ค.
์๋ฌธ
๐ ํํ์ด์ง l ํธ์ํฐ l Docs l Blogs
ps. ๊ฒ์์ฒด์ธ์ ๋๋ฅ ๋ฑ์ฅ
