Lumoz는 EigenLayer 기반의 zkProver와 zkVerifier를 출시했습니다

최근 에어드랍 논란에 휘말렸지만, EigenLayer는 Re-staking 재질책 메커니즘 덕분에 2024년 가장 주목받는 스타 프로젝트로 떠올랐습니다. 그 초과 수익은 TVL을 폭등시키는 데 기여했으며, 사용자들은 금개 Meme의 소용돌이에서 과감히 빠져나와 자금과 신뢰를 이더리움 생태계로 되돌리고 있습니다.

발행 시점 기준으로, Eigen Layer의 ETH TVL은 500만 개 ETH를 돌파했으며, 토큰 Eigen의 스테이킹 수량은 5400만 개를 초과했습니다. 활발한 AVS(Actively Validated Services)와 운영자 수는 각각 11과 251입니다. 현재 Eigen Layer의 생태계는 폭발적으로 성장하고 있으며, Lumoz, Espresso, Near, Dodo 등 20개 이상의 트랙 리더들이 참여하고 있습니다.

한순간에 ETH를 중심으로 Eigenlayer를 활용하여 블록체인 보안과 수익을 재구성하는 혁명이 시작되었습니다.

본 문서에서는 Lumoz를 예로 들어, 해당 프로젝트가 EigenLayer에서 진행한 일련의 기술 탐색을 심층적으로 논의하여 이더리움 및 전체 블록체인 산업의 기술 발전을 더욱 촉진하고자 합니다.

1. Lumoz, EigenLayer 기반 AVS 계산 레이어 출시 발표

모듈화된 컴퓨팅 레이어와 ZK Rass의 선두주자인 Lumoz는 자본 시장에서의 뛰어난 성과뿐만 아니라 기술 분야의 혁신도 끊임없이 이어가고 있습니다. 2024년 4월, Lumoz는 먼저 Pre-A 자금 조달을 완료했다고 발표했으며(현재 평가액은 3억 달러에 달함), 이어서 Op Stack + ZK Fraud Proof를 지원하는 Layer 2 아키텍처를 발표하며 L2 아키텍처의 새로운 모델을 열었습니다.

이번 주, Lumoz는 EigenLayer 기반의 AVS 계산 레이어를 공식 출시했다고 발표했습니다. 이 레이어는 zkProver와 zkVerifier로 구성되어 있으며, 네트워크 계산 능력과 보안을 크게 향상시킬 수 있습니다.

Lumoz의 zkProver는 제로 지식 증명(ZKP)을 생성하는 데 집중하며, 구체적인 데이터를 누출하지 않고 데이터의 진위를 검증합니다. 강력한 계산 자원을 통해 zkProver는 효율적인 제로 지식 증명을 신속하게 생성할 수 있으며, 블록체인 네트워크의 프라이버시와 보안을 크게 향상시킵니다. zkVerifier는 이러한 제로 지식 증명을 검증하여 그 정확성과 신뢰성을 보장합니다. EigenLayer의 재질책 메커니즘과 결합하여, zkVerifier는 이더리움의 보안을 활용할 뿐만 아니라 검증자에게 추가적인 경제적 인센티브를 제공합니다. 이러한 이중 검증 메커니즘은 네트워크의 전체 보안을 크게 강화하고 신뢰 위험을 줄입니다.

주: EigenLayer의 재질책(Re-staking) 메커니즘은 이더리움 생태계의 보안을 강화하며, AVS를 제공함으로써 신뢰 문제와 자본 비용 부담을 해결합니다.

강력한 계산 자원과 EigenLayer의 재질책 메커니즘을 통합함으로써, Lumoz는 효율적이고 안전한 계산 서비스 생태계를 구축했습니다. 이 혁신은 블록체인 네트워크의 계산 능력과 보안을 향상시킬 뿐만 아니라 개발자와 사용자에게 더 많은 응용 시나리오와 가치를 제공합니다. zkProver와 zkVerifier를 통해 Lumoz는 블록체인 분야에 전례 없는 혁신과 가치를 가져오며, 전체 산업의 기술 발전을 촉진하고 있습니다.

