원탁 대화: zk가 어떻게 진정한 주류로 나아갈 수 있을까, zk와 AI는 어떻게 결합될 것인가?

저자: ChainCatcher

zk 내러티브가 계속해서 뜨거워지는 가운데, 지난주 ChainCatcher "zk 마스터 클래스" 시리즈의 두 번째 행사(이전 회고)에서는 Ola, Cysic, Hyper Oracle, FOX, Opside 및 CatcherVC에서 온 6명의 멤버를 초청하여 "zk 내러티브의 뜨거움, zk의 장기 가치를 어떻게 포착할 것인가"를 주제로 zk의 현재 발전의 병목 현상과 미래의 가능성에 대해 논의했습니다.

다음은 본 행사에서의 텍스트 정리입니다:

1. 진행자 LonersLiu: 각 게스트가 왜 zk 방향으로 창업을 선택했나요? 창업 과정에서 zk의 한계를 발견했나요?

NanFeng: Opside는 2018년부터 기술 선택을 연구해왔습니다. 우리는 현재 Rollups 서비스를 제공하는 많은 프로젝트가 OP Stack 프레임워크를 기반으로 하고 있으며, Optimism의 코드를 수정하여 사용하고 있다는 것을 발견했습니다.

이에 비해 우리는 zk가 더 장기적인 솔루션이라고 생각합니다. 더 빠르고 안전하며 신뢰할 필요가 없습니다. 동시에 zk는 우리의 크로스 롤업 통신과 같은 다른 특성도 가져올 수 있습니다. 이는 Optimism 솔루션으로는 구현할 수 없는 것입니다.

zk의 가장 큰 한계는 더 많은 계산 능력을 제공하는 방법입니다. Optimism 솔루션은 단 하나의 노드만 있으면 되지만, zk 솔루션은 zk 증명을 생성하여 데이터의 검증성을 제공해야 합니다. 또한 zk의 계산 능력은 매우 전문적이기 때문에 게임이나 소셜 네트워크 개발자가 zk 계산 능력을 제공할 수 있는 능력이 없을 수 있습니다. 따라서 더 많은 채굴자를 유치하여 계산 능력을 제공해야 하며, 개발자가 스스로 계산 능력을 유지하는 것이 아닙니다.

PoS와 PoW 혼합 합의 기반의 Opside는 이 문제를 해결할 수 있습니다. zk Rollup을 실행 가능한 서비스로 만들 수 있습니다. 우리는 최근 메인넷에 출시된 Polygon zkEVM과 앞으로 출시될 Scroll 및 Taiko와 같은 많은 오픈 소스 솔루션을 연구했으며, 이들의 합의 계층을 일정 부분 수정하여 Opside 플랫폼에 맞출 것입니다. 이렇게 하면 Opside의 PoS와 PoW 혼합 합의에서 이익을 얻을 수 있으며, 다른 채굴자들이 참여하여 분산된 계산 능력 네트워크를 제공할 수 있습니다. 사용자에게는 zkEVM의 호환성을 누릴 수 있을 뿐만 아니라 BNB Chain이나 Polygon과 같은 EVM 호환 체인으로 원활하게 이전할 수 있으며, 기본 계산 능력 문제에 대해 걱정할 필요가 없습니다.

Leo Fan: Cysic 프로젝트를 창립한 것은 Algo에서의 경험에서 비롯되었습니다. Algo 자체에 zk 증명이 있었고, 우리는 증명 생성 시간을 1분 이내로 단축시키려고 했지만, 많은 알고리즘과 소프트웨어 최적화를 시도했음에도 도달하지 못했습니다. 그래서 zk 가속 하드웨어에 대한 아이디어가 생겼습니다.

경험적으로 볼 때, ZKP 계산 능력의 진입 장벽은 다소 높습니다. 전체 ZKP 알고리즘에 대해 매우 잘 이해해야 할 뿐만 아니라, ZKP 알고리즘 설계의 난이도는 비트코인 채굴기 칩보다 훨씬 높습니다. 알고리즘 모듈이 복잡하고 전체 ZKP 알고리즘이 계속 변화하고 있기 때문에 설계 시 범용성과 효율성을 모두 고려해야 합니다.

