저자：o1labs Phil Kelly

번역：YBB Capital Erin

서문

Mina의 중대한 업그레이드는 혁신적인 제로 지식 사용 사례를 가져왔으며, 클라이언트 환경(예: 브라우저 또는 서버)에서 오프라인으로 스마트 계약을 실행할 수 있는 능력을 도입했습니다. 본 문서는 zkApps(제로 지식이 활성화된 애플리케이션)의 중요성과 이들이 Web3에 미칠 잠재적 영향, 그리고 Mina의 다가오는 Berkeley 업그레이드의 핵심 역할을 탐구합니다.

빠르게 발전하는 Web3 분야에서 제로 지식의 최신 돌파구는 새로운 시대를 열었습니다. 더 빠른 롤업과 경량 클라이언트에서 브리징 기술에 이르기까지, zk 인프라의 발전은 계속해서 주목받고 있습니다. 그러나 우리는 브라우저나 서버와 같은 클라이언트 환경에서 스마트 계약을 완전히 오프라인으로 실행할 수 있는 진정한 게임 체인저의 능력이 등장했다고 믿습니다.

체인 외부로의 전환

이것은 어떻게 실현될까요? 이 혁신의 핵심은 zk 애플리케이션(zkApp) 코드를 사용하여 스마트 계약을 만드는 것입니다. 이 코드는 변조 방지 실행을 보장하며, 새로운 신뢰 가정을 도입하지 않고도 제3자에게 작업의 정확성을 증명할 수 있습니다. 본질적으로 이는 체인 상 스마트 계약의 기능을 반영합니다.

이러한 zk 지원 애플리케이션은 깊은 영향을 미칩니다. 스마트 계약의 실행을 체인 외부로 전환함으로써, 가스 비용, 데이터 제한, 규모 제한 및 시간 지연과 같은 체인 상 실행과 관련된 많은 도전을 극복할 수 있습니다. 또한, zkApps는 개인 정보를 보호하고, 생년월일과 같은 정확한 개인 세부 정보를 누출하지 않고도 나이와 같은 민감한 정보를 검증할 수 있게 해줍니다.

zkApps의 출현은 혁신의 물결을 일으키고, Web3의 사이버펑크 정신에 새로운 활력을 불어넣으며, 지난 5-10년 동안 한때 실현 불가능하다고 여겨졌던 아이디어를 재조명할 것입니다.

체인 상에서의 앵커링

zkApps가 체인 외부 기능을 가지고 있지만, 체인에 대한 앵커링은 여전히 중요합니다. 2년 이상의 개발 끝에 Mina의 Berkeley 업그레이드는 최종 준비 단계에 접어들었습니다. 왜 zkApps가 체인이 필요할까요? 체인 외부의 zkApp 증명은 검증이 필요하며, 체인을 활용하면 몇 가지 신뢰할 수 있는 검증 이점을 가져올 수 있습니다:

• 체인 자체에서 전문 중립 검증자가 자동으로 검증

• 검증 결과에 따라 후속 조치를 자동으로 트리거(예: 18세가 되었음을 증명하면 DeFi 계정이 활성화되고 거래가 완료됨)

• 향후 데이터 참조를 위한 검증 정보를 영구 저장

• 다른 체인과 연결할 수 있는 검증

실제 상황은 체인 외부 스마트 계약과 체인 상 검증 간의 검증 과정이 그렇게 매력적인 단계처럼 들리지 않으며, 만약 놓치는 것이 발생한다면 체인 외부 방법의 장점이 빠르게 약화될 수 있습니다. 그러나 Mina와 같은 전문적으로 구축된 체인이 없다면, 스마트 계약 검증은 방대하고 복잡하며 비용이 많이 들 수 있습니다. 따라서 Mina는 처음부터 제로 지식 증명(ZKPs)을 처리하기 위해 구축되었습니다. Berkeley 업그레이드 이후, Mina 블록체인은 체인 외부 애플리케이션 증명을 검증하는 데 훌륭한 장소가 될 것입니다. 왜 Mina가 zkApps를 검증하는 데 훌륭한 장소가 될까요?

• 가스 비용이 없으며, 체인 외부 스마트 계약의 규모에 관계없이 체인 상 증명의 검증 비용은 항상 낮습니다;

• Mina의 미세한 상태는 가까운 미래에 전체 노드가 사용자의 브라우저에서 실행될 수 있도록 하여, 제3자의 원격 프로시저 호출(RPC) 프로토콜 없이 증명을 제출할 수 있게 해줍니다—개인 정보 보호에 매우 적합합니다;

