Cysic: ZK 산업에서 zkVM는 어떻게 새로운 패러다임이 되는가? -(1)

TL:DR

실시간 제로 지식 증명 생성은 종단 간 하드웨어 가속을 필요로 합니다. zkVM은 ZK ASICs의 설계를 단순화할 뿐만 아니라 하드웨어의 성능을 향상시키고 비용을 절감합니다.

​

Introduction

제로 지식 증명(ZKPs)은 한 당사자(증명자)가 다른 당사자(검증자)에게 어떤 명제가 참임을 증명할 수 있게 해주며, 그 명제의 유효성 이외의 어떠한 정보도 공개하지 않습니다.

​

제로 지식 증명의 발명자 중 한 명인 실비오 미칼리는 암호화가 데이터를 가리는 것처럼, 제로 지식 증명은 계산을 가린다고 말했습니다. 구체적으로, 암호화 알고리즘(예: AES 또는 RSA)은 데이터를 해당 암호문으로 변환하여 기본 데이터를 숨깁니다.

​

제로 지식 증명은 계산 명제를 증명으로 변환하여 계산의 세부 사항뿐만 아니라 명제의 정확성도 검증합니다.ZKP는 제로 지식과 단순성이라는 두 가지 좋은 특성을 가지고 있습니다. 이로 인해 가장 널리 사용되는 고급 암호화 원시 데이터 중 하나가 되었습니다.

​

제로 지식은 증명 자체가 계산 과정과 개인 입력에 대한 어떠한 정보도 드러내지 않는다는 것을 의미합니다. 이 특성은 일부 프라이버시 지향 애플리케이션을 구축하는 데 매우 유용합니다. 예를 들어, 비트코인, 이더리움 및 기타 공개 체인과 달리 Aleo는 거래 세부 정보를 숨길 수 있습니다.

​

단순성은 증명의 크기가 작고 검증 시간이 짧다는 것을 의미하며, 이는 복잡한 계산 과정을 작은 데이터 조각(즉, "증명")으로 변환할 수 있음을 의미합니다. 그리고 거의 즉시 약한 컴퓨팅 장치(예: 모바일 전화 또는 라즈베리 파이)에서 검증할 수 있습니다. 이 특성은 이더리움의 확장성을 높일 때 매우 유용합니다. 우리는 1,000개의 거래에 해당하는 EVM 계산을 작은 증명으로 변환한 다음 이 증명을 이더리움에 게시할 수 있습니다.

​

만약 이렇게 작은 증명(아마도 단지 100바이트일 것)이 이더리움에 의해 검증된다면, 전체 1,000개의 거래가 확정될 수 있습니다. 프라이빗 블록체인과 확장 솔루션은 블록체인 커뮤니티에서 ZKP 열풍의 단지 두 가지 예일 뿐입니다. ZK 공동 프로세서, ZK 브리지, ZK 머신 러닝(ZKML)과 같은 많은 ZK 프로젝트도 이 두 가지 핵심 특성을 사용하여 구축될 수 있습니다.

​

​

​

영희에게 코인 인증하고 코인올백 심화방 입장하기

https://open.kakao.com/me/Coinall100yh

 

코인올백 영희님의 오픈프로필

편하게 연락주세여

open.kakao.com

​

코인올백 트위터 https://twitter.com/coinall100kr

​