Cartesi (CTSI) trên Ethereum: Bản tổng hợp Linux và Giá Cartesi 2026

Hiện có một bản phân phối Linux đang hoạt động bên trong một hợp đồng thông minh trên mạng chính Ethereum. Hầu như không ai ngoài một nhóm nhỏ các nhà phát triển nói về nó. Dự án đưa nó lên đó có tên là Cartesi. Token của nó là CTSI. Tính đến tháng 5 năm 2010, toàn bộ dự án được giao dịch với vốn hóa thị trường là 26,87 triệu đô la — xấp xỉ giá trị của một tòa nhà chung cư cỡ trung bình ở Brooklyn. Khoảng cách giữa những gì Cartesi đã cung cấp và giá trị mà thị trường đánh giá là câu chuyện thú vị nhất trong các đợt rollup lạc quan hiện nay. Bài viết này sẽ đi sâu vào việc Cartesi thực sự là gì, cách thức hoạt động của Cartesi Machine và Cartesi Rollups, ai đang xây dựng các dApp thực sự trên đó và giá CTSI hiện tại ra sao. Bài viết cũng đặt câu hỏi liệu luận điểm "chúng ta đã quá sớm" của dự án có còn đúng vào thời điểm 2010 hay không.

Tóm lại, Cartesi thực chất là ai chỉ trong một đoạn văn.

Cartesi là một framework Layer-2 chuyên dụng cho phép các nhà phát triển chạy một hệ điều hành Linux hoàn chỉnh làm môi trường thực thi cho các hợp đồng thông minh Ethereum. Thành phần cốt lõi là Cartesi Machine, một máy ảo RISC-V xác định khởi động một bản phân phối Linux thực sự. Cartesi Rollups tích hợp framework mô-đun đó vào Ethereum dưới dạng các rollup lạc quan, với cơ chế giải quyết tranh chấp trên chuỗi xử lý mọi bất đồng và Ethereum đóng vai trò là lớp nền tảng cho việc thanh toán. Kết quả thực tế là một ứng dụng phi tập trung (dApp) Cartesi có thể được viết bằng Python, Rust, C++ hoặc bất kỳ ngôn ngữ nào biên dịch được cho Linux, và vẫn kế thừa được tính bảo mật của Ethereum. Đây là dự án Linux trên blockchain duy nhất cung cấp ngăn xếp mở rộng này cho mạng chính, cho phép các nhà phát triển xây dựng các ứng dụng phi tập trung bằng các ngôn ngữ lập trình trưởng thành thay vì phải xây dựng lại mọi thứ bằng Solidity.

Cách thức hoạt động của Cartesi: Sự kết hợp giữa Machine và Ethereum.

Máy Cartesi là trái tim của mọi thứ. Nó là một trình giả lập phần mềm của tập lệnh RISC-V. RISC-V là một đặc tả CPU xác định mà bất kỳ ai cũng có thể xây dựng từ đầu. Bên trong trình giả lập đó chạy một hệ điều hành Linux được tối giản hóa được xây dựng bằng Buildroot. Các công cụ trong không gian người dùng là những gì bạn mong đợi: một shell, glibc, trình thông dịch Python, thư viện chuẩn, thế giới GitHub của các tệp nhị phân đã biên dịch. Mỗi lệnh mà máy thực thi đều có thể tái tạo từng bit một. Nếu hai nút trung thực bắt đầu từ cùng một trạng thái ban đầu và cung cấp cùng một đầu vào, chúng sẽ kết thúc ở cùng một trạng thái cuối cùng, mọi lúc.

Tính chất tất định đó chính là thủ thuật giúp cho việc tạo ra một hệ điều hành Linux có thể kiểm chứng trên blockchain trở nên khả thi. Khung Cartesi Rollups lấy máy tính đó và gói gọn nó trong một kiến trúc optimistic-rollup tiêu chuẩn. Một dApp gửi dữ liệu đầu vào đến một hợp đồng Ethereum. Nút Cartesi ngoài chuỗi sẽ xử lý các dữ liệu đầu vào đó thông qua máy Linux của nó. Trạng thái kết quả được lưu lại và gửi trở lại chuỗi. Hầu hết thời gian, không có gì khác xảy ra. Việc thực thi rất tiết kiệm chi phí vì nó chạy ngoài chuỗi, và Ethereum chỉ là lớp thanh toán và cung cấp dữ liệu.