2. Lumoz 계산 레이어

Lumoz 계산 레이어 아키텍처는 고도로 통합되고 협력적인 시스템으로, 주요 구성 요소와 기능은 다음과 같습니다:

주요 구성 요소는 다음과 같습니다:

1. Ethereum: EigenLayer 표준을 채택하여 능동 검증 서비스(AVS)를 구축합니다. EigenLayer의 스테이킹 토큰 메커니즘을 활용하여 AVS의 보안을 강화합니다.
2. EVM 체인: 이더리움 가상 머신(EVM)을 지원하는 다양한 블록체인 환경을 포함하며, Polygon zk EVM, Polygon CDK, ZKStack 및 Scroll 등을 포함하여 광범위한 호환성과 확장성을 보장합니다.
3. Lumoz AVS 오라클: EVM 호환 체인에서 데이터를 수집하고 저장하는 역할을 하며, 데이터의 높은 가용성과 완전성을 보장하여 계산 레이어에 견고한 데이터 기반을 제공합니다.
4. Lumoz 체인: 전체 계산 레이어의 핵심 관리 레이어로, 작업 스케줄링, 보상 분배 및 zkProver, zkVerifier의 관리를 담당하며, 노드의 가입 및 퇴출 프로세스를 포함합니다.
5. zkProver: 구체적인 계산 작업을 수행하는 노드입니다.
6. zkVerifier: 실행 결과를 검증하는 검증 노드입니다.

이러한 모듈의 긴밀한 협력을 통해 Lumoz 계산 레이어는 안전하고 효율적인 계산 환경을 제공할 뿐만 아니라 모듈화된 설계를 통해 미래의 확장과 업그레이드를 위한 견고한 기반을 마련합니다.

3. 해결할 수 있는 문제는 무엇인가요?

3.1 대규모 계산 능력 요구

Lumoz가 제공하는 클라우드 인프라는 제로 지식 증명의 계산을 위한 강력한 지원을 제공합니다. 이러한 지원은 ZK-Rollups에 매우 중요합니다. ZK-Rollups는 블록체인 확장 솔루션으로, 체인 외부에서 거래를 실행하고 ZK P를 사용하여 거래의 유효성을 증명한 후 이러한 증명을 체인에 제출하여 메인 체인의 부하를 줄이고 거래 처리량을 높입니다.

Lumoz 클라우드 인프라의 능력:

1. 호환성: Lumoz의 클라우드 인프라는 Polygon CDK, zkSync, StarkNet 및 Scroll 등 다양한 ZK-Rollup 솔루션과 호환됩니다. 이는 각 플랫폼이 별도로 자신의 인프라를 구축할 필요 없이 이러한 다양한 플랫폼에 서비스를 제공할 수 있음을 의미합니다.
2. ZK-PoW 알고리즘: Lumoz는 채굴자의 계산 자원과 클라우드 인프라를 결합하여 ZK-PoW(Zero-Knowledge Proof of Work) 알고리즘을 통해 채굴자가 ZK P의 계산을 지원하기 위해 자신의 계산 능력을 기여할 수 있도록 합니다.
3. 성능 및 효율성: ZKP의 병렬 계산을 지원함으로써 계산 효율성을 크게 향상시킬 수 있으며, 여러 계산 작업을 동시에 수행할 수 있습니다. 또한 순차 제출은 거래의 순차적 처리를 보장합니다.
4. 재귀 집계 알고리즘: 재귀 집계 알고리즘을 최적화하면 필요한 ZKP 수를 줄여 계산 복잡성과 비용을 낮출 수 있습니다.
5. 네트워크 통신 개선: 네트워크 통신을 개선하면 데이터 전송 시간을 줄이고 전체 시스템 응답 속도를 높일 수 있습니다.
6. 비용 효율성: 위의 최적화를 통해 Lumoz는 ZK P 계산 비용을 낮출 수 있어 ZK-Rollups 솔루션을 보다 경제적이고 효율적으로 사용할 수 있습니다.

