곧 출시될 테스트넷 한 편의 기사로 보는 카카롯 zkEVM

저자: Elias Tazartes, 공동 창립자 겸 CEO, Kakarot zkEVM; 번역: Golden Finance xiaozou

Kakarot zkEVM이 곧 베타 릴리스에 들어갈 예정이며, 롤업 공간에 또 다른 zkEVM이 필요한 이유라는 비전을 다시 한 번 강조하고 싶습니다.

이 기사에서는 Kakarot이 무엇이 다른지, 가장 간단하고 미래 지향적인 아키텍처를 제공하는 방법, 최종 사용자와 개발자에게 Kakarot이 중요한 이유를 살펴보고자 합니다. 이 글에서는 카카롯이 무엇이 다른지, 어떻게 가장 단순하고 미래 지향적인 아키텍처를 제공하는지, 왜 카카롯이 최종 사용자와 개발자에게 중요한지 살펴봄으로써 이 질문에 답하고자 합니다.

혁신적인 EVM 빌더는 사용자 경험 디자인 공간을 확장하고 Kakarot의 친근하고 따뜻한 환경을 경험하게 될 것입니다.

1, Kakarot 소개

카카롯은 스타크넷과 모든 스타크넷OS 체인(카이로VM 체인 또는 스타크넷 애플리케이션 체인이라고도 함)을 구동하는 언어인 카이로를 사용하여 구축된 zkEVM입니다. 스타크넷 애플리케이션 체인). 카카롯은 시간이 지나도 타협하지 않고 완전한 동등성을 달성하는 것을 목표로 하는 이더리움과 호환되는 zkRollup입니다. 호환성 외에도 카카롯은 L2 공간에서 더 많은 혁신을 주도하고 EVM을 위한 네이티브 계정 추상화와 같은 새로운 기능을 추가하기 위해 노력하고 있습니다.카카롯의 추진 정신은 증명, 확장, 혁신입니다.

2, 카카롯의 비전

이 글에서는 카카롯이 무엇이 다른지, 왜 최종 사용자와 빌더에게 중요한지에 대해 다뤄보겠습니다. 이더리움 생태계에서 수년간의 개발을 통해 저희는 해결하고자 하는 문제와 카카롯을 통해 실현하고자 하는 비전에 대한 세 가지 강력한 신념을 갖게 되었습니다.

• 특정 임계값 이상의 TPS는 중요하지 않습니다. 사용자들은 웹2 앱과 빠른 웹3 디앱에 필적하는 수준의 응답 속도를 원합니다. 즉, 사용자는 1초 미만의 트랜잭션 속도를 원합니다. 이는 일반적으로 10,000 TPS에 도달하기까지 몇 년이 걸린다는 것을 의미합니다(그리고 여전히 상태 증가를 함께 해결해야 합니다).

• 트랜잭션 비용이 주요 도입 장벽입니다. 비탈릭은 블로그 게시물에서 "[웹3.0의 개방성이 낮아지는] 이러한 변화의 주범은 거래 비용의 상승이라고 생각합니다."라고 말했습니다. 사람들이 자유롭게 실험하고 혁신할 수 있도록 거래 비용은 결국 1페니 이하로 내려가야 합니다.

• 대량 채택을 가로막는 또 다른 주요 장벽은 사용자 경험입니다. 카카롯은 현재 웹3.0 사용자 경험을 크게 개선해야 한다고 생각합니다. 예를 들어, 저희의 목표는 보조 단어를 관리하고 싶지 않은 사용자나 대부분의 디앱에서 제공되는 원클릭 액션 경험(즉, 여러 번의 호출)을 원하는 사용자들에게 대안을 제공하는 것입니다.

이 세 가지 사항을 요약하면, 카카롯은 사용자에 대한 약속과 현재 이더리움 롤업 경쟁에서 카카롯의 위치를 공식화할 수 있습니다:

저렴하고 빠른 거래를 제공하는 동시에, 계정 기반 추상화(다중 호출, 안전한 엔클레이브 서명자 등) 및 빠른 기능 릴리스(예: 대부분의 경쟁사보다 먼저 EIP)를 목표로 합니다.

3, 카카로트의 설계: 암호화와 엔지니어링의 불가피한 분리

