비탈릭이 투자해 테스트 네트워크 런칭을 앞둔 카카로트 zkEVM은?

Foresight News

特邀专栏作者

2023-06-05 10:25 (UTC+8)

이 기사는 약 1293자로, 전체를 읽는 데 약 2분이 소요됩니다

스타크넷과 이더리움 생태계에 어떻게 힘을 실어줄까요?

AI 요약

펼치기

스타크넷과 이더리움 생태계에 어떻게 힘을 실어줄까요?

편집 원본: Karen, Foresight News

Kakarot zkEVM은 카이로에서 작성된 EVM(Ethereum Virtual Machine)을 구현한 것입니다. Cairo는 CairoVM과 관련된 Turing-complete 언어입니다.

CairoVM은 다항식과 ZK-STARK 증명 시스템을 활용하여 증명 가능한 계산을 달성합니다. zkEVM은 증명 가능한 블록을 생성하는 증명 가능한 트랜잭션을 생성하는 기능이 특징입니다. Kakarot은 CairoVM 위에 구축되며 Kakarot에서 실행되는 모든 트랜잭션은 증명 가능합니다.

Kakarot zkEVM은 팀이 EVM 애플리케이션을 구축하고 배포할 수 있도록 합니다. 개발자는 Ethereum 또는 Polygon에서와 마찬가지로 Kakarot에서 모든 Solidity(또는 EVM 호환 언어)를 배포할 수 있습니다. 그런 다음 최종 사용자는 일반적인 도구 체인(리틀 폭스 지갑, 지갑 연결 등)을 사용하여 DApp과 상호 작용할 수 있습니다.

첫 번째 레벨 제목

프랙탈 스케일링

Kakarot zkEVM은 다양한 형태로 존재할 수 있는데, 먼저 스타크넷 L2 위에 스마트 컨트랙트로 배치되어 스타크넷(이더리움 RPC, 이더리움 트랜잭션 등)에서 EVM(노출)으로 나타날 수 있습니다.

또는 Kakarot을 스택에 통합하여 L3 zkEVM을 배포할 수 있습니다. Madara 분류기가 들어오는 곳입니다.

Madara(Starknet 전체 노드)와 Kakarot(EVM 런타임)을 결합하여 L3 zkEVM을 생성할 수 있습니다. 스택은 다음과 같습니다. CairoVM을 실행 엔진으로 사용하고 Kakarot을 스마트 계약 런타임으로 사용하는 Substrate 전체 노드입니다.

보조 제목

노선지도

1단계: Starknet의 Kakarot zkEVM - EVM을 Starknet으로 가져오기

Kakarot은 먼저 Starknet L2에 탑재된 EVM으로 존재할 것이며, 이를 통해 개발자는 친숙한 툴킷(Foundry, Hardhat, Wagmi 등) 계약을 사용하여 Starknet에 직접 Solidity(또는 EVM 호환 언어) 인텔리전스를 배포할 수 있습니다.

최종 사용자는 일반적인 도구 체인(Metamask, Wallet Connect 등)을 사용하여 DApp과 상호 작용할 수 있습니다.

보조 제목

2단계: Kakarot x Madara - L3 zkEVM

Kakarot과 Madara는 통합 스택으로 병합되어 L3 zkEVM은 물론 L4, L5 등을 지원합니다. 팀은 zkEVM 애플리케이션 체인을 배포하고 유효성 증명을 활용하여 Starknet에서 트랜잭션을 해결할 수 있습니다.

왜 L3인가? 왜 증명가능성인가?

Provability는 다음 기능을 실현할 수 있습니다: 체인 아래 계산 또는 레이어 계산 및 체인 확인.

유효성 증명(Kakarot과 같은)을 활용하는 L3에는 흥미롭지만 과소평가된 속성이 있습니다. 바로 보안과 탈중앙화를 분리할 수 있는 능력입니다. 사용자는 동일한 수준의 탈중앙화 없이도 이더리움 L1의 보안 혜택을 누릴 수 있습니다.

다른 레이어에서의 계산으로 인해 가스 비용은 L2보다 훨씬 낮고 성능(TPS)은 더 높을 것입니다. L2는 이미 L1보다 훨씬 저렴합니다. 롤업 확장성은 쌓이고 배가됩니다.

가스 비용을 더 줄이기 위해 증명 검증과 데이터 가용성(DA)을 분리할 수 있습니다. Starknet L2는 증명 검증 레이어로만 사용할 수 있는 반면 Celestia 또는 EigenDA와 같은 새로운 데이터 가용성 솔루션은 트랜잭션 데이터를 게시하는 데 사용할 수 있습니다.

보조 제목