Điều khó khăn nằm ở chỗ chuyện gì xảy ra khi ai đó nói dối. Các phương pháp tổng hợp lạc quan giả định rằng bất kỳ trạng thái tranh chấp nào cũng có thể bị thách thức. Trọng tài trên chuỗi cần xác minh công việc tranh chấp mà không cần chạy lại toàn bộ phiên Linux. Cartesi giải quyết vấn đề này bằng một giao thức phân chia nhị phân tương tác. Hai bên sẽ đi sâu vào dấu vết thực thi tranh chấp cho đến khi họ cô lập được một lệnh RISC-V duy nhất; lệnh đó sau đó được phát lại trên chuỗi bên trong một triển khai Solidity của máy. Hợp đồng được gọi là Solidity Step, và phiên bản 0.14.0 được phát hành vào tháng 4 năm 2020. Trọng tài trên chuỗi tuyên bố người thắng cuộc. Bên thua cuộc sẽ mất một khoản tiền bảo đảm.

Phiên bản năm 2025-2026 của câu chuyện này quan trọng vì Cartesi cuối cùng đã làm cho hệ thống giải quyết tranh chấp trở nên không cần cấp phép. Giao thức Giải đấu Trọng tài Không cần Cấp phép, viết tắt là PRT, được kết hợp với thuật toán Dave. Nó cho phép bất kỳ ai tham gia vào một giải đấu đa bên để thách thức một trạng thái xấu. Chi phí trên chuỗi vẫn được giới hạn bất kể có bao nhiêu người tranh chấp tham gia. Trước PRT, các rollup lạc quan ở khắp mọi nơi đều dựa vào một nhóm nhỏ những người thách thức được cấp phép. Sau PRT, giả định bạn phải đưa ra chỉ là có một bên trung thực tồn tại ở đâu đó trên internet mở. Đó là một mô hình tin cậy yếu hơn đáng kể.

Trình giả lập máy Cartesi cũng đã bổ sung các thuật toán xác minh không tiết lộ thông tin (zero-knowledge verification primitives) trong phiên bản 0.19.0 năm ngoái. Giờ đây, có thể tạo ra các bằng chứng mật mã cho thấy một phép tính đã chạy chính xác mà không cần phải chạy lại. Điều này hữu ích khi xác minh đầu vào từ các máy con. Nó cũng mở ra cánh cửa cho các thiết lập kết hợp lạc quan-ZK mà một số nhóm hiện đang thử nghiệm. Toàn bộ mã nguồn phần mềm được công khai trên GitHub thuộc tổ chức cartesi, và theo trình theo dõi nhà phát triển của CoinMarketCap, đã có khoảng 246 sự kiện phát triển trên toàn tổ chức trong vòng 30 ngày vào tháng 4 năm 2014.

Nguồn gốc của Cartesi: những người sáng lập và bước ngoặt hướng tới lĩnh vực trí tuệ nhân tạo tại Rio.

Cartesi được thành lập vào năm 2018 tại Rio de Janeiro bởi Erick de Moura, Augusto Teixeira, Diego Nehab và Colin Steil. Teixeira và Nehab là các học giả tại IMPA, viện toán học thuần túy và ứng dụng của Brazil; ý tưởng ban đầu là một thị trường phi tập trung để đào tạo các mô hình AI, với một lớp tính toán có thể kiểm chứng được bên dưới. Khái niệm thị trường không tồn tại được khi tiếp xúc với thị trường, nhưng lớp tính toán có thể kiểm chứng thì có. Serguei Popov, một trong những người đồng sáng lập IOTA, đã tham gia với tư cách là cố vấn ban đầu.