어떤 의미에서 카카로트의 아키텍처는 제1원칙을 기반으로 만들어졌기 때문에 필연적이었습니다.Kakarot의 핵심은 상위 수준 언어를 사용하여 구축되었습니다. 카이로입니다. 따라서 암호화와 엔지니어링이 각각 zkEVM의 "zk"와 "EVM"에 해당하는 암호화와 엔지니어링을 진정으로 분리하는 유일한 zkEVM이 바로 Kakarot입니다(현재 연구 단계에 있는 zeth와 SP1의 Reth).

이러한 분리는 우리 팀에게 어떤 의미가 있나요? 더 빠른 개발, 더 적은 코드(맞춤형 회로를 위해 작성해야 하는 것보다 훨씬 적은 코드), 더 쉬운 유지보수, 그리고 검증 및 오픈 소스 소프트웨어에 대한 카이로의 모든 혁신을 보여줄 수 있는 쇼케이스를 의미합니다.

이미지 src="https://img.jinse.cn/7184415_watermarknone.png" title="7184415" alt="V6iIdZStQtHxv2DXXFfJANYZ3PJkvOB3T7Xs2mbZ.png">< /p>

분리라는 아이디어는 우아할 뿐만 아니라 향후 확장을 지원할 수 있는 유일한 방법이기도 합니다. 메인넷의 하드포크를 지원하고 새로운 EIP를 미리 통합하여 혁신하는 것은 맞춤형 회로를 구축하는 zkEVM에게 매우 어려운 일임이 입증되었습니다.

앞으로 더 많은 플레이어들이 증명 가능한 중개 VM으로 이동할 것으로 예상됩니다. 현재 입증 가능하고 적응 가능한 소프트웨어를 작성하는 두 가지 옵션은 다음과 같습니다.

• LVM 언어 사용 및 입증(예: Rust에서 LLVM으로, RISC-ZERO 사용) vkVM에서 입증된 Risc-V(예: revm의 Rust 코드가 증명 가능한 zeth가 됨).

• CairoVM용으로 제작된 "증명 가능한" 프로그래밍 언어인 Cairo를 사용합니다.

다른 zkVM과 달리 증명 개념을 통합한 구조이기 때문에 Cairo는 항상 더 나은 성능을 발휘할 것이라고 확신합니다(다른 zkVM이 더 편리할 수도 있습니다). 앞으로 몇 년 안에 Cairo는 증명 가능한 소프트웨어를 작성하는 데 가장 실용적이고 효율적인 도구가 될 것입니다.

4, 사용자 중심주의를 위한 노력

사용하기 쉬운 소프트웨어를 개발하는 것은 물론 좋지만, 최종 사용자는 그런 것에 신경 쓰지 않습니다. 최종 사용자들은 왓츠앱의 백엔드가 AWS에서 실행되든 자체 클라우드에서 실행되든, 텔레그램이 어떤 프로그래밍 언어로 작성되든 상관하지 않습니다. 최종 사용자가 기대하는 것은 분명한 부가가치입니다.

카카롯을 구축하면서 저희는 이 엄청난 엔지니어링 이점(증명 가능한 높은 수준의 중개 언어)을 커뮤니티를 위한 부가가치로 전환하는 것이 과제였습니다.

우리는 변화하는 이더리움에 빠르게 적응할 수 있는 능력을 보여주고 싶었습니다. 우리가 커뮤니티에 제공하는 첫 번째 두 가지 분명한 이점은 다음과 같습니다.

• 카카롯 zkEVM은 덴쿤 메인넷 하드포크에 즉시 통합될 것입니다: 모든 새로운 옵코드와 업데이트가 통합될 것입니다. (티스토어 등)에 통합됩니다.

• 공동 제품 로드맵, 사용자 테스트, 반복적인 구축.

두 번째 요점을 잠시 이해해 봅시다. 우리는 자유롭고 중요한 기능을 빠르게 구현할 수 있습니다(커뮤니티가 선택하기 때문에). 테스트넷 단계에서 새로운 기능을 공개하고 커뮤니티에 가장 유용한 기능을 선택해 달라고 요청할 것입니다. 테스트 네트워크에서 네이티브 멀티콜, 페이스ID(또는 하드웨어 서명자)를 사용한 EOA, 모바일 우선 네이티브 계정 추상화, EOF 조기 통합 등 저희의 아이디어를 시험해볼 수 있게 되어 기대가 큽니다!

빌더 및 최종 사용자 커뮤니티와 함께 새로운 기능을 탐색할 때, 카이로와 그 생태계가 백그라운드에서 활발히 개발되고 있다는 점을 기억하세요! 스타크웨어의 100명 이상의 직원이 카이로의 차세대 증명자를 만들기 위해 열심히 일하고 있으며, 동시에 500명 이상의 개발자 및 인프라 참여자로 구성된 카이로 개발자 커뮤니티가 는 새로운 코드베이스와 향후 Kakarot에 통합할 수 있는 획기적인 기능(예: 병렬 실행)을 구축하고 있습니다.

