제로 지식 증명을 주류로 가져오는 3개 프로젝트에 대한 한눈에 보기

원제목：《3 Must-Know Projects Bringing Zero-Knowledge Proofs to the Mainstream》

저자：NAIROLF、SENSEI WU

편집：Kate，화성재정

당신은 제로 지식 증명의 놀라운 세계를 탐험할 준비가 되었나요? 이 글에서는 세 가지 흥미로운 프로젝트를 소개하고 zk 증명을 전례 없는 방식으로 설명하겠습니다.

ZK 이거, ZK 저거, 형제야, 그만해. Starknet은 매달 8명의 사용자만 있으며, 이는 실패한 에어드롭으로 아무도 ZK 롤업에 관심이 없다. 좋아, 천천히 해보자. 이 기술은 정말 훌륭하다.

먼저 제로 지식 또는 ZK 증명이 정확히 무엇인지 이해하는 것부터 시작하자. 예를 들어보자!

존은 멋진 호랑이를 그리는 것을 좋아하지만 친구들에게 그의 그림을 보여주기를 두려워한다. 그는 수줍음이 많다!

그의 친구들은 그의 실력을 의심한다. 그들은 그가 그림을 그리는 것을 본 적이 없다! 하지만 존은 계획이 있다. 대규모 호랑이 그림 대회가 곧 열릴 예정이다. 참가하려면 마법의 호랑이를 그려야 한다.

존이 대회에 참가하고 자격을 얻으면 그의 친구들은 그가 호랑이를 그릴 수 있다는 것을 알게 될 것이다. 그들은 그가 그림을 그리는 것을 보지는 않겠지만, 결국 그를 믿게 될 것이다.

존은 대회에 참가하여 호랑이를 그려 심사위원들에게 깊은 인상을 남겼다. 그의 친구들은 드디어 그를 믿게 되었다! 이 친구는 호랑이를 그릴 수 있다.

이것이 바로 zk 증명과 같다. 직접 보여주는 것이 아니라 아무것도 드러내지 않고 증명하는 것이다. 존의 증명은 그의 자격이다. 그의 친구들은 그가 그림을 그리는 것을 보지 못했지만, 그는 할 수 있다는 것을 안다.

당신이 이미 알고 있을지도 모르지만, zk 증명의 한 가지 장점은 제공하는 프라이버시이다.

하지만 이것이 유일한 장점은 아니다. 우리는 세부 사항에 깊이 들어가지 않겠지만, zk 증명이 더 빠르다는 것을 기억하라. 이치에 맞다. 우리의 예를 다시 살펴보면, 존은 모든 친구에게 하나씩 호랑이를 그리는 방법을 보여줄 필요가 없다. 그는 단지 대회 참가 초대장을 제시하면 된다.

게다가, 그들은 메모리 효율성이 더 높다. 다른 증명 시스템과 비교할 때, 이러한 증명은 더 적은 작업량으로 더 큰 계산을 검증할 수 있다.

하지만 한 가지 문제가 있다: 이러한 증명은 언젠가는 검증되어야 한다. 제임스가 당신에게 대회에 합격했다고 말한다고 가정해보자. 좋지만, 당신은 그것이 진짜인지 확인하고 싶다, 그렇지?

불행히도, 이더리움, 더 정확히 말하면 EVM, 즉 이더리움 뒤에 있는 대형 컴퓨터의 가상 머신은 zk 증명을 고려하여 설계되지 않았다. 이로 인해 검증 비용이 매우 높아져 때때로 zk 증명이 사용 불가능하게 된다.

Aligned Layer가 등장했다.

당신의 증명을 이더리움에서 직접 검증하는 것이 아니라, 이러한 증명을 Aligned Layer에 제출하는 것이다.

Aligned Layer는 증명을 검증하는 전담 부서이다. Aligned를 전문 검증자로 구성된 네트워크로 상상할 수 있으며, 언제든지 당신이 제출한 증명이 올바른지 확인할 준비가 되어 있다.

Aligned는 이더리움의 역할을 한다. 하지만 걱정하지 마라, 그들은 EigenLayer의 재스테이킹을 사용하여 이더리움과 동일한 보안 수준을 유지한다. 이더리움과 동일한 보안성, EVM의 제한 없음. 멋지지 않은가?