Token này được ra mắt trên Binance Launchpad vào ngày 21 tháng 4 năm 2020, với 100 triệu CTSI được bán với giá 0,015 đô la mỗi token. Đợt IEO đã huy động được 1,5 triệu đô la từ 22.169 người trúng xổ số. Vào thời điểm đó, cuộc chiến phí gas của Ethereum đã trở thành một vấn đề nghiêm trọng về khả năng mở rộng, Bitcoin vừa trải qua lần giảm một nửa thứ ba, và thị trường rộng lớn hơn vẫn chưa hiểu L2 là gì, chứ chưa nói đến một giải đấu chống gian lận. Cartesi, theo lời thừa nhận của chính họ, đang xây dựng một thứ mà ngành công nghiệp chưa có từ ngữ để diễn đạt. Erick de Moura vẫn điều hành quỹ với tư cách là CEO, cùng với ba người đồng sáng lập khác lần lượt giữ các vai trò CSO, Giám đốc Khoa học và Giám đốc Điều hành. Ban lãnh đạo đã duy trì sự ổn định đáng kể đối với một dự án tiền điện tử đã hoạt động được tám năm.

Xây dựng trên Cartesi: dApp thực sự trong 2026

Câu hỏi phổ biến nhất về bất kỳ nền tảng Layer-2 nào ở giai đoạn cơ sở hạ tầng là liệu có ai thực sự đang xây dựng trên đó hay không. Với Cartesi, câu trả lời thẳng thắn là: có, nhiều hơn bạn mong đợi, và ít hơn so với những gì công nghệ này xứng đáng. Hệ sinh thái chính thức được đăng ký tại rolluplab.io liệt kê các ứng dụng đang hoạt động trong nhiều lĩnh vực như trò chơi, nghệ thuật trên chuỗi, cho vay và học máy giảm thiểu rủi ro về độ tin cậy, cùng với một nỗ lực thí điểm thực tế và đang phát triển trong khu vực công ở Brazil.

Sản phẩm chủ lực là chính PRT Honeypot v2, một hệ thống rollup lạc quan giai đoạn 2 với nhiệm vụ duy nhất là nắm giữ một khoản tiền thưởng bằng CTSI và thách thức bất kỳ ai phá vỡ hệ thống chống gian lận. Khoản tiền thưởng hiện tại mang tính biểu tượng (1.000 đô la CTSI, được thiết kế để tăng lên qua 2026), nhưng Authority Honeypot trước đó đã nắm giữ 1.772.889 CTSI ở mức cao nhất và đã vượt qua một năm bị tấn công mà không bị xâm nhập. RIVES là ứng dụng hướng đến người dùng dễ thấy hơn, một môi trường giả lập máy chơi game nơi các trò chơi cổ điển chạy bên trong Cartesi Machine và điểm số cao có thể được xác minh trên chuỗi. World Tycoon, vẫn đang trong giai đoạn nguyên mẫu, dựa trên ý tưởng rằng một mô phỏng cấp độ SimCity quá nặng về mặt tính toán đối với EVM nhưng hoàn toàn có thể xử lý được bên trong máy ảo Linux.

Mảng dự án công cộng của Brazil đang bị đánh giá thấp. BikeFácil mã hóa tín dụng carbon cho dịch vụ chia sẻ xe đạp điện; dự án thí điểm vận tải công cộng thành phố Niterói sử dụng giao dịch tổng hợp Cartesi để thanh toán vé xe buýt công cộng; dự án ILIADA là một nỗ lực nghiên cứu kéo dài nhiều năm với Bộ Khoa học, Công nghệ và Đổi mới của Brazil. Không dự án nào trong số này sẽ tạo ra hàng tỷ TVL (giá trị tài sản bị lãng phí), và giao dịch tổng hợp Cartesi không được theo dõi một cách có ý nghĩa trên DefiLlama, điều này nói lên điều gì đó. Nhưng chúng là phần mềm thực tế đang được sử dụng bởi những người không phải là chuyên gia về tiền điện tử. Điều đó hiếm hơn người ta tưởng.

Giá Cartesi hôm nay, cơ chế tokenomics của CTSI và việc staking.