• Mina의 미세한 상태는 상태 증명 기반의 브리징을 통해 다른 체인에서 표현될 수 있음을 의미합니다(토큰 없이 해킹 가능), 따라서 Mina는 전체 Web3의 모듈화된 증명 계층으로 기능할 수 있습니다. 많은 다른 기능 외에도, 이는 zk 애플리케이션을 한 번 작성하고, Mina에서 출력을 검증한 후, 여러 다른 체인에 검증을 브리징할 수 있게 해줍니다. 이것이 바로 즉각적인 다중 체인 DApp 시대입니다.

그 검증은 EVM 체인에서 직접 수행될 수 있지만, 소프트웨어 애플리케이션 분야에서 우리는 "할 수 있다"는 것이 "해야 한다"는 것과 같지 않다는 것을 알고 있습니다. 따라서 이론적으로 EVM은 다른 체인의 데이터 가용성(DA) 계층 및 분산 정렬기로도 사용될 수 있지만, Web3 세계는 검증 모듈화가 이러한 전문 기능을 구현하는 방법이라는 것을 이미 알고 있으며, 검증 증명은 고도로 전문화된 기능입니다.

체인 외부 혁명

애플리케이션 코드로 돌아가서, 2024년 남은 시간 동안 우리는 o1Labs에서 zk 체인 외부 계산에 의해 구동되는 애플리케이션과 사용 사례 혁신의 급증을 기대하고 있으며, 이러한 체인 외부 혁명은 몇 가지 흥미로운 가능성을 가져옵니다:

무연료 비용 계산: zk 체인 외부 계산은 신뢰 없이 연료 비용 없이 임의 크기의 계산을 가능하게 합니다;

검증 가능한 개인 정보 보호: 클라이언트 zk는 검증 가능한 개인 정보 보호의 광범위한 가용성을 보장합니다;

Web2 데이터의 사용: 다자간 계산(MPC) 및 ZK를 사용한 "공증"을 통해 Web2 데이터의 일상적인 사용이 가능해집니다;

zkApps의 간편한 구축: TypeScript를 사용하는 새로운 도메인 특화 언어(DSL)인 o1js는 개발자가 zk 애플리케이션을 빠르고 쉽게 구축할 수 있도록 합니다.

o1js: 체인 외부에서도 zk 코드를 접근 가능하게

과거에는 체인 외부에서 zk 코드를 구축할 수 있었지만, 실제로는 어려움이 있었습니다. o1js는 모든 것을 간단하게 만들어줍니다. TypeScript를 활용하여, o1js는 배포 및 유지 관리를 더 쉽게 할 수 있는 고급 직관적 언어를 제공합니다. o1js는 WebAssembly(WASM) 기능을 지원하므로, 사용자의 브라우저에서 zkApp이 원활하게 실행될 수 있습니다. 또한, o1js의 재귀 기능을 사용하여 체인 외부 계산에서 나온 여러 증명을 집계하고 압축하여 하나의 작은 증명으로 만들 수 있습니다.

o1js는 2022년부터 사용 가능하며, 성숙할 뿐만 아니라 새로운 기능을 얻고 있습니다. 최근 o1js의 기본 기능에 대한 흥미로운 강화가 이루어져 zk 애플리케이션이 더 넓은 입력을 처리할 수 있게 되었습니다. 예시로는:

• ECDSA 및 Keccak 처리 원소를 게시하여 MetaMask로 서명된 이더리움 데이터 소스를 사용할 수 있게 함;

• Web2 세계의 많은 데이터 소스(예: 여권 데이터)의 기초가 되는 SHA-256 암호화 기술 지원;

• Web2 세션의 정보를 증명된 데이터로 만드는 공증 및 증인 원소(예: 은행 계좌 잔액). 더 많은 관련 정보는 주목해 주세요!

zkApp 혁명에 참여하세요

Mina에서의 zkApps 출현은 Web3 발전의 중요한 순간을 나타내며, 한때 비현실적이라고 여겨졌던 가능성의 영역을 열어줍니다. 우리는 Berkeley 업그레이드 이후 생태계가 무엇을 구축할지 기대하고 있습니다. Twitter/X에서 저희를 팔로우하고, Mina Discord에 참여하여 Berkeley의 최신 소식을 받아보세요.