주류로의 제로지식 증명 도입을 이끄는 3가지 프로젝트 소개
글: 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의 리스테이킹(re-staking)을 활용해 이더리움과 동일한 수준의 보안을 유지합니다. 이더리움과 동일한 보안성, 그러나 EVM의 제약은 없습니다. 멋지지 않나요?
따라서 Aligned가 여러분의 증명을 검증합니다. 다음 단계는 이 검증 결과를 이더리움에 게시하는 것입니다. 네, 제가 말한 건 "이번 검증의 결과"입니다. 이미 검증되었는데, 왜 또 검증을 받아야 할까요?
여전히 데이터, 즉 증명 자체는 어딘가에 게시되어야 합니다. Aligned는 이를 이더리움이나 Celestia 같은 AltDA에 게시합니다. 선택은 여러분의 몫입니다.
Aligned Layer를 사용하면 증명 검증 과정이 훨씬 저렴해집니다. 무려 +10배 이상의 비용 절감 효과를 말하는 거예요. 네!
또한 더 빠릅니다. 여러분은 더 이상 증명이 이더리움에서 검증되기를 기다릴 필요가 없습니다. 이미 Aligned Layer로부터 첫 번째 소프트 컨펌(soft confirmation)을 받았기 때문입니다.
EVM의 제한이 사라지고, 많은 새로운 잠재적 사용 사례가 생기며, zk 증명을 주류로 만들겠다는 목표를 가지고 Aligned Layer는 제로지식 분야에서 가장 두드러진 참여자 중 하나가 될 것입니다. 하지만 유일한 존재는 아닙니다.
Nebra는 이더리움 기반의 범용 zk 증명 집계 프로토콜입니다. 꽤 미친 소리처럼 들리죠? 설명해드리죠.
이더리움에서 zk 증명을 검증하는 것은 매우 비쌉니다. Nebra를 사용하면 이 비용을 5배까지 낮출 수 있습니다.
Nebra의 제안: 「왜 수많은 ZK 증명들을 체인 외부에서 검증하고, 이것들을 하나의 큰 패키지로 묶은 후, 체인 상에서 단 하나의 집계된 증명만 검증하지 않을까요? 이렇게 하면 이더리움의 보안성을 유지하면서도 단위당 생성 비용을 크게 줄일 수 있습니다!」 영리하죠?
게다가 Nebra는 범용(universal)입니다. 즉, 증명의 출처가 어디든 상관없다는 뜻입니다. zk 롤업, zkCo-processor, zkML 혹은 다른 누구라도 제출한 증명이라면, Nebra는 모두 수용합니다.
또한 Nebra는 허가가 필요 없는(무허가) 구조로, 어떤 프로젝트든 팀의 사전 승인 없이도 사용할 수 있어, 이 기술의 대규모 활용을 가능하게 합니다.
이미 Worldcoin과 Brevis(완전히 새로운 ZK 코프로세서)와 같은 프로젝트들이 Nebra를 활용하고 있습니다. 코프로세서가 뭔지 모르시겠다고요? 저희가 이전에 작성한 글을 참고하세요.
이게 끝입니다... 잠깐만요, 이게 끝이라고 안 믿으시겠어요?
Succinct는 모든 블록체인을 위해 zk 증명을 생성하는 계층(layer)입니다. 네, 모든 블록체인 말입니다. 그 목표는 zk 증명 생성을 위한 기본 계층이 되는 것입니다. 인상적이죠?
어떻게 가능한지 궁금하실 수도 있겠네요—혹은 아닐 수도 있고요. 어쨌든 설명드리죠. Succinct는 증명자(prover) 네트워크로서 작동합니다. 이 증명자들이 Succinct 네트워크 위에서 zk 증명을 생성한 후, 고객에게 증명을 전달합니다.
이 고객들에게 최고의 가격을 제공하기 위해, Succinct 계층은 두 부분으로 구성됩니다. 하나는 각 요청에 대해 증명자들이 최저 가격을 제시하는 시장이며, 다른 하나는 생성된 각 증명을 확장해 단위 비용을 낮추는 집계 시스템입니다. 간단하죠!
본질적으로 Succinct는 증명 관련 일을 대신 처리해주는 계약자와 같습니다. 예를 들어, 밈(meme)을 그리는 능력이 없거나, 기술을 익힐 시간이 없다면 누군가에게 맡기면 되는 것처럼요. Succinct도 마찬가지입니다. 다만 증명을 위해서 말이죠.
속담에 '큰 혁신은 큰 기사를 낳는다'고 하죠 (하하, 제가 지어낸 말입니다. 죄송합니다!). 확실한 건, zk 증명은 엄청난 가능성을 지니고 있다는 점입니다. 아직까지는 광범위한 채택까지는 멀었지만, 오늘 소개한 프로젝트들이 그 격차를 좁혀가고 있습니다.
TechFlow 공식 커뮤니티에 오신 것을 환영합니다
Telegram 구독 그룹:https://t.me/TechFlowDaily
트위터 공식 계정:https://x.com/TechFlowPost
트위터 영어 계정:https://x.com/BlockFlow_News
@0xNairolf
