Predicate๋ ํธ๋์ญ์ ์ ์ ์กฐ๊ฑด์ ๊ฐ์ํํ๋ ๋คํธ์ํฌ์ ๋๋ค.
๐ Predicate๋?
Predicate๋ ํธ๋์ญ์ ์ ์ ์กฐ๊ฑด์ ์จ์ฒด์ธ์์ ์ ์ํ๊ณ ์์ ํ ์ ์๊ฒ ํ๋ ํ๋กํ ์ฝ๋ก ๊ฐ๋ฐ์์ ์ปค๋ฎค๋ํฐ๊ฐ ํ์ค์์ฑ์ ์ ์งํ๋ฉด์๋ ์ ์ฑ ๊ธฐ๋ฐ ์ฑ์ ๊ตฌ์ถํ ์ ์๋๋ก ์ง์ํฉ๋๋ค. Predicate๋ ์ด 700๋ง ๋ฌ๋ฌ์ ํฌ์ ์ ์น๋ฅผ ์๋ฃํ์ต๋๋ค.
๐ ๋ผ๊ทธ๋์ฃผ๊ฐ ์ ๋ฌํด์ฃผ๋ ๊ฐ์น
๋ฅํธ๋ฅด๋ธ (DeepProve) ๊ธฐ์ ์ด ๋์ ๋์ด ๊ฐ๋ฐ์๋ค์ AI๊ฐ ์ค์ ๋ก '์ ๋๋ก ์๋ํ๋ค'๋ ๊ฑธ ์ฆ๋ช ํ ์ ์์ด์. zkML ์ ๊ธฐ๋ฐํ ๋ฅํธ๋ฅด๋ธ์ด๊ธฐ ๋๋ฌธ์, ๊ฐ๋ฐ์๋ค์ ์ถ์ฒ๋ฅผ ํ์ธํ๋ฉด์ ๋์ฌ๋ฒํ ๊ฐ์ธ ์ ๋ณด ๋ ธ์ถ์ ํผํด ์์ด๋ AI๊ฐ ์ ํํ ๊ฒฐ๋ก ์ ๋์ถํ๋์ง ํ์ธํ ์ ์์ต๋๋ค.
1๏ธโฃ ์์ธก ๊ฐ๋ฅํ AI ์์ด์ ํธ
2๏ธโฃ ๋ง์ถคํ ์ค๋ผํด
3๏ธโฃ ์ ์ ์๋ ๊ธฐ๋ฐ ํ๋กํ ์ฝ
โญ๏ธ ๋ฅํธ๋ฅด๋ธ (Deep Prove) ๋?
๋ฅํ๋ฃจ๋ธ (DeepProve) ๋ ๋ค์ธต ํผ์ ํธ๋ก (MLP) ๋ฐ ๋ํ์ ์ธ ํฉ์ฑ๊ณฑ ์ ๊ฒฝ๋ง(CNN)์ ์ถ๋ก ๊ฒฐ๊ณผ์ ๋ํ ์ ์ง์ ์ฆ๋ช (ZK Proof) ์ ์์ฑํ ์ ์๋ zkML ๋ผ์ด๋ธ๋ฌ๋ฆฌ๋ก ๊ฒฝ์์ฌ ์ ํ๋ณด๋ค 54๋ฐฐ์์ ์ต๋ 158๋ฐฐ๊น์ง ๋น ๋ฅธ ์๋๋ฅผ ์๋ํฉ๋๋ค.
๐ ๋ฅํธ๋ฅด๋ธ (Deep Prove) ์ ๋ํด ์์ธํ ์ฝ์ด๋ณด๊ธฐ ๐ ๋ผ๊ทธ๋์ฃผ ๋ฉ์ค ๊ณต์ ๋ค์ด๋ฒ๋ธ๋ก๊ทธ
์์ผ๋ก ๋ ๋ง์ ๋ผ๊ทธ๋์ฃผ ๋ฉ์ค์ ํํธ๋์ญ ๊ณต๊ฐ๋ฅผ ๊ธฐ๋ํด์ฃผ์ธ์!
๐ฑ ํด๋น ์์ ๋ฐ๋ก๊ฐ๊ธฐ