zkEVM이란 무엇입니까? 이더리움 확장을 위한 zkEVM의 중요성
세계의 컴퓨터. 기계는 멈출 수 없습니다. 이더리움의 심장. EVM(Ethereum Virtual Machine)은 Ethereum 네트워크에 대한 중요성을 강조하는 많은 이름으로 불립니다. 비트코인과 같은 '분산원장' 뿐만 아니라 '분산상태머신'으로 만드는 핵심 기능이다. EVM을 사용하면 개발자는 Solidity라는 프로그래밍 언어를 사용하여 스마트 계약을 만들 수 있습니다. 스마트 계약의 일반적인 적용은 토큰 생성 및 교환을 관리하는 것입니다. 많은 애플리케이션과 프로토콜은 토큰을 사용하여 사용자의 목표에 중요한 행동에 대해 보상합니다. EVM이 없었다면 이는 불가능했을 것이므로 이더리움을 유명하게 만든 기술인 EVM 가상 머신은 이더리움 네트워크에서 스마트 계약을 실행하는 데 도움이 됩니다. zkEVM은 어떻습니까? EVM 가상 머신만큼 중요합니까?
zkEVM이란 무엇입니까?
zkEVM(영지식 이더리움 가상 머신)은 프로그램 내 입력과 출력의 유효성을 포함하여 프로그램 실행의 정확성을 검증하기 위해 영지식 증명 또는 ZKP를 지원하는 가상 머신입니다.
간단히 말해서, zkEVM은 영지식(zk) 기술을 지원하는 스마트 계약을 실행하도록 설계되었습니다.
zkEVM의 중요성
먼저 zk 기술의 중요성을 살펴보겠습니다. ZKP(영지식 증명)는 사용자가 개인 정보, 영업 비밀, 독점 데이터 등의 개인 정보를 보호할 수 있도록 추가 정보를 공개하지 않고도 상태가 사실임을 증명하는 방법입니다. 특히 Web3 공간에서는 개인 정보 보호가 필수입니다. 예를 들어, zk 덕분에 개인 정보를 도난당하지 않고 웹을 사용할 수 있거나 독점 데이터를 입력으로 사용하여 스마트 계약을 활성화할 수 있습니다.
zkEVM은 zk-Rollup 기술의 확장성, 유효성, 저비용, 자본 효율성 및 zk 기술의 개인 정보 보호 기능을 활용하여 이더리움의 리소스를 활용합니다.
- 레이어 2를 사용하면 zk-Rollup은 초기에 스마트 계약을 실행할 수 없으며 간단한 스왑이나 결제만 실행할 수 있습니다. 그러나 zkEVM의 출현으로 zk-Rollup은 스마트 계약을 지원하고 개발자가 친숙한 Solidity 언어로 dApp을 쉽게 개발할 수 있도록 해줍니다.
- Mina와 같은 zk 기술을 사용하는 레이어 1을 통해 zkEVM은 상태 증명을 이더리움에서 직접 증명할 수 있게 하여 Mina와 zk 및 이더리움 기술 사이의 브리지를 엽니다.
zkEVM은 zk 기술 개발의 결정적인 요소입니까? 내 대답은 아니오 야. 예를 들어 StarkNet과 같은 일부 비 EVM 프로젝트는 Warp를 사용하여 Solidity 언어를 Cairo로 컴파일하거나 Polygon Miden은 MidenVM 가상 머신을 사용합니다.
그렇다면 왜 다른 가상 머신이 아닌 zkEVM이 필요한 걸까요? 위에서 언급했듯이 다음과 같은 Ethereum의 리소스를 활용하는 데 도움이 되는 것은 zkEVM입니다.
- Truffle, Hardhat, Foundry와 같은 개발자를 위한 친숙한 도구
- 확립된 보안 모범 사례
- OpenZeppelin을 통해 기존 모듈식 스마트 계약 배포
- 많은 감사회사가 EVM에 대한 전문지식을 보유하고 있습니다.
- 가장 큰 Web3 개발자 커뮤니티
- 사용자는 Etherscan, 메타마스크 지갑 등과 같은 EVM 기반 블록체인 유틸리티에 익숙합니다.
zkEVM은 이더리움 스케일링 솔루션을 강화합니다. 우리가 알고 있듯이 zk-Rollup은 최대 2000TPS(4x Optimistic-Rollup)의 확장성, 검증 증명, 저렴한 비용, 효율적인 자본(단지 소요되는 비용)과 같은 많은 장점을 갖춘 이더리움의 중장기 확장 솔루션이라고 합니다. L10으로 돈을 인출하는 데 최대 1분(낙관적은 1주일). zkEVM은 EVM 호환성을 통해 zk-Rollup 확장 솔루션을 향상시켜 개발자가 Ethereum의 리소스를 쉽게 활용할 수 있도록 합니다.
zkEVM 작동 방식
zkEVM의 작동 방식을 이해하기 위해 먼저 오늘 EVM의 작동 방식을 검토해 보겠습니다.
EVM 가상 머신의 작동 방식
가상 머신은 스토리지, 메모리, CPU를 갖춘 물리적 머신과 비슷한 방식으로 작동하지만 완전히 코드로 작동합니다.
- 소스 코드에서 컴파일된 계약 바이트코드는 EVM의 스토리지에서 로드되고 EVM의 피어 노드에 의해 실행됩니다. 노드는 동일한 입력을 사용하므로 각 노드가 동일한 결과에 도달합니다(그렇지 않으면 합의에 도달할 수 없음).
- EVM Opcode(바이트코드에 포함)는 읽기-쓰기 작업을 수행합니다. 즉, 상태 저장소에서 값을 읽고 EVM 메모리에 새 값을 씁니다.
- EVM opcode는 새 값을 반환하기 전에 상태 저장소에서 얻은 값의 계산을 수행합니다. 이 업데이트로 인해 EVM이 새로운 상태로 전환됩니다(이러한 이유로 트랜잭션을 "상태 전환"이라고 함). 이 새로운 상태는 다른 노드에 의해 복사되고 다른 트랜잭션이 커밋될 때까지 유지됩니다.
zkEVM 작동 방식
EVM과 마찬가지로 zkEVM은 프로그램 실행 후 상태 간 전환을 수행하는 가상 머신입니다. 그러나 zkEVM은 더 나아가 각 계산의 다양한 요소를 검증하는 영지식 증명(ZKP)을 생성합니다.
- 바이트코드 액세스: 올바른 주소에서 적절한 프로그램 코드가 올바르게 로드되었습니까?
2. 읽기 및 쓰기 작업:
- 프로그램은 계산하기 전에 스택/메모리/스토리지(스택/메모리/스토리지)에서 일치하는 값을 가져오나요?
- 프로그램이 실행을 완료한 후 스택/메모리/스토리지(스택/메모리/스토리지)에 올바른 출력 값을 기록합니까?
3. 계산: opcode가 올바르게 실행되었습니까?
아키텍처 zkEVM
ZkEVM은 실행 환경, 증명 회로, 검증자 계약의 세 부분으로 나뉩니다. 각 구성 요소는 zkEVM의 프로그램 실행, 증명 생성 및 증명 검증에 기여합니다.
실행 환경
실행 환경은 zkEVM에서 프로그램(스마트 계약)이 실행되는 곳입니다. zkEVM의 실행 환경은 EVM처럼 작동합니다. 초기 상태와 현재 트랜잭션을 사용하여 새로운(최종) 상태를 생성합니다.
회로 증명
증명 회로는 실행 환경에서 계산된 트랜잭션의 유효성을 확인하는 영지식 증명(ZKP)을 생성합니다.
(1) 사전 상태, (2) 거래 입력, (3) 사후 상태 정보로 구성된 입력 데이터를 사용하여 증명 생성이 완료됩니다.
그런 다음 검증자는 특정 상태 전환의 유효성에 대한 간략한 증거를 얻습니다.
검증인 계약
ZK 롤업은 확인을 위해 L1(이더리움) 체인에 배포된 스마트 계약에 유효한 증거를 제출합니다.
입력(이전 상태 및 거래 정보)과 출력(최종 상태)도 검증자 계약에 제출됩니다.
그런 다음 검증자는 제공된 증명에 대해 계산을 실행하고 제출된 출력이 입력에서 올바르게 계산되었는지 확인합니다.
zkEVM opcode란 무엇입니까?
zkEVM opcode는 EVM 호환 zk-Rollup에서 프로그램을 실행하는 데 사용되는 저수준 기계 명령어입니다.
기존 EVM opcode는 영지식 증명 회로에서 사용하기에 효율적이지 않기 때문에 zkEVM opcode가 필요합니다. 일반적으로 zkEVM opcode를 생성하는 데는 두 가지 접근 방식이 있습니다.
원래 EVM 연산 코드를 위한 ZK 회로 구축
이 접근 방식을 통해 zkEVM은 EVM과 동등한 바이트코드 수준에서 호환됩니다. 이는 개발자가 기존 블록체인 개발자 도구를 사용하여 스마트 계약을 생성하거나 많은 수정 없이 기존 이더리움 계약을 ZK 롤업으로 마이그레이션할 수 있음을 의미합니다. 그러나 이는 다소 복잡하고 시간이 많이 걸리는 기술적 노력입니다.
ZK 증명 계산을 위한 새로운 언어 만들기
이 접근 방식을 위해서는 유효성 검사기를 지원하도록 설계된 새로운 언어를 구축하고 맞춤형 opcode를 개발해야 했습니다. 개발자는 새 언어로 직접 계약을 작성하거나 Solidity 소스 코드를 사용자 정의 zkEVM opcode로 컴파일해야 합니다.
이 방법은 첫 번째 방법보다 구현하기가 더 간단한 경우가 많지만 제한 사항이 있습니다. 예를 들어 개발자는 기존 Ethereum 인프라 및 리소스에 액세스하지 못할 수 있습니다.
평결
zkEVM은 개발자가 친숙한 Solidity 언어를 사용하여 zk 기술 플랫폼에서 dApp을 구축/통합하는 데 도움이 되는 가장 중요한 요소 중 하나입니다.
특히 zk-Rollup을 통해 zkEVM은 개발자가 zk-Rollup 기술의 확장성, 유효성, 저비용 및 자본 효율성과 운반 능력을 활용하여 Ethereum의 리소스를 최대한 활용할 수 있도록 도와줍니다. zk 기술의 개인 정보 보호로 돌아갑니다. zkEVM 구축 노력이 성공한다면 이더리움 생태계는 다른 대체 L1에 비해 계속해서 경쟁 우위를 유지할 것입니다.
zkEVM 공간은 zkSync가 메인넷, Scroll, Polygon으로 진출함에 따라 앞으로 몇 달 안에 뜨거워질 가능성이 높습니다. zkEVM은 테스트넷을 실행합니다.
면책 조항: 이 웹사이트의 정보는 일반적인 시장 논평으로 제공되며 투자 조언을 구성하지 않습니다. 투자하기 전에 스스로 조사하는 것이 좋습니다.
뉴스를 추적하려면 CoinCu Telegram에 가입하십시오: https://t.me/coincunews
CoinCu 유튜브 채널 팔로우 | CoinCu 페이스북 페이지 팔로우
루시
코인큐 뉴스
저자
분류
zkEVM이란 무엇입니까? 2022년 이더리움 확장을 위한 zkEVM의 중요성
zkEVM이란 무엇입니까? 이더리움 확장을 위한 zkEVM의 중요성
세계의 컴퓨터. 기계는 멈출 수 없습니다. 이더리움의 심장. EVM(Ethereum Virtual Machine)은 Ethereum 네트워크에 대한 중요성을 강조하는 많은 이름으로 불립니다. 비트코인과 같은 '분산원장' 뿐만 아니라 '분산상태머신'으로 만드는 핵심 기능이다. EVM을 사용하면 개발자는 Solidity라는 프로그래밍 언어를 사용하여 스마트 계약을 만들 수 있습니다. 스마트 계약의 일반적인 적용은 토큰 생성 및 교환을 관리하는 것입니다. 많은 애플리케이션과 프로토콜은 토큰을 사용하여 사용자의 목표에 중요한 행동에 대해 보상합니다. EVM이 없었다면 이는 불가능했을 것이므로 이더리움을 유명하게 만든 기술인 EVM 가상 머신은 이더리움 네트워크에서 스마트 계약을 실행하는 데 도움이 됩니다. zkEVM은 어떻습니까? EVM 가상 머신만큼 중요합니까?
zkEVM이란 무엇입니까?
zkEVM(영지식 이더리움 가상 머신)은 프로그램 내 입력과 출력의 유효성을 포함하여 프로그램 실행의 정확성을 검증하기 위해 영지식 증명 또는 ZKP를 지원하는 가상 머신입니다.
간단히 말해서, zkEVM은 영지식(zk) 기술을 지원하는 스마트 계약을 실행하도록 설계되었습니다.
zkEVM의 중요성
먼저 zk 기술의 중요성을 살펴보겠습니다. ZKP(영지식 증명)는 사용자가 개인 정보, 영업 비밀, 독점 데이터 등의 개인 정보를 보호할 수 있도록 추가 정보를 공개하지 않고도 상태가 사실임을 증명하는 방법입니다. 특히 Web3 공간에서는 개인 정보 보호가 필수입니다. 예를 들어, zk 덕분에 개인 정보를 도난당하지 않고 웹을 사용할 수 있거나 독점 데이터를 입력으로 사용하여 스마트 계약을 활성화할 수 있습니다.
zkEVM은 zk-Rollup 기술의 확장성, 유효성, 저비용, 자본 효율성 및 zk 기술의 개인 정보 보호 기능을 활용하여 이더리움의 리소스를 활용합니다.
- 레이어 2를 사용하면 zk-Rollup은 초기에 스마트 계약을 실행할 수 없으며 간단한 스왑이나 결제만 실행할 수 있습니다. 그러나 zkEVM의 출현으로 zk-Rollup은 스마트 계약을 지원하고 개발자가 친숙한 Solidity 언어로 dApp을 쉽게 개발할 수 있도록 해줍니다.
- Mina와 같은 zk 기술을 사용하는 레이어 1을 통해 zkEVM은 상태 증명을 이더리움에서 직접 증명할 수 있게 하여 Mina와 zk 및 이더리움 기술 사이의 브리지를 엽니다.
zkEVM은 zk 기술 개발의 결정적인 요소입니까? 내 대답은 아니오 야. 예를 들어 StarkNet과 같은 일부 비 EVM 프로젝트는 Warp를 사용하여 Solidity 언어를 Cairo로 컴파일하거나 Polygon Miden은 MidenVM 가상 머신을 사용합니다.
그렇다면 왜 다른 가상 머신이 아닌 zkEVM이 필요한 걸까요? 위에서 언급했듯이 다음과 같은 Ethereum의 리소스를 활용하는 데 도움이 되는 것은 zkEVM입니다.
- Truffle, Hardhat, Foundry와 같은 개발자를 위한 친숙한 도구
- 확립된 보안 모범 사례
- OpenZeppelin을 통해 기존 모듈식 스마트 계약 배포
- 많은 감사회사가 EVM에 대한 전문지식을 보유하고 있습니다.
- 가장 큰 Web3 개발자 커뮤니티
- 사용자는 Etherscan, 메타마스크 지갑 등과 같은 EVM 기반 블록체인 유틸리티에 익숙합니다.
zkEVM은 이더리움 스케일링 솔루션을 강화합니다. 우리가 알고 있듯이 zk-Rollup은 최대 2000TPS(4x Optimistic-Rollup)의 확장성, 검증 증명, 저렴한 비용, 효율적인 자본(단지 소요되는 비용)과 같은 많은 장점을 갖춘 이더리움의 중장기 확장 솔루션이라고 합니다. L10으로 돈을 인출하는 데 최대 1분(낙관적은 1주일). zkEVM은 EVM 호환성을 통해 zk-Rollup 확장 솔루션을 향상시켜 개발자가 Ethereum의 리소스를 쉽게 활용할 수 있도록 합니다.
zkEVM 작동 방식
zkEVM의 작동 방식을 이해하기 위해 먼저 오늘 EVM의 작동 방식을 검토해 보겠습니다.
EVM 가상 머신의 작동 방식
가상 머신은 스토리지, 메모리, CPU를 갖춘 물리적 머신과 비슷한 방식으로 작동하지만 완전히 코드로 작동합니다.
- 소스 코드에서 컴파일된 계약 바이트코드는 EVM의 스토리지에서 로드되고 EVM의 피어 노드에 의해 실행됩니다. 노드는 동일한 입력을 사용하므로 각 노드가 동일한 결과에 도달합니다(그렇지 않으면 합의에 도달할 수 없음).
- EVM Opcode(바이트코드에 포함)는 읽기-쓰기 작업을 수행합니다. 즉, 상태 저장소에서 값을 읽고 EVM 메모리에 새 값을 씁니다.
- EVM opcode는 새 값을 반환하기 전에 상태 저장소에서 얻은 값의 계산을 수행합니다. 이 업데이트로 인해 EVM이 새로운 상태로 전환됩니다(이러한 이유로 트랜잭션을 "상태 전환"이라고 함). 이 새로운 상태는 다른 노드에 의해 복사되고 다른 트랜잭션이 커밋될 때까지 유지됩니다.
zkEVM 작동 방식
EVM과 마찬가지로 zkEVM은 프로그램 실행 후 상태 간 전환을 수행하는 가상 머신입니다. 그러나 zkEVM은 더 나아가 각 계산의 다양한 요소를 검증하는 영지식 증명(ZKP)을 생성합니다.
- 바이트코드 액세스: 올바른 주소에서 적절한 프로그램 코드가 올바르게 로드되었습니까?
2. 읽기 및 쓰기 작업:
- 프로그램은 계산하기 전에 스택/메모리/스토리지(스택/메모리/스토리지)에서 일치하는 값을 가져오나요?
- 프로그램이 실행을 완료한 후 스택/메모리/스토리지(스택/메모리/스토리지)에 올바른 출력 값을 기록합니까?
3. 계산: opcode가 올바르게 실행되었습니까?
아키텍처 zkEVM
ZkEVM은 실행 환경, 증명 회로, 검증자 계약의 세 부분으로 나뉩니다. 각 구성 요소는 zkEVM의 프로그램 실행, 증명 생성 및 증명 검증에 기여합니다.
실행 환경
실행 환경은 zkEVM에서 프로그램(스마트 계약)이 실행되는 곳입니다. zkEVM의 실행 환경은 EVM처럼 작동합니다. 초기 상태와 현재 트랜잭션을 사용하여 새로운(최종) 상태를 생성합니다.
회로 증명
증명 회로는 실행 환경에서 계산된 트랜잭션의 유효성을 확인하는 영지식 증명(ZKP)을 생성합니다.
(1) 사전 상태, (2) 거래 입력, (3) 사후 상태 정보로 구성된 입력 데이터를 사용하여 증명 생성이 완료됩니다.
그런 다음 검증자는 특정 상태 전환의 유효성에 대한 간략한 증거를 얻습니다.
검증인 계약
ZK 롤업은 확인을 위해 L1(이더리움) 체인에 배포된 스마트 계약에 유효한 증거를 제출합니다.
입력(이전 상태 및 거래 정보)과 출력(최종 상태)도 검증자 계약에 제출됩니다.
그런 다음 검증자는 제공된 증명에 대해 계산을 실행하고 제출된 출력이 입력에서 올바르게 계산되었는지 확인합니다.
zkEVM opcode란 무엇입니까?
zkEVM opcode는 EVM 호환 zk-Rollup에서 프로그램을 실행하는 데 사용되는 저수준 기계 명령어입니다.
기존 EVM opcode는 영지식 증명 회로에서 사용하기에 효율적이지 않기 때문에 zkEVM opcode가 필요합니다. 일반적으로 zkEVM opcode를 생성하는 데는 두 가지 접근 방식이 있습니다.
원래 EVM 연산 코드를 위한 ZK 회로 구축
이 접근 방식을 통해 zkEVM은 EVM과 동등한 바이트코드 수준에서 호환됩니다. 이는 개발자가 기존 블록체인 개발자 도구를 사용하여 스마트 계약을 생성하거나 많은 수정 없이 기존 이더리움 계약을 ZK 롤업으로 마이그레이션할 수 있음을 의미합니다. 그러나 이는 다소 복잡하고 시간이 많이 걸리는 기술적 노력입니다.
ZK 증명 계산을 위한 새로운 언어 만들기
이 접근 방식을 위해서는 유효성 검사기를 지원하도록 설계된 새로운 언어를 구축하고 맞춤형 opcode를 개발해야 했습니다. 개발자는 새 언어로 직접 계약을 작성하거나 Solidity 소스 코드를 사용자 정의 zkEVM opcode로 컴파일해야 합니다.
이 방법은 첫 번째 방법보다 구현하기가 더 간단한 경우가 많지만 제한 사항이 있습니다. 예를 들어 개발자는 기존 Ethereum 인프라 및 리소스에 액세스하지 못할 수 있습니다.
평결
zkEVM은 개발자가 친숙한 Solidity 언어를 사용하여 zk 기술 플랫폼에서 dApp을 구축/통합하는 데 도움이 되는 가장 중요한 요소 중 하나입니다.
특히 zk-Rollup을 통해 zkEVM은 개발자가 zk-Rollup 기술의 확장성, 유효성, 저비용 및 자본 효율성과 운반 능력을 활용하여 Ethereum의 리소스를 최대한 활용할 수 있도록 도와줍니다. zk 기술의 개인 정보 보호로 돌아갑니다. zkEVM 구축 노력이 성공한다면 이더리움 생태계는 다른 대체 L1에 비해 계속해서 경쟁 우위를 유지할 것입니다.
zkEVM 공간은 zkSync가 메인넷, Scroll, Polygon으로 진출함에 따라 앞으로 몇 달 안에 뜨거워질 가능성이 높습니다. zkEVM은 테스트넷을 실행합니다.
면책 조항: 이 웹사이트의 정보는 일반적인 시장 논평으로 제공되며 투자 조언을 구성하지 않습니다. 투자하기 전에 스스로 조사하는 것이 좋습니다.
뉴스를 추적하려면 CoinCu Telegram에 가입하십시오: https://t.me/coincunews
CoinCu 유튜브 채널 팔로우 | CoinCu 페이스북 페이지 팔로우
루시
코인큐 뉴스
기타 게시물
