자세히 알아보기
1. 목적과 가치 제안
Cartesi는 블록체인의 주요 한계인 제한된 연산 능력과 낯선 개발 도구 문제를 해결하고자 합니다. 기존 스마트 계약은 EVM과 같은 별도의 가상 머신에서 실행되며, 처리 능력이 제한적이고 지원하는 프로그래밍 언어도 많지 않습니다.
Cartesi는 오랜 시간 발전해 온 오픈소스 소프트웨어 생태계를 블록체인에 활용할 수 있도록 하는 것을 목표로 합니다. 프로젝트 설명에 따르면, Cartesi는 “수십 년간 발전해 온 운영체제, 프로그래밍 언어, 라이브러리, 도구를 탈중앙화 애플리케이션에 도입해 기존 소프트웨어와 블록체인 사이의 간극을 좁힙니다” (Cartesi). 이를 통해 고도화된 DeFi, AI, 온체인 게임 등 기존에는 구현하기 어려웠던 복잡한 애플리케이션을 만들 수 있습니다.
2. 기술과 구조
프로토콜의 핵심은 완전한 Linux 배포판을 실행하는 결정론적 RISC-V 에뮬레이터인 Cartesi Machine입니다. 개발자는 애플리케이션의 주요 기능이 이 환경에서 작동하도록 만듭니다.
이 기술 구조는 Cartesi Rollups라는 옵티미스틱 롤업 프레임워크에 담깁니다. 계산은 빠른 처리를 위해 Linux 환경에서 오프체인으로 수행하고, 그 결과를 Ethereum에 제출합니다. 오프체인 계산이 올바르게 이루어졌는지는 **Permissionless Refereed Tournaments (PRT)**라는 사기 증명 시스템으로 확인할 수 있습니다. 네트워크 참여자 누구나 암호학적 방법으로 계산을 검증할 수 있어, 신뢰받는 검증자에게만 의존하지 않고 보안을 확보하는 것을 목표로 합니다.
3. 주요 차별점
Cartesi의 특징은 **“검증 가능한 Linux”**를 제공한다는 점입니다. 새로운 제한적 실행 환경을 만드는 대신, 개발자에게 익숙하고 기능이 풍부한 운영체제를 활용할 수 있게 합니다. 따라서 Python, Rust, Go에 능숙한 수많은 개발자는 새로운 언어를 배울 필요 없이 Web3 애플리케이션 개발을 시작할 수 있습니다.
또한 누구나 참여할 수 있는 사기 증명 시스템을 지향합니다. 이는 L2BEAT가 분류하는 “Stage 2” 보안 수준을 목표로 하며, 사용자가 계산의 정확성을 중앙 운영자에게 맡기지 않아도 되는 높은 수준의 탈중앙화를 뜻합니다.
결론
Cartesi는 Ethereum의 보안을 바탕으로, 오프체인에서 실행한 Linux 연산을 검증할 수 있도록 해 블록체인에서 구현할 수 있는 애플리케이션의 범위를 넓히는 실행 계층입니다. 개발자에게 익숙한 도구를 제공하는 이 접근 방식이 복잡하고 대중적인 새로운 dApp을 만드는 열쇠가 될 수 있을까요?