현재 시장에 있는 모든 ZKP 방법은 특정 알고리즘에 완전히 묶이지 않습니다. 사람들은 이러한 알고리즘을 더 기본적인 연산자로 분해하고, 이러한 연산자를 가속화하려고 시도합니다. 이후 알고리즘이 변경되더라도 소프트웨어 레벨에서 다시 컴파일하기만 하면 됩니다. 그래서 현재 모두 효율성이 가장 좋은 조합을 테스트하고 있습니다. 예를 들어, 우리의 MSN은 본래 효율성이 매우 높습니다.

White Young: 제가 2018년에 암호화 산업에 들어왔을 때는 컨소시엄 체인을 다루고 있었고, 그 당시 zk 기반의 프라이버시 거래를 하고 있었습니다. 컨소시엄 체인은 많은 금융 기관이 프라이버시에 관심을 두고 있었기 때문입니다. 이더리움의 발전과 함께 2019년에는 Rollup 개념에 접하게 되었고, zk가 확장성에 미치는 영향을 발견했습니다. 2021년까지 산업 블록체인에서 암호화 산업으로 넘어와 zk 방향에서 실제로 구현할 수 있는 것을 이루고자 했습니다.

그 후 우리는 zkEVM 솔루션을 조사하기 시작했고, 점차 확장 프로젝트에 대해 최종 확장 효과를 어떻게 실현할 것인지가 더 중요하다는 것을 깨달았습니다. 현재의 프로젝트는 성능을 계속 향상시킬 수 있는 많은 점이 있습니다.

그래서 우리는 Ola VM을 창립했습니다. 이는 고성능과 호환성을 주로 하는 zkVM입니다. 우리는 Ola VM의 전체 poc 알고리즘을 가상 머신에 배포하고, 이후 컴파일러와 프로그래밍 언어로 확장했습니다. 이는 0에서 시작하여 설계된 것입니다. 따라서 Ola VM 외에도 프로그래밍 언어 Ola Lang도 함께 제공하고 있습니다.

올해 1월에 우리는 Ola VM의 방향을 조정했습니다. 확장성 외에도 프라이버시 분야에도 진출하고 있습니다. Aztec Network가 새로운 자금을 조달한 것을 보면, 우리는 암호화 산업이 프라이버시에 대한 진정한 내러티브 수요가 있다고 판단했습니다.

Msfew: 처음 zk 방향을 선택한 이유는 The Graph와 같은 미들웨어 네트워크의 보안성이 매우 낮다는 것을 발견했기 때문입니다. Optimistic과 같은 중앙화된 메커니즘을 통해서든, 노드와 법적 문서를 통해 노드의 계산 유효성을 제약하든, 모든 Dapp 개발자에게 미들웨어 네트워크는 필수 인프라입니다. 우리는 그 기회를 보았습니다. zk는 데이터의 유효성을 보장해주며, 노드가 이더리움의 체인 상 데이터를 인덱싱하거나 체외 계산을 수행하는 것을 포함합니다.

또한 우리는 임의의 체외 계산을 지원할 수 있어 zk의 한계를 극복했습니다. zkWASM(웹어셈블리의 zkVM)은 완전히 사용자 정의 가능하고 프로그래밍 가능하며, zkWASM에서 실행되는 모든 프로그램은 zk의 강력한 능력을 가지고 있습니다. 여기에는 검증 가능성, 신뢰 없음, 분산화 및 계산 완전성이 포함됩니다.

zkWASM과 zkEVM의 존재 이유는 동일합니다. EVM은 모든 Solidity 스마트 계약이 zkEVM 네트워크에 신속하게 배포될 수 있도록 지원하기 위해 존재합니다. zkWASM은 The Graph 생태계를 지원하는 것을 목표로 하며, 현재 메인넷에는 800개 이상의 스마트 계약 서브그래프가 배포되어 있습니다. zkWASM은 모든 코드를 가상 머신 내에서 실행하여 코드 실행 및 증명 생성을 실현할 수 있습니다.