Lumoz의 클라우드 인프라는 ZKP 계산을 위한 강력하고 유연하며 비용 효율적인 솔루션을 제공하여 블록체인 기술의 발전과 응용을 촉진하는 데 기여합니다.

3.2 zk proof 가스 비용 절감

zkVerifier의 설계 전략은 효율성을 높이고 확장성을 강화하며 거래 비용을 효과적으로 낮추는 데 중점을 두고 있으며, 구체적으로 다음과 같은 측면에서 나타납니다:

1. 다원 증명의 통합: zkVerifier는 다양한 출처에서 오는 증명을 통합할 수 있으며, 광범위한 제로 지식 증명 응용 시나리오를 지원합니다. 이러한 유연성은 블록체인 생태계에서 중요한 장점으로, 다양한 프로젝트와 응용이 zkVerifier 서비스를 활용할 수 있는 가능성을 제공합니다.
2. 가스 비용 절감: 정교하게 설계된 증명 처리 및 검증 메커니즘을 통해 zkVerifier는 제출 증명(proof)의 가스 비용을 크게 낮추어 사용자에게 더 비용 효율적인 블록체인 서비스 경험을 제공합니다.
3. 증명 특성의 적응성: zkVerifier는 다양한 증명 시스템에서 생성된 증명 특성에 대한 적응성을 보여주며, 증명 크기, 검증 시간 및 검증 논리를 포함합니다. 이러한 적응성은 시스템의 효율적인 운영을 보장하는 핵심입니다.
4. 맞춤형 배포 전략: 다양한 증명의 특성에 따라 zkVerifier는 맞춤형 배포 전략을 설계하여 체인상의 자원 사용을 최적화하고 증명의 효율적인 전달을 보장하여 네트워크 혼잡을 줄이고 거래 속도를 높이는 데 기여합니다.
5. 전용 검증기 배포: zkVerifier는 증명의 유효성을 보장하는 핵심 메커니즘인 전용 검증기를 배포합니다. 이러한 검증기는 검증된 증명만 이더리움에 게시될 수 있도록 하여 시스템의 보안성과 신뢰성을 유지합니다.
6. 데이터 가용성 레이어의 최적화: zkVerifier의 데이터 가용성 레이어는 증명의 지속성과 접근성을 보장하며, 경제적이고 효율적인 저장 전략을 제공하여 시스템 운영 비용을 낮추는 데 중요합니다.
7. 이더리움과의 깊은 통합: zkVerifier는 검증 결과를 이더리움에 게시하고 이더리움이 검증 증명을 생성하도록 하여, 이는 크로스 체인 상호 운용성과 신뢰를 보장하는 핵심 단계로, zkVerifier가 이더리움과 같은 주요 블록체인 네트워크와 원활하게 협력할 수 있도록 합니다.
8. 검증 증명의 권위성: 이더리움에서 생성된 검증 증명은 zkVerifier가 제공하는 데이터 유효성에 대한 최종 권위 확인을 제공하며, 이는 이더리움 네트워크가 zkVerifier 데이터에 대한 신뢰를 구축하는 데 매우 중요합니다.

zkVerifier의 이러한 혁신적인 설계는 기존 블록체인 기술이 직면한 도전 과제를 해결할 뿐만 아니라 효율성을 높이고 비용을 낮추며 상호 운용성을 강화하는 데 있어 상당한 진전을 이루었습니다. 이러한 설계는 블록체인 기술의 더 넓은 응용을 촉진하고 사용자에게 보다 안전하고 효율적인 서비스 환경을 제공합니다.

4. 구체적인 작업 흐름

4.1 zkProver

zkProver는 제로 지식 증명을 생성하는 핵심 구성 요소입니다. ZKP는 증명자가 검증자에게 특정 주장의 정확성을 증명할 수 있도록 하며, 추가 정보를 누출하지 않습니다. zkProver는 zkRollup Prover, zkFraud Prover 및 zkML Prover와 같은 다양한 증명자 유형을 포함하며, 각 유형은 특정 계산 작업에 최적화되어 특정 분야 내에서 최고의 성능과 시스템 효율성을 보장합니다.

