원저자: o1labs Phil Kelly
원문: YBB 캐피탈 에린
머리말
Mina의 주요 업그레이드는 혁신적인 영지식 사용 사례를 제공하여 브라우저나 서버와 같은 클라이언트 환경에서 오프라인으로 스마트 계약을 실행할 수 있는 기능을 도입합니다. 이 기사에서는 zkApps(zk 지원 애플리케이션)의 중요성, Web3에 대한 잠재적 영향, Mina의 향후 Berkeley 업그레이드의 중요한 역할에 대해 살펴봅니다.
빠르게 발전하는 Web3 분야에서 영지식의 최신 혁신은 새로운 시대를 열었습니다. 더 빠른 롤업과 라이트 클라이언트부터 브리징 기술에 이르기까지 ZooKeeper 인프라의 발전이 계속해서 주목을 받고 있습니다. 그러나 우리는 진정한 판도를 바꾸는 능력, 즉 브라우저나 서버와 같은 클라이언트 환경에서 완전히 오프라인으로 스마트 계약을 실행할 수 있는 능력이 등장했다고 믿습니다.
오프체인으로 이동
이것이 어떻게 달성됩니까? 이 혁신의 핵심은 zk 애플리케이션(zkApp) 코드를 사용하여 스마트 계약을 만드는 것입니다. 이러한 종류의 코드는 변조 방지 실행을 보장하고 새로운 신뢰 가정을 도입하지 않고도 제3자에게 작업의 정확성을 증명할 수 있으며, 이는 본질적으로 온체인 스마트 계약의 기능을 미러링합니다.
이러한 zk 지원 애플리케이션의 영향은 광범위합니다. 스마트 계약 실행을 오프체인으로 이동하면 가스 비용, 데이터 제한, 규모 제한, 시간 지연 등 온체인 실행과 관련된 수많은 문제를 극복할 수 있습니다. 또한, zkApps는 향상된 개인 정보 보호 기능을 제공하여 생년월일과 같은 정확한 개인 정보를 공개하지 않고도 나이와 같은 민감한 정보를 확인할 수 있습니다.
zkApps의 출시는 Web3의 사이퍼펑크 정신에 새로운 생명을 불어넣고 지난 5~10년 동안 한때 달성 불가능하다고 여겨졌던 아이디어를 되살리는 혁신의 물결을 촉발할 것입니다.
체인에 고정
zkApps에는 오프체인 기능이 있지만 앵커 체인은 여전히 중요합니다. 2년 이상의 개발 끝에 Mina의 Berkeley 업그레이드는 마지막 준비 단계에 있습니다. zkApps에 체인이 필요한 이유는 무엇입니까? 체인 외부의 zkApp 증명에는 검증이 필요하기 때문에 체인을 사용하면 몇 가지 신뢰할 수 있는 검증 이점을 얻을 수 있습니다.
전문 중립 검증인에 의한 체인 자체 자동 검증
확인 결과에 따라 자동으로 후속 조치를 실행합니다. (예: 18세 이상임을 입증하면 DeFi 계정이 개설되고 거래가 종료됩니다.)
향후 데이터 참조를 위해 검증 정보를 영구적으로 저장합니다.
다른 체인과 연결 가능한 검증
현실은 오프체인 스마트 계약과 온체인 검증 사이의 검증 과정이 그다지 섹시하지 않은 단계처럼 들릴 수 있으며, 문제가 발생하면 오프체인 접근 방식의 장점이 빠르게 침식될 수 있다는 것입니다. Mina와 같이 특별히 구축된 체인이 없으면 스마트 계약 검증은 규모가 크고 복잡하며 비용이 많이 들 수 있으므로 Mina는 처음부터 영지식 증명(ZKP)을 처리하기 위해 구축되었습니다. Berkeley 업그레이드 이후 Mina 블록체인은 오프체인에서 애플리케이션 증명을 검증할 수 있는 훌륭한 장소가 될 것입니다. Mina가 zkApp을 검증하기에 좋은 장소인 이유는 무엇입니까?
가스 비용이 없으면 오프체인 스마트 계약의 규모에 관계없이 온체인 증명을 확인하는 비용은 항상 낮습니다.
Mina의 작은 상태는 가까운 미래에 전체 노드가 사용자의 브라우저에서 실행될 수 있어야 하며 제3자 원격 프로시저 호출(RPC) 프로토콜을 사용하지 않고도 증명을 제출할 수 있어야 함을 의미합니다. 이는 개인 정보 보호에 적합합니다.
Mina의 작은 상태는 또한 상태 증명 기반 브리징(토큰 해킹 없이)을 통해 다른 체인에서 표현될 수 있음을 의미하므로 Mina는 전체 Web3에 대한 모듈식 증명 레이어 역할을 할 수 있습니다. 다른 많은 기능 중에서 이를 통해 zk 애플리케이션을 한 번만 작성하고 Mina에서 출력을 한 번 확인한 다음 확인을 다른 여러 체인에 연결할 수 있습니다. 지금은 즉각적인 멀티체인 DApp의 시대입니다.
검증은 EVM 체인에서 직접 수행될 수 있지만 소프트웨어 애플리케이션 분야에서는 할 수 있다가 해야 한다와 같지 않다는 것을 우리 모두 알고 있습니다. 따라서 이론적으로 EVM은 데이터 가용성(DA) 레이어 및 다른 체인의 분산형 주문자로 사용될 수도 있지만 Web3 세계에서는 모듈화가 이러한 전문적인 기능을 달성하는 방법이며 검증은 고도로 전문화된 기능임을 입증했습니다.
오프체인 혁명
애플리케이션 코드로 돌아가서 남은 2024년을 내다보며, o1Labs 에서는 zk 오프체인 컴퓨팅이 주도하는 애플리케이션 및 사용 사례 혁신의 급증을 기대하고 있으며, 이 오프체인 혁명은 몇 가지 흥미로운 가능성을 가져옵니다.
가스 없는 계산: zk 오프체인 계산을 사용하면 가스 수수료나 신뢰 없이 모든 규모의 계산을 수행할 수 있습니다.
검증 가능한 개인 정보 보호: Client zk는 검증 가능한 개인 정보 보호의 광범위한 가용성을 보장합니다.
Web2 데이터 사용: MPC(다자간 계산) 및 ZK를 공증에 사용하면 Web2 데이터의 일상적인 사용이 가능해집니다.
간단한 zkApp 구축: TypeScript를 사용하는 o1.js와 같은 새로운 도메인별 언어(DSL)를 통해 개발자는 zk 애플리케이션을 빠르고 쉽게 구축할 수 있습니다.
o1js : 오프체인에서 zk 코드에 액세스할 수 있도록 합니다.
과거에는 오프체인에서 zk 코드를 구축하는 것이 가능했지만, 실제로는 항상 어려웠습니다. o1js를 사용하면 쉬워집니다. TypeScript를 활용하여 o1js는 배포 및 유지 관리를 더 쉽게 해주는 직관적인 고급 언어를 제공합니다. o1js는 WebAssembly(WASM) 기능을 지원하므로 zkApp은 사용자 브라우저에서도 원활하게 실행될 수 있습니다. 또한 o1js 의 재귀 기능을 사용하면 오프체인 계산의 여러 증명을 작은 증명으로 집계하고 압축할 수 있습니다.
o1js는 2022년부터 제공되었으며 성숙해지고 있을 뿐만 아니라 새로운 기능도 추가되고 있습니다. 최근 o1js의 기본 기능에 대한 흥미로운 개선 사항을 통해 zk 애플리케이션은 더 넓은 범위의 입력을 처리할 수 있습니다. 예는 다음과 같습니다:
MetaMask가 서명한 Ethereum 데이터 소스 데이터를 사용할 수 있도록 ECDSA 및 Keccak 처리 기본 요소를 출시합니다.
Web2 세계의 많은 데이터 소스(예: 여권 데이터)의 기반이 되는 SHA-256 암호화 기술 지원
Web2 세션 인증 데이터(예: 은행 계좌 잔액)에서 정보를 만드는 공증 및 감시 기본 요소입니다. 더 많은 관련 정보를 원하시면 계속 지켜봐 주시기 바랍니다!
zkApp 혁명에 동참하세요
Mina에서 zkApps의 출현은 Web3 개발의 중요한 순간이었으며, 한때 비실용적이라고 여겨졌던 가능성의 영역을 열어주었습니다. 우리는 버클리의 업그레이드를 기대하고 있습니다
생태계가 구축할 것. Twitter/X 에서 우리를 팔로우하고 Mina Discord에 가입하여 Berkeley의 최신 소식을 받아보세요.