Sputnik: 우리가 이 트랙을 선택한 이유는 zk가 두 가지 중요한 속성을 가지고 있기 때문입니다. 첫째, 제로 지식을 실현하여 프라이버시 보호를 제공합니다. 둘째, Rollup 개발이 우리 팀의 기술 특기이기 때문입니다.

현재 우리가 직면한 몇 가지 난관은 알고리즘 자체의 성능 문제일 수 있습니다. 따라서 기존 알고리즘의 개선은 우리가 주목하는 도전 과제입니다. 또한 zk 구현 측면에서, 현재 zk 회로를 지원하는 기반 시설이 많지 않으며, 회로 간의 일관성 문제도 존재합니다. 동일한 코드는 서로 다른 회로로 인해 구현하기 어려울 수 있습니다. 그러나 현재 최적의 표현 방법은 없습니다.

2. 진행자 LonersLiu: zk가 이전의 경제학적 게임을 수학으로 대체했다고 하더라도, 검열 저항, 단일 실패 지점 시스템의 업그레이드 방지, 더 많은 사람들이 참여하도록 유도하기 위해서는 다양한 참여자를 유도할 수 있는 정교한 토큰 설계가 필요합니다. 그러나 현재의 계산 자원은 POW 또는 AI 계산에 집중할 수 있습니다. 왜 새로운 ZKP 프로젝트에 참여해야 할까요? 각자의 ZKP 제품 토큰 경제 모델에 대한 생각은 어떠신가요?**

Msfew: 안전성에 대해 한 가지를 보충하자면, 우리는 반드시 zkWASM을 사용할 필요는 없지만, 이더리움의 안전성을 계승할 수 있도록 보장하기 위해 StarkNet을 통해 이더리움의 일부 안전성을 계승하는 대신 zkWASM을 선택했습니다. 증명이 이더리움에서 검증될 수 있도록 하기 위해서입니다.

전체 시스템의 경제적 인센티브에 대해, zk의 주요 장점은 순수한 암호학을 사용하여 많은 복잡한 구성 요소를 대체할 수 있다는 것입니다. zk를 사용하지 않으면 현재의 일부 미들웨어나 오라클 네트워크는 거시적으로 전체 시스템에 대해 많은 경제학적 설계와 가정을 해야 하며, 매우 복잡한 곡선을 설계해야 할 수 있습니다.

전체 인센티브 메커니즘 설계 측면에서, 우리는 The Graph와 같은 일부 설계를 결합하고, 일부 폰지 구성 요소를 제거할 것입니다. 토큰 설계의 첫 번째 목적은 단순히 가격을 높이는 것이 아니라, 토큰을 통해 성공적인 제품 또는 성공적인 네트워크를 만드는 것입니다.

3. 진행자 LonersLiu: 과거의 안전 모드에서는 우리는 게임 참여자가 정직하게 참여할 것이라고 믿었지만, zk 측면에서는 회로의 안전성 문제, 제약 조건 또는 컴파일러를 신뢰해야 합니다. 하지만 그 뒤에도 사람은 존재합니다. 여러분은 어떻게 안전성을 확보하고 있나요? 감사나 다른 방법을 통해서인가요?**

Msfew: 이 점은 사실 Trustless 정의와 관련이 있습니다. Trustless는 신뢰가 필요 없다는 것입니다. 그러나 근본적으로 따져보면, 진정으로 신뢰가 필요 없는 것은 없습니다. zk 프로젝트를 보려면 여전히 그 회로가 올바르다는 것과 코드가 올바르다는 것을 믿어야 합니다. 비트코인을 볼 때와 마찬가지로, 우리는 비트코인 핵심 개발자가 작성한 코드가 올바르다고 믿어야 하며, 버그가 없어야 합니다. 더 깊이 들어가면, 암호학과 수학의 규칙이 오류를 범하지 않을 것이라는 믿음이 필요합니다.