Giá Cartesi hiện tại là yếu tố kéo theo sự sụt giảm của mọi thứ khác. CTSI có giới hạn tối đa là 1 tỷ token, trong đó khoảng 913,7 triệu token (91,4%) đang được lưu hành. Người nắm giữ CTSI và các chủ sở hữu token khác sử dụng tiền điện tử này để bỏ phiếu quản trị. Họ cũng đặt cọc token của mình trên chuỗi phụ Noether. Tại đó, mỗi trình xác thực sẽ nhận được phần thưởng khi giúp bảo mật mạng Cartesi và các tính năng bảo mật của nó. Việc đặt cọc CTSI mang lại lợi nhuận trung bình hàng năm (APY) khoảng 12,92%, với các sàn giao dịch hàng đầu như MyCointainer cung cấp lên đến 22,8% cho người đặt cọc được ủy quyền; nguồn cung Cartesi cam kết đặt cọc khác nhau giữa các pool nhưng chiếm một phần đáng kể trong tổng lượng token đang lưu hành.

Mức giá cao nhất mọi thời đại đạt được vào tháng 5 năm 2021 ở mức 1,74 đô la, gấp khoảng 59 lần giá IEO. Mức giá thấp nhất mọi thời đại được thiết lập sáu tuần trước bài viết này, vào ngày 29 tháng 3 năm 2026, ở mức 0,02134 đô la. CTSI đã dành phần lớn ba năm qua để duy trì mức giá đi ngang và chạm đáy, và giá hiện tại chỉ cao hơn 38% so với mức đó. Đáng khen ngợi là Quỹ Cartesi đã mua 500.000 đô la CTSI trên thị trường mở vào năm 2025, một tín hiệu đáng kể về sự tự tin nội bộ ngay cả khi biểu đồ chưa phản ánh điều đó.

PRT, L2BEAT Stage 2 và không gian thiết kế vô tận

Cột mốc duy nhất năm 2025 đáng chú ý ở Cartesi trong 2026 là phân loại L2BEAT Giai đoạn 2. L2BEAT là tiêu chuẩn xếp hạng độ trưởng thành của rollup. Giai đoạn 2 có nghĩa là L2 có bằng chứng gian lận phi tập trung, không có cửa hậu nâng cấp và quản trị hạn chế đối với quỹ người dùng. Tính đến năm 2025, chỉ có ba dự án trong tất cả các rollup đạt đến Giai đoạn 2. PRT Honeypot v2 của Cartesi là rollup lạc quan duy nhất trong số đó. Tất cả các ứng cử viên Giai đoạn 2 khác đều dựa trên ZK.

PRT Honeypot v2 đã được triển khai trên mạng chính Ethereum vào tháng 6 năm 2025. Một lỗi về tính khả dụng đã được phát hiện và vá vào tháng 10 cùng năm. Thuật toán Dave 2.1.1 — phiên bản cải tiến mới nhất của giải đấu đa bên — đã được đưa lên mạng thử nghiệm vào ngày 13 tháng 3 năm 2026, và nhóm đang nhắm đến việc phát hành trên mạng chính vào quý 2 năm 2029. Mỗi phiên bản mới đều giảm số tiền bảo đảm tối đa mà người thách đấu phải khóa và thắt chặt thời gian chờ tối đa để giải quyết gian lận. Bên dưới những thuật ngữ kỹ thuật, không gian thiết kế vô hạn là có thật: các giải pháp rollup lạc quan giờ đây có thể mở rộng giả định bảo mật của họ từ "một người thách đấu đáng tin cậy" thành "bất kỳ ai, ở bất cứ đâu, sẵn sàng đặt cọc và phản hồi đúng hạn".