작업 흐름:

1. 작업 수집: Lumoz AVS 오라클과 디스패치 모듈이 블록체인에서 작업을 수집하여 Lumoz 체인에 동기화합니다. 이러한 작업은 증명해야 할 주장 또는 계산입니다.
2. 작업 배포: 작업은 디스패치 모듈을 통해 다양한 Prover에게 배정됩니다. 디스패치는 작업의 성격과 요구에 따라 어떤 유형의 Prover가 해당 작업을 처리하는 데 가장 적합한지를 결정하는 작업 스케줄링 센터 역할을 합니다. 디스패치 모듈은 스마트 알고리즘을 통해 계산 자원을 동적으로 조정하여 작업 부하와 각 Prover의 성능에 따라 실시간으로 자원 배분을 최적화하여 시스템이 높은 수요 시간대에도 안정적으로 운영될 수 있도록 합니다.
3. 증명 생성:

• zkRollup Prover: 거래 배치 압축과 관련된 증명을 처리하는 데 집중하며, 블록체인 처리 속도와 확장성을 높이는 데 적합합니다.
• zkFraud Prover: 부정 행위를 감지하고 방지하는 데 도움이 되는 사기 증명을 생성하는 데 사용됩니다.
• zkML Prover: 머신 러닝 모델 검증과 관련된 복잡한 증명을 처리하며, 모델의 출력을 검증하되 모델 자체나 입력 데이터를 누출하지 않습니다.
• 기타 Prover: 특정 증명을 위한 기타 Prover입니다.

1. 증명 제출: 생성된 증명은 Lumoz 체인으로 전송되어 검증 및 보관됩니다.

4.2 zkVerifier

zkVerifier는 아키텍처의 또 다른 핵심 구성 요소로, zkProver가 생성한 ZKP를 검증하는 역할을 합니다. 이는 체인에 제출된 증명의 정확성과 유효성을 보장하여 시스템의 신뢰성과 보안을 유지합니다. 최적화된 검증 프로세스를 통해 zkVerifier는 증명을 효율적으로 처리하고 운영 비용과 가스 소비를 줄입니다.

작업 흐름:

1. 증명 제출: zkProver가 생성한 증명이 Lumoz 체인에 제출되어 검증 작업이 시작됩니다.
2. 증명 검증: Lumoz 체인이 검증 작업을 여러 zkVerifier에 전송하며, 이들 노드는 독립적으로 분산 검증을 수행합니다.
3. 집단 결정: 최소 3분의 2의 검증 노드가 증명의 유효성을 확인하여 검증 결과의 권위성과 일관성을 보장합니다.
4. 검증 결과 처리: 유효한 증명 및 그 결과는 Lumoz AVS 오라클을 통해 블록체인의 Lumoz Proof Contract에 저장되며, Task Manager Contract를 통해 작업 결과가 Lumoz 체인에 기록되고 응답됩니다.

5. 요약

Lumoz는 EigenLayer 기반의 zkProver와 zkVerifier를 출시한다고 발표했으며, 이는 계산 및 검증의 효율성을 크게 강화할 뿐만 아니라 EigenLayer의 재질책 메커니즘을 통해 전체 서비스 프로세스의 안전성과 수익성을 효과적으로 보장합니다. 전문화된 노드 설계를 통해 Lumoz는 다양한 계산 작업에 대한 솔루션을 제공하여 최적의 성능과 효율성을 달성할 수 있습니다. 또한 재질책 메커니즘을 통해 Lumoz는 스테이커에게 실질적인 수익을 제공하여 시스템의 경제적 안전성을 더욱 강화합니다.

앞으로도 EigenLayer와 Lumoz와 같은 프로젝트가 더 많이 등장하여 현재 블록체인의 어려움에 정면으로 대응하고, 실제 문제를 해결하며, 보다 효율적이고 안전한 솔루션을 적극적으로 탐색하고 시도하여 전체 산업의 발전과 번영을 촉진하기를 기대합니다.