zk 전체 시스템의 안전성은 비교적 새로운 문제입니다. 현재 zk 개발 측면에서 관련된 안전 도구나 테스트 도구 및 감사 도구는 매우 부족하며, 대부분은 인력 감사와 같은 것에 의존해야 합니다. 미래의 발전에서 많은 zk 안전 관련 도구가 생길 가능성이 있으며, 이는 모든 zkEVM 또는 다른 zk 네트워크에 매우 좋은 일이 될 것입니다.

4. 진행자 LonersLiu: Opside가 zk-RaaS를 할 때, 많은 계산 능력이 있다고 가정하면, 여러분은 어떻게 계산 능력을 분배할 것인가요? 또는 더 많은 참여자가 네트워크에 서비스를 제공하도록 유도하기 위해 어떤 방식으로 인센티브를 제공할 것인가요?**

NanFeng: 이것은 우리가 해결해야 할 핵심 문제입니다. 그러나 전제는 시장의 계산 능력 공급이 수요를 훨씬 초과한다는 것입니다. 현재 이더리움이 2.0으로 전환된 후, 이더리움에서 퇴출된 채굴자들은 갈 곳이 없으며, 많은 계산 능력이 방출되었습니다. 이러한 큰 전제 하에, 이러한 계산 능력은 더 나은 플랫폼으로 가는 표적을 찾아야 합니다. Opside 플랫폼은 이러한 ZKP 계산 능력에 대해 통일된 시장 가격을 제공합니다.

현재 많은 zk Rollup이 이더리움이나 BSC에 배포되어 있지만, 그들 간에는 단절이 있습니다. 아주 간단한 예를 들면, 현재 메인넷에 배포된 Polygon zkEVM과 zkSync Era는 서로 아무런 관계가 없습니다. Polygon에서의 자산과 zkSync에서의 자산은 완전히 다른 계좌이며, 기본 계산 능력과 알고리즘도 완전히 다릅니다.

그러나 Opside 내에서는, 예를 들어 통일된 Polygon zkEVM 규격을 채택할 수 있으며, zkSync, Scroll 등도 규격을 정립하여 통일된 가격을 생성할 수 있습니다. 채굴자에게는 더 이상 단절된 zkEVM이 아니라 통일된 배치(batch) 시장이 되어, 가장 높은 가격을 찾아 ZKP 제로 지식 증명을 생성하여 수익을 얻을 수 있습니다.

5. 진행자 LonersLiu: 만약 Opside 플랫폼의 계산 능력이 매우 집중된다면, 안전성에 영향을 미칠까요? 예를 들어 POW에서 계산 능력이 고도로 집중되면 일부 하드 포크가 발생할 수 있는데, ZKP에서 계산 능력이 집중되면 네트워크에 위험이 있을까요?**

NanFeng: 이것은 사실 전통적인 POW와 zkEVM의 POW의 가장 큰 차이점입니다. 전통적인 POW, 예를 들어 비트코인은 계산 작업이 무의미하게 해시를 계산하는 것뿐입니다. 그러나 zkEVM 관점에서, 그 계산 작업은 실제로 ZKP의 계산 능력입니다. 그러나 그것 자체가 전체 시스템의 분기를 위한 것이 아니며, 전체 시스템의 합의는 여전히 상위 Opside에 의해 결정됩니다. 생성된 ZKP의 유일한 목적은 특정 시퀀스(정렬기)가 올바른지 검증하는 것입니다. 분기 여부는 실제로 Opside에 의해 결정됩니다.

6. 진행자 LonersLi: Sputnik, FOX가 토큰 인센티브를 어떻게 생각하는지 공유해 주시겠어요?**

Sputnik: 이 문제의 핵심은 L2의 토큰 설계가 간단하고 편리한지 여부입니다.