따라서 Aligned는 당신의 증명을 검증할 것이다. 다음 단계는 검증 결과를 이더리움에 게시하는 것이다. 맞다, 내가 말하는 것은 "이번 검증의 결과"이다. 이미 검증되었는데, 왜 다시 검증해야 할까?

이제 당신은 여전히 당신의 데이터, 즉 증명을 가지고 있으며, 이를 어딘가에 게시할 수 있다. 음, Aligned는 이를 이더리움이나 Celestia와 같은 AltDA에 게시할 것이다. 당신의 선택이다.

Aligned Layer를 사용하면 증명을 검증하는 과정이 더 저렴해진다. 우리는 +10배의 비용 절감을 이야기하고 있다, 맞다!

또한, 더 빠르다. 당신은 당신의 증명이 이더리움에서 검증되기를 기다릴 필요가 없다; 당신은 이미 Aligned Layer에서 온 첫 번째 소프트 확인을 받았다.

더 이상 EVM의 제한이 없으며, 많은 새로운 잠재적 사용 사례가 있으며, zk 증명을 주류로 만드는 목표: Aligned Layer는 제로 지식 분야에서 가장 두드러진 참여자 중 하나가 될 것이다. 하지만 그것이 유일한 것은 아니다.

Nebra는 이더리움 기반의 범용 zk 증명 집계 프로토콜이다. 이건 좀 미친 소리처럼 들리지? 설명해줄게.

이더리움에서 zk 증명을 검증하는 것은 매우 비싸다. Nebra를 사용하면 이러한 비용을 5배 줄일 수 있다.

Nebra는 제안한다: "왜 체인 밖에서 대량의 ZK 증명을 검증하고, 이를 하나의 큰 패키지로 배치한 다음, 단지 하나의 집계된 체인 상 증명만 검증하지 않겠는가? 이렇게 하면 이더리움의 보안을 유지하면서 생성 단가를 낮출 수 있다!" 똑똑하지 않은가?

게다가, Nebra는 범용적이다. 이는 증명이 어떤 출처에서든 올 수 있음을 의미한다. zk 롤업, zkCoprocessor, zkML 또는 다른 누구에 의해 제출된 증명이든 Nebra는 이러한 증명을 수용한다.

Nebra는 또한 허가가 필요 없는 시스템으로, 이는 어떤 프로젝트든 사전 팀의 동의 없이 사용할 수 있어 이 기술이 대규모로 활용될 수 있게 한다.

이미 Nebra를 활용하고 있는 프로젝트들이 있다, 예를 들어 Worldcoin과 Brevis(전혀 새로운 ZK 협처리기)이다. 협처리기가 무엇인지 확실하지 않은가? 이전 기사를 확인해보라.

이렇게 끝났다…… 잠깐, 당신은 이게 끝이라고 믿지 않겠지?

Succinct는 모든 블록체인에 대해 zk 증명을 생성하는 레이어이다. 맞다, 모든 블록체인. 그것의 목표는 zk 증명을 생성하는 기본 레이어가 되는 것이다. 인상적이지 않은가?

그들이 어떻게 그렇게 하는지 궁금할지도 모르겠다------아니면 아마도 그렇지 않을 수도 있다; 어쨌든 설명해줄게. Succinct는 증명자 네트워크로 작동한다. 이 증명자들은 Succinct 네트워크에서 zk 증명을 생성한 다음, 증명을 고객에게 전송한다.

이러한 고객에게 최상의 가격을 제공하기 위해, Succinct 레이어는 두 부분으로 구성된다: 증명자가 각 요청에 대해 최상의 가격을 제공하는 시장과, 생성된 각 증명을 확장하여 단가를 낮추는 집계 시스템. 간단하고 효과적이다!

본질적으로, Succinct는 당신이 증명을 처리하기 위해 고용하는 계약자와 같다. 상상해보라, 당신이 meme을 그릴 수 없거나 이 기술을 발전시킬 시간이 없다면; 그럼 누군가를 고용해 도와달라고 하라. Succinct는 마찬가지로 증명을 위해 존재한다.

속담에 "큰 혁신은 큰 글을 의미한다"라고 한다 (하하, 내가 만든 말이다, 미안!). 한 가지 확실한 것은: zk 증명은 엄청난 잠재력을 가지고 있다. 우리는 광범위한 채택까지는 아직 멀었지만, 오늘 소개한 프로젝트들이 이 격차를 해소하는 데 도움을 주고 있다.