Điều này có ý nghĩa chiến lược. Câu chuyện lạc quan về rollup đã dần mất đi sự chú ý vào tay các bằng chứng ZK và các thiết kế rollup có khả năng mở rộng khác trong hai năm qua, một phần vì vấn đề giải quyết tranh chấp đối với các khối lượng công việc DeFi nói chung vẫn còn dang dở. PRT phi tập trung hóa giải đấu chống gian lận và kéo khía cạnh lạc quan trở lại cuộc thảo luận, với chi phí trên chuỗi được giới hạn, bảo mật rõ ràng và khả năng chống kiểm duyệt cho con đường giải quyết tranh chấp. Việc các rollup khác quyết định phi tập trung hóa cơ chế giải quyết tranh chấp của riêng họ xung quanh PRT hay đi đường vòng qua ZK là câu hỏi quyết định 5 năm tiếp theo của Cartesi, và nó chạm đến cuộc tranh luận rộng hơn về phi tập trung hóa và giới hạn thực tế của khả năng mở rộng L2.

Cartesi so với làn sóng zkVM trong tiền điện tử 2026

Cartesi bắt đầu cung cấp khả năng thực thi RISC-V cho blockchain vào năm 2018, vài năm trước khi zkVM khả thi về mặt kỹ thuật. Họ đặt cược rằng việc xác thực tương tác với giải quyết tranh chấp trên chuỗi sẽ luôn rẻ hơn so với việc tạo SNARK qua phiên Linux. Rồi RISC Zero xuất hiện.

RISC Zero đã huy động được hơn 40 triệu đô la trong vòng gọi vốn Series A, gấp 26 lần số vốn huy động được trong IEO của Cartesi. Succinct cũng đã hoàn tất các vòng gọi vốn riêng tư với quy mô tương tự. Boundless ra mắt với tư cách là một thị trường bằng chứng phi tập trung, và về lâu dài, có thể sẽ hấp thụ các bằng chứng của Cartesi cùng với của tất cả các dự án khác. Xét về mặt cạnh tranh, Cartesi đã giải quyết được vấn đề khó hơn trước – chạy hệ điều hành Linux đa năng trên blockchain – nhưng ngành công nghiệp đã thưởng cho dự án giải quyết được vấn đề dễ hơn một chút với số vốn gấp 25 lần. Tôi không tin rằng khoảng cách đó có thể được thu hẹp chỉ bằng kỹ thuật tốt.

Kiểm tra thực tế: Hệ sinh thái Cartesi thực sự nói lên điều gì?

Bảng điểm 2026 trung thực dành cho Cartesi có ba điểm tích cực và ba điểm yếu. Về mặt tích cực: Giai đoạn 2 trên L2BEAT là một thành tựu thực sự. Danh sách dApp rộng hơn so với hầu hết các công ty cùng ngành có vốn hóa thị trường lớn. Quỹ có đủ nguồn lực trong 3,5 năm (không tính CTSI), quá đủ để triển khai mainnet Dave và cấp vốn cho đợt 2. Về mặt yếu: Giá CTSI hiện chỉ cách mức thấp nhất mọi thời đại được thiết lập cách đây sáu tuần khoảng 38%. Đợt 1 của chương trình cấp vốn chỉ giải ngân 191.000 đô la cho 6 người nhận tài trợ trong tổng số 500.000 đô la. Cơ cấu chi tiêu năm 2025 dành 41% cho hoạt động và tiếp thị của quỹ so với 12% cho các khoản tài trợ hệ sinh thái. Ba tín hiệu đáng chú ý trong mười hai tháng tới là: việc ra mắt mainnet Dave 2.1.1; tốc độ cấp vốn cho đợt 2; và liệu bất kỳ dApp nào trong nhóm hiện tại có được sử dụng rộng rãi hay không. Nếu hai trong ba điều đó thành công, khoảng cách giữa các yếu tố cơ bản và giá cả sẽ được thu hẹp. Nếu không ai trong số họ làm được điều đó, Cartesi vẫn là một kiệt tác kỹ thuật tuyệt đẹp ra đời sớm hơn một chu kỳ.

Marco Lucchetti

Marco Lucchetti is a senior content strategist and blockchain analyst at Plisio. With over 7 years of experience in cryptocurrency research, DeFi protocols, and payment technologies, Marco specializes in creating clear, data-driven content for a global crypto audience. His work focuses on transaction tracing, crypto compliance, and the future of blockchain infrastructure.