따라서 일부 L2는 별도의 토큰을 발행하고, 일부 L2는 L1의 토큰을 계속 사용하기로 선택합니다. 별도의 토큰을 발행하는 것은 Layer에서 계약을 배포하고 거래를 실행하는 데 필요한 GAS를 별도로 구매해야 함을 의미합니다. 이는 사용자에게 불편을 초래할 뿐만 아니라 프로젝트에도 좋은 일이 아닙니다. 메커니즘이 어떻게 되든, 수수료 측면의 설계 원칙은 사용자에게 서비스를 제공해야 하며, 복잡한 교환에 빠지지 않도록 해야 합니다.

또한, 토큰 메커니즘은 증명을 생성하는 노드를 유도할 수 있는지 여부와 동시에 안전성을 보장할 수 있는지 여부와 관련이 있습니다. 안전성에 관해서는 두 가지가 있습니다. 하나는 알고리즘의 안전성이고, 다른 하나는 시스템의 안전성, 즉 합의 측면의 안전성입니다.

Fox도 이 메커니즘을 연구하고 있으며, 간단한 공격 예를 들어보겠습니다. 예를 들어, 어떤 노드가 증명을 제출하여 해당 토큰 인센티브를 얻었다고 가정해 보겠습니다. 그 후, 그가 신뢰할 수 있는 계산 증명을 제출하면 다른 노드도 그의 증명을 즉시 복사하여 제출할 수 있지 않을까요? 심지어 선행 제출이 발생할 수도 있습니다. 이는 그들이 서로 다른 증명을 생성하도록 만드는 방법을 고민해야 한다는 것을 의미합니다. 이는 회로에 독특한 정보를 통합해야 합니다.

7. 진행자 LonersLiu: 프라이버시 환경에서 zk 프로세스가 제3자에게 아웃소싱될 때 데이터 유출이 발생할 수 있나요?**

White Young: 이상적인 상황에서 프로그래머블 프라이버시는 사용자 측에서 생성된 프라이버시 거래를 원합니다. 그러나 현재의 프라이버시 제로 지식 증명 성능은 계산 능력이 비교적 약한 기계에서 증명을 완료할 수 없기 때문에 현재 기본적으로는 제3자에게 프라이버시 문제를 설정하도록 하는 대리 솔루션이 있습니다. 이러한 경우 거래 관련 정보가 유출될 위험이 있습니다. 예를 들어 거래 발신 주소, 발신자, 거래 내용 등이 유출될 수 있습니다.

그러나 이러한 프라이버시 정보가 유출되더라도, 거래를 위조하거나 후속 거래를 위조하는 상황은 발생하지 않을 것입니다. 또한 유출된 범위는 단지 거래의 프라이버시가 해당 노드에게 유출되는 것에 불과합니다.

8. 진행자 LonersLiu: 만약 GPT 3.5가 AI가 주류로 나아가는 대표적인 사건이라면, 그 뒤에는 데이터 훈련이 일정 수준에 도달한 것입니다. 여러분은 zk가 진정으로 주류로 나아가게 할 수 있는 사건이 무엇이라고 생각하나요? 최근 zk와 AI의 결합에 대한 논의가 자주 이루어지는데, 이 방향에 대해 어떻게 생각하시나요?**

Msfew: zkWASM과 같은 범용 zk 가상 머신이 전통적인 계산 프로그램과 결합할 수 있을 때, zk는 진정으로 주류로 나아갈 수 있습니다.

zkEVM은 Web3와 블록체인 분야에서 매우 큰 혁신이지만, 특정 문제만 해결합니다. zkWASM, zkVM 등은 Web 2의 전통적인 계산 유효성과 프라이버시 문제를 해결합니다. zkWASM과 zkVM이 서로 보완될 때 거의 모든 계산 문제를 해결할 수 있습니다. 동시에 우리는 zk 증명의 속도를 높여 Web2와 Web3의 계산이 zkEVM을 안심하고 사용할 수 있도록 해야 합니다.

zk와 AI의 결합 측면에서, zk와 AI는 서로 다른 방향으로 나아가고 있습니다. zk는 암호학적 개인 주권 의식에 관한 것이며, 계산 유효성과 프라이버시 문제를 해결합니다. 반면 AI는 생산력의 해방을 가져옵니다.

