영지식 증명을 주류로 끌어들이는 3가지 프로젝트에 대해 알아보세요.

저자: 나이롤프, 우 선생님 출처: 서브스택 번역: 좋은옴브레, 황금금융

ZK 이거, ZK 저거, 형 제발 그만 얘기해줘요. .starknet은 월간 구독자가 8명밖에 안되고, 에어드랍도 실패했고, 아무도 ZK 롤업에 신경쓰지 않아요. 천천히 해볼게요 하하. 이 기술은 정말 대단해요.

먼저 영지식 증명, 즉 ZK 증명이 무엇인지 간단하게 이해해 보겠습니다. 예를 들어 보겠습니다!

존은 아름다운 호랑이를 그리는 것을 좋아하지만 친구들에게 자신의 그림을 보여주기가 두렵습니다. 수줍음이 많거든요!

친구들은 그의 실력을 의심합니다. 그가 그림 그리는 걸 본 적이 없으니까요! 하지만 존에게는 계획이 있어요. 곧 큰 호랑이 그림 대회가 열릴 예정이에요. 참가하려면 멋진 호랑이 그림을 그려야 해요.

예선에 참가해 통과하면 친구들은 존이 호랑이를 그릴 수 있다는 것을 알게 될 거예요. 친구들은 그가 그림을 그리는 것을 직접 보지는 못했지만 결국 그를 믿게 될 것입니다.

존은 대회에 참가하여 호랑이를 그렸고 심사위원들의 찬사를 받았습니다. 그의 친구들은 마침내 그를 믿었습니다! 이 친구는 정말 호랑이를 그릴 줄 알아요. 대단해요!

이것은 ZK 증명과 같습니다. 무언가를 보여주기만 하는 것이 아니라, 세부 사항을 알려주지 않고 증명하는 것.존의 증명은 그의 자격입니다. 그의 친구들은 그가 그림을 그리는 것을 보지는 못했지만 그가 그림을 그릴 수 있다는 것을 알았습니다.

이미 알고 계시겠지만, zk 증명의 장점 중 하나는 프라이버시 보호입니다.

그러나 이것이 유일한 장점은 아닙니다. 자세한 내용은 다루지 않겠지만 zk 증명이 더 빠르다는 점도 기억하세요. 이것은 실제로 많은 의미가 있습니다. 예시로 돌아가서, 존은 친구들에게 호랑이를 어떻게 그렸는지 일일이 보여줄 필요가 없습니다. 참여 초대장만 보여주면 됩니다.

또한, zk 증명이 메모리 효율이 더 높습니다. 이러한 증명은 다른 증명 시스템보다 더 쉽게 계산하여 검증할 수 있습니다.

그러나 이러한 증명은 언젠가는 검증되어야 한다는 단점이 있습니다. 제임스가 대회에 합격했다는 소식을 전해드렸다고 가정해 봅시다. 잘됐네요. 하지만 그 말이 사실인지 확인하고 싶으신가요?

유감스럽게도 이더리움, 특히 가상 머신(이더리움의 기반이 되는 큰 컴퓨터)이 있는 EVM은 zk 증명을 위해 설계되지 않았습니다. 이로 인해 검증 비용이 매우 비싸고 때로는 zk 증명을 사용할 수 없게 됩니다.

이것이 바로 정렬 레이어가 필요한 이유입니다.

정렬

이더리움에서 직접 증명을 검증하는 대신, 정렬 레이어에 제출합니다.

무엇이 궁금하신가요? 얼라인드 레이어는 증명 검증을 전문으로 합니다. 사용자가 제출한 증명 자료가 올바른지 확인할 준비가 되어 있는 전담 검증자 네트워크라고 생각하면 됩니다.

얼라인드 레이어는 여기서 이더리움의 역할을 합니다. 하지만 이더리움과 동일한 수준의 보안을 유지하기 위해 아이겐레이어 트랜잭션을 사용하므로 걱정하지 마세요. EVM의 제한 없이 이더리움과 동일한 보안을 유지합니다. 멋지지 않나요?

이렇게 Aligned는 여러분의 증명을 검증합니다. 다음 단계는 검증 결과를 이더리움에 게시하는 것입니다. 네, "검증 결과"라고 말씀드렸습니다. 이미 검증되었는데 왜 다시 한 번 검증해야 하나요?