경쟁 우위를 보여주는 한 가지 좋은 예는 Starkware가 Polygon Labs와 공동으로 수행한 최신 증명자 개선 연구인 Circle STARK입니다. 카이로는 점점 더 강력해지고 있습니다!

이미지 src="https://img.jinse.cn/7184418_watermarknone.png" title="7184418" alt="VO6Zk9RxPdLLKNcWZXJjMylnANFCcpNPmm1xdqWh.png">< /p>

카카롯은 활발한 카이로 생태계의 혁신(증명 속도 개선, secp256r1과 같은 오픈소스 라이브러리 지원)을 활용할 뿐만 아니라 뛰어난 유연성(하드포크 및 EIP 수용)으로 빠른 속도로 발전하고 있습니다.

< /p>

5, Kakarot 업데이트

순수한 일관성의 정신과 "그냥 작동"이라는 모토로 Kakarot은 100 %를 목표로합니다. 이더넷 테스트(공식 이더넷 재단 EVM 테스트)를 100% 통과하는 것을 목표로 하고 있습니다. 이 이정표를 통해 이더넷과의 완벽한 호환성을 확인하고 개발자들이 EVM 파편화에서 벗어날 수 있을 것입니다.

이렇게 되면 카카롯은 원활한 개발 환경을 제공할 것이며, EVM 빌더는 메인 이더넷 네트워크와의 호환성 문제 없이 원활하게 작업할 수 있을 것으로 기대할 수 있습니다. 저희는 개발자들이 프로토콜이나 디앱이라는 중요한 것에 집중할 수 있기를 바랍니다.

현재 Kakarot은 90% 이상의 테스트(즉, 18,000개 이상의 테스트)를 통과했습니다. 저희는 EVM 구현에 대한 자신감을 쌓아왔으며, 이제 현실 세계를 마주할 차례입니다.

카카롯의 최신 업데이트는 테스트 네트워크 단계로 넘어가고 있다는 것입니다! 이를 위해 저희는 스택을 실행하는 데 도움을 줄 카놋 및 스타크웨어와 협력하고 있습니다. 2024년 2분기 동안 저희는 여러분과 함께, 그리고 커뮤니티와 함께 기술을 검증할 것입니다. 공개 테스트넷 오픈 날짜는 트위터에서 자세히 확인하실 수 있습니다! 현재 테스트넷은 일반에 공개되지 않습니다.

카카롯 테스트 네트워크의 작동 방식을 간략하게 설명한 다이어그램은 다음과 같습니다:

이미지 src="https://img.jinse.cn/7184420_watermarknone.png" title="7184420" alt=" GEfgasFLgQlTjKEHVf9QlbQ58kU0N6042EluJuGm.png">

6, 결론

카카롯 업데이트: 2024년 2분기와 3분기 테스트 네트워크가 가동될 예정입니다.

카카롯의 고유한 강점은 설계에 있습니다. 거대 암호화 업체들과 어깨를 나란히 하고 엔지니어링에 집중한다는 것입니다. 이러한 이점을 활용하여 더욱 적응력이 뛰어난 팀이 되어 제품을 더 빠르게 출시할 수 있습니다(약 6명의 직원과 기여자들이 1년 이내에 2개의 고유한 zkEVM 구현을 구축했습니다).

카카롯의 목표는 메인 이더넷 네트워크와 100% 호환되는 것입니다. 저희는 이더넷 재단을 통해 전적으로 테스트함으로써 빌더 커뮤니티에 확신을 제공합니다. 현재 저희는 이더재단 테스트의 90% 이상을 통과했습니다. 저희의 목표는 개발자가 호환성과 기능 면에서 심리적 부담을 느끼지 않도록 하는 것입니다.

카카롯의 사명은 장기적인 개발(타입 1 zkEVM, 마스터 증명, 순수 동등성 등)을 지원하면서 L2 공간에 더 많은 혁신(다중 호출, 보안 엔클레이브 서명, 페이마스터, 병렬 실행 등)을 가져오는 것입니다.

카카롯은 카이로를 활용함으로써 안정적이면서도 빠르게 진화하고 있습니다. 자만하지 마세요: 카카롯은 여기 있고, 우리는 여기 있을 운명입니다.