zk는 AI 모델의 계산이 유효하다는 것을 보장할 수 있으며, AI 모델 뒤의 공급자의 신원을 검증할 수 있습니다. 예를 들어 특정 AI 공급자가 GhatGPT인지 문언일심 등 다른 서비스 제공자인지를 확인할 수 있습니다.

프라이버시 측면에서, zk와 AI의 결합은 두 가지 모델이 있을 수 있습니다. 하나는 개인 민감 데이터를 유출하지 않도록 보호하는 것이고, 다른 하나는 특정 계산 모델의 매개변수가 유출되지 않도록 보장하면서 모델 자체의 정확성과 성능을 증명하는 것입니다. 예를 들어 특정 거래 전략을 보호하여 코드가 보이지 않도록 하면서도 전략의 유효성을 증명할 수 있습니다.

9. 진행자 LonersLiu: 프라이버시 측면에서 전통적인 인터넷 회사들은 많은 경우 MPC를 사용하여 프라이버시 문제를 해결하고 있으며, 그 비용은 zk보다 낮습니다. AI가 대량의 계산을 필요로 할 때, zk가 MPC에 비해 어떤 장점이 있나요?**

Msfew: zk의 장점은 간결성입니다. 검증 속도가 매우 빠르며, 브라우저, 휴대폰 또는 체인 상 계약 등 임의의 계산 환경에서 구현할 수 있습니다. 블록체인 분야에서는 프로젝트 측이 전체 블록체인 네트워크를 설득하여 데이터를 수용하도록 하려면 증명을 제공해야 하며, 이 증명은 매우 크고 복잡할 수 없습니다. 이때 zk와 같은 더 간결한 증명 방식이 필요합니다. 이것이 zk와 블록체인이 밀접하게 결합된 이유입니다.

10. 진행자 LonersLiu: AI 분야에서 ChatGPT가 범용 모델을 매우 강력하게 만들고 있는 상황에서, 수많은 수직 분야의 "ChatGPT"가 등장했습니다. zk 분야에 비유하자면, zkEVM이 잘 완성되었을 때, 특정 애플리케이션을 위한 애플리케이션 체인을 만드는 팀도 생길 것입니다. 사용자 특정 요구에 대해 NanFeng은 어떤 의견이 있나요?**

NanFeng: 특정 요구는 특정 회로를 통해 해결해야 합니다. 전형적인 예는 dYdX가 원래 Starkware를 통해 전용 회로를 제공받는 것입니다. 그 장점은 회로 효율성이 높다는 것이지만, 단점은 추가적인 개발 비용과 더 높은 개발 장벽을 초래하며, 가장 중요한 것은 주권이 Starkware에 남아 dYdX 자신에게 있지 않게 되어 dYdX의 많은 경제 모델이 자율적으로 변경될 수 없게 됩니다.

따라서 미래에는 다중 체인과 다중 Rollup이 장기적으로 공존하는 상태가 될 것입니다. 어떤 프로젝트는 다중 체인 모드를 필요로 하며, 특정 애플리케이션 체인이 필요할 수 있습니다. 어떤 프로젝트는 Rollup 경로를 선택할 것입니다.

11. 진행자 LonersLiu: 이전 질문으로 돌아가서, zk가 언제 진정한 주류로 나아갈 것인지, zk와 AI가 어떻게 결합될 것인지에 대해 White Young은 어떤 의견이 있나요?**

White Young: 주류로 나아가기 위해서는 먼저 주류 애플리케이션을 유치하여 주류 사용자를 확보해야 합니다. zk가 해야 할 일은 대량의 주류 사용자가 블록체인으로 유입될 때, 산업이 높은 성능 요구를 충족할 수 있는 장면을 도와주는 것입니다.

zk와 AI의 결합에 대해, 우리는 대량의 사용자와 높은 성능 요구가 있는 상황에서, 원래의 가스 모델을 고수한다면, AI 호출에 필요한 가스가 매우 높아질 수 있습니다. 하나의 블록이 반드시 하나의 거래 또는 하나의 AI 거래 결과를 포장할 수 있는 것은 아닙니다. 따라서 우리는 zk를 통해 AI의 거래를 가능한 한 더 나은 거래 규모로 압축하여 하나의 블록이 가능한 한 많은 거래를 포함할 수 있도록 해야 합니다. 둘째, 우리는 가스 소비 문제를 해결하기 위해 새로운 가스 요금 모델을 사용할 필요가 있을 것입니다.