자, 이제 어딘가에 게시할 데이터, 즉 증거가 남았습니다. Aligned는 이더리움이나 셀레스티아와 유사한 AltDA 중 원하는 곳에 게시할 것입니다.

얼라인드 레이어를 통해 증명을 검증하는 과정은 훨씬 저렴해집니다. 실제로 10배 이상의 비용 절감 효과가 있습니다!

속도도 약간 빨라집니다. 이더리움에서 증명이 검증될 때까지 기다릴 필요가 없습니다. 이미 얼라인드 레이어에서 첫 번째 (소프트) 확인을 받았기 때문입니다.

더 이상 EVM의 제약을 받지 않고, 수많은 새로운 잠재적 사용 사례와 zk 증명을 주류로 만들겠다는 목표: 정렬 레이어는 영지식 영역에서 가장 중요한 플레이어 중 하나가 될 준비가 되어 있습니다. 하지만 이것이 유일한 것은 아닙니다.

네브라

네브라는 이더 기반의 범용 영지식 증명 집계 프로토콜입니다. 조금 이상하게 들리시죠? 설명해드리겠습니다.

Ether에서 영지식 증명을 검증하는 것은 비용이 많이 듭니다. Nebra를 사용하면 이러한 비용을 5배까지 줄일 수 있습니다.

네브라는 "오프체인에서 많은 영지식 증명을 검증하고, 이를 하나의 큰 묶음으로 묶은 다음, 온체인에서 하나의 통합된 증명만 검증하는 것은 어떨까요?"라고 제안했습니다. 이렇게 하면 이더의 보안을 유지하고 생성되는 단위당 비용을 줄일 수 있습니다!" 꽤 영리하지 않나요?

또한, 네브라는 범용적입니다. 즉, 어떤 출처에서든 증명이 가능하다는 뜻입니다. zkRollups, zkCoprocessor, zkML 또는 기타 모든 소스에 관계없이 Nebra는 이러한 증명을 받아들입니다.

Nebra는 또한 라이선스가 필요 없으므로 어떤 프로젝트에서든 팀에 먼저 요청하지 않고도 사용할 수 있으므로 대규모로 기술을 사용할 수 있습니다.

이미 Worldcoin과 새로운 ZK 코프로세서인 Brevis 등 여러 프로젝트에서 Nebra를 활용하고 있습니다. 이전 포스팅을 확인해 보세요.

이것이 끝입니다 ...... 잠깐, 그게 끝이라고 생각하지 않으세요?

Succinct

Succinct는 모든 블록체인에 대해 영지식 증명을 생성하는 레이어입니다. 맞습니다, 모든 블록체인을 대상으로 합니다. 영지식 증명을 생성하기 위한 기본 레이어가 되는 것을 목표로 합니다. 인상적이지 않나요?

어떻게 그렇게 했는지 궁금하실 수도 있고, 알고 싶지 않으실 수도 있지만, 어쨌든 설명해드리겠습니다.Succinct는 검증자 네트워크로 작동합니다. 이러한 검증자는 Succinct 네트워크에서 영지식 증명을 생성한 다음 고객에게 증명을 전송합니다.

고객이 최적의 가격을 받을 수 있도록 Succinct 레이어는 검증자가 각 요청에 대해 최적의 가격을 제시하는 마켓플레이스와 생성된 각 증명을 확장하여 단위당 비용을 줄이는 집계 시스템의 두 부분으로 나뉩니다. 단순하게 유지하세요!

본질적으로 Succinct는 증명 작업을 대신 처리해 주는 계약업체와 같습니다. 이모티콘을 그릴 수 없거나 기술을 배울 시간이 없다면 누군가를 고용해 대신 그려줄 수 있지만, Succinct는 교정 작업만 대행해줍니다.

이 글이 좀 길어요! 하지만 "큰 혁신에는 큰 공간이 필요하다"는 격언이 있습니다. 한 가지 확실한 것은 영 지식이 큰 잠재력을 가지고 있다는 것입니다. 영지식 기술이 널리 채택되려면 아직 멀었지만, 오늘 소개한 프로젝트는 그 간극을 좁히는 데 도움이 되고 있습니다.