zk가 확장성 문제를 잘 해결할 수 있게 되면, 일부 주류 사용자가 실제로 블록체인에 대량으로 진입하게 되고, 프라이버시는 자연스럽게 점차 중요해질 것입니다. 이때 zk는 프라이버시 측면에서 다시 그 역할을 발휘할 수 있으며, 이는 점진적인 과정입니다.

12. 진행자 LonersLiu: zk 분야에서 주목할 만한 혁신과 돌파구는 무엇인가요? 이러한 혁신이 Web3 발전에 어떤 영향을 미칠까요? zk 기술의 Web3 분야에서의 장기 가치는 어떤 측면에서 나타날까요?**

Sputnik: 우리는 먼저 zk가 도대체 무엇을 가져왔는지 생각해봐야 합니다. 우리는 zk가 투명성을 제공하여 정보의 차이를 해소할 수 있다고 생각합니다. 예를 들어, 어렸을 때 부모님이 우리에게 세뱃돈을 보관해 주겠다고 했을 때, 우리가 어떻게 그들이 정말로 보관하고 있다고 믿을 수 있을까요? 그 사이에는 정보의 차이가 존재하며, zk는 정보의 진실성을 증명할 수 있으면서도 상대방에게 직접 보여줄 필요가 없습니다.

추상적으로 보면, 정보의 차이가 있는 장면은 많습니다. 예를 들어 거래소의 준비금 증명에서, zk는 이러한 정보의 차이를 없앨 수 있으며, 우리는 단순히 인간의 신뢰에 기반할 뿐만 아니라 수학에 대한 신뢰를 기반으로 할 수 있습니다.

Msfew: 기술 측면에서, 우리는 매우 많은 기술 인재들이 zk에 참여하고 있으며, 매우 혁신적인 증명 시스템을 창출하고 있다는 것을 볼 수 있습니다. 이는 하나의 추세입니다. 응용 측면에서는, 우리는 Hyper Oracle과 같은 임의의 체외 계산을 지원하는 zk 오라클에 주목할 수 있습니다. 우리는 zk를 활용하여 진정한 분산 애플리케이션을 엔드 투 엔드로 실현할 수 있으며, 동시에 안전성을 보장할 수 있습니다.

우리의 zk 구성 요소는 이더리움의 합의가 임의의 장면에서 검증될 수 있도록 도와줍니다. 예를 들어, 모바일 브라우저나 심지어 스마트 계약에서도 가능합니다. 우리의 zk 오라클은 이더리움에 대해 브라우저와 유사한 애플리케이션이며, zk 구성 요소는 이더리움 합의의 보완 역할을 합니다.

zk의 장기 가치 측면에서, zk의 본질은 체외에서 비교적 하드코어한 암호학적 계산을 통해 신뢰 문제를 해결하는 것이며, 블록체인의 본질은 많은 사람들이 프로젝트 계산을 반복하여 신뢰 문제를 해결하는 것입니다. 저는 미래에 zk가 블록체인보다 더 강력한 암호학적 응용이 될 것이라고 믿습니다. zk는 블록체인 개념보다 더 중요하지만, 현재 두 가지는 서로 보완적입니다.

13. 진행자 LonersLiu: Vitalik이 미래의 이더리움 Layer1도 zk화가 필요하다고 언급했는데, 미래의 하드웨어 가속이 매우 성숙한 시대에, 스마트폰이나 컴퓨터를 통해 zk 증명을 생성할 수 있을까요? 그럼 미래의 zk 하드웨어 채굴 규모는 얼마나 될까요?**

Leo Fan: 검증은 문제가 없을 것입니다. 왜냐하면 검증의 전체 계산량이 매우 적기 때문입니다. 생성은 회로의 크기와 어떤 단계를 사용하는지에 따라 크게 달라집니다. 최근 우리는 이더리움 재단과 함께 전체 하드웨어 가속 인터페이스 표준화에 대해 협력 논의를 하고 있습니다.

또한 우리는 ZKP 칩을 개발하고 있으며, 대략 내년 Q2에 출시될 예정입니다. 이 칩의 성능은 기본적으로 3090 그래픽 카드의 64배로, 많은 복잡한 ZKP 계산을 10초에서 20초 내에 완료할 수 있습니다.

미래에 이 칩은 개발자 버전도 제공할 예정이며, 개발자가 USB와 같은 방법으로 노트북에 직접 연결하여 로컬에서 일부 계산 처리를 수행할 수 있도록 할 것입니다.

규모는 작지 않을 것입니다. 많은 ZKP 프로젝트가 있기 때문입니다. 우리는 올해 하반기에 zk prove DAO를 설립할 예정입니다. Layer2 프로젝트의 경우, 그들의 칩 수요는 대략 2000개 정도이며, Layer1 및 기타 응용 프로그램을 포함하면 대략 1만 개 이상의 수요가 있을 것으로 예상됩니다.

14. 진행자 LonersLiu: zk 분야의 미래 혁신과 돌파구에서 주목할 만한 방향은 무엇인가요? 다른 분들은 어떤 보충이 있나요?**

NanFeng: zkEVM 분야는 앞으로 기대할 만한 부분이 많습니다. Scroll과 같은 여러 프로젝트가 등장하면서 이 분야는 더 치열한 시장을 맞이할 것입니다. zkEVM의 호환성, 변형 가능성, 효율성 생성, ZKP 소모 자원 등의 방향은 모두 주목할 만한 점이며, 이 또한 프로젝트의 경쟁력을 부각시킬 수 있습니다. 우리는 Opside가 이러한 요소를 종합적으로 고려하여 몇 가지 솔루션을 선택하고, 이를 플랫폼에 통합하여 사용자에게 최상의 경험을 제공할 것입니다.

Sputnik: 크로스 체인 브리지 또한 zk 응용의 핫스팟입니다. FOX도 zk 기술을 활용하여 관련 개발을 진행했습니다.

크로스 체인의 몇 가지 난관은 자산을 어떻게 통제할 것인지와 유동성과 신뢰성을 어떻게 조화롭게 유지할 것인지입니다. 신뢰성 측면에서, 과거의 일반적인 방법은 신뢰할 수 있는 중심에 의존하는 것이었습니다. 예를 들어, 자산을 잠근 후 다른 체인에서 해당 자산을 해제해야 했습니다. 그러나 zk의 출현은 신뢰성에 대한 훌륭한 해결책을 제공할 수 있습니다.

White Young: 먼저 명확히 해야 할 점은, Ola는 프라이버시를 지원하는 플랫폼이지, 오직 프라이버시만을 위한 플랫폼이 아닙니다. 즉, 우리가 플랫폼에서 공개 거래를 할 때에도 우리는 zkEVM입니다.

확장성은 분명히 zk 또는 전체 블록체인이 가장 먼저 해결해야 할 문제입니다. 이를 해결하지 않으면 주류 애플리케이션을 도입하기가 어렵습니다. 그러나 확장성 측면에서는 선택 문제에 직면하게 됩니다. 호환성 관점에서 출발할 것인지, 효율성 관점에서 출발할 것인지에 따라 서로 다른 기술 경로가 형성됩니다. 예를 들어, Scroll은 호환성 관점에서 출발하여 이더리움 생태계를 직접 이전하는 것을 고려했으며, 그 기반 위에서 효율성을 높이려고 했습니다. 그러나 Ola는 먼저 효율성 문제를 고려하여 완전히 zk 친화적인 가상 머신을 설계한 후, 그 기반 위에서 호환성을 구축했습니다. 전반적으로 zk의 발전은 먼저 확장성을 해결한 후, 다른 측면의 기회가 뒤따를 것입니다.