Tổng quan Starkware: Nguyên lý hoạt động, ngôn ngữ Cairo, đội ngũ và mô hình kinh tế
Tuyển chọn TechFlowTuyển chọn TechFlow
Tổng quan Starkware: Nguyên lý hoạt động, ngôn ngữ Cairo, đội ngũ và mô hình kinh tế
Hiện tại, xu hướng phát triển của Ethereum đang ngày càng nghiêng về blockchain mô-đun.
Chuyên sâu báo cáo Web3
Tác giả: Lục Mục Viên, IOBC Capital
Hiện tại, xu hướng phát triển của Ethereum ngày càng nghiêng về blockchain mô-đun.
Trong kiến trúc blockchain mô-đun, việc tính toán và thực thi giao dịch trên Ethereum không còn do mạng chính đảm nhiệm mà được chuyển xuống Layer 2 bên ngoài chuỗi để hoàn thành. Giải pháp này giảm tải áp lực cho mạng chính, mở rộng đáng kể hiệu suất của Ethereum.
Trong tương lai, mạng chính Ethereum chỉ cần đảm nhận công việc đạt đồng thuận và đảm bảo tính sẵn có dữ liệu, trong khi Layer 2 chịu trách nhiệm toàn bộ tính toán và thực thi sẽ trở thành một vai trò giống như nhà cung cấp dịch vụ điện toán đám mây, tương tự Amazon Web Services hay Alibaba Cloud hiện nay.
Rollup
Trong các giải pháp mở rộng layer 2, Rollup được coi là phương án triển vọng nhất.
Rollup hoàn thành việc xác minh và tính toán giao dịch bên ngoài chuỗi Ethereum, sau đó đóng gói, nén nhỏ rồi gửi lại mạng chính cùng với gốc trạng thái mới (State root) sau khi cập nhật giao dịch, từ đó giảm thiểu việc chiếm dụng không gian trên mạng chính.
Trong hệ sinh thái Rollup hiện có hai phương án triển khai: Optimistic Rollup và zk-Rollup. Trong đó:
-
Optimistic Rollup sử dụng bằng chứng gian lận (Fraud proof), trước tiên giả định rằng tất cả các giao dịch tải lên chuỗi chính đều hợp lệ, thiết lập giai đoạn thách thức, cho phép các trình xác minh đưa ra bằng chứng để thách thức các giao dịch có vấn đề. Nếu hành vi gian lận được xác minh, người gian lận sẽ bị phạt, còn người thách thức sẽ được thưởng.
-
Zk-Rollup sử dụng bằng chứng hợp lệ (Validity proof), thực hiện xác minh và đóng gói mọi giao dịch bên ngoài chuỗi, khi các giao dịch đã được xác minh được gửi đến chuỗi chính sẽ kèm theo bằng chứng kiến thức không (zero-knowledge proof) để chứng minh tính hợp lệ của giao dịch. Như CEO của StarkWare Uri từng nói: "Nó cung cấp tính trung thực tính toán đáng tin cậy — tức là khả năng tin tưởng rằng phép tính đã được thực hiện đúng đắn ngay cả khi không có ai giám sát." Điều này rất giống triết lý ban đầu của Bitcoin.
Rollup chủ yếu bao gồm ba vai trò:
-
Sequencer: Chủ yếu thu thập giao dịch từ người dùng, sắp xếp thứ tự chúng và truyền gốc Merkle mới tới hợp đồng thông minh rollup trên Layer 1, tương tự như thợ đào.
-
Prover: Chịu trách nhiệm tính toán, xác minh tất cả giao dịch và tạo ra một zk-proof để chứng minh tính hợp lệ của giao dịch.
-
Verifier: Thường được triển khai trên Layer 1, thực hiện một phần tính toán để xác minh tính hợp lệ của bằng chứng do Prover gửi lên, nhằm đảm bảo rằng bằng chứng đã cung cấp đầy đủ thông tin cần thiết cho tính trung thực tính toán.
Optimistic Rollup tương thích với EVM, giải pháp kỹ thuật chín muồi và triển khai sớm, chi phí chuyển đổi đối với nhà phát triển thấp. Các dự án tiêu biểu Arbitrum và Optimism hiện đang chiếm thị phần cao nhất trong nhóm rollup. Trong khi đó, zk-Rollups do không tương thích với EVM, độ khó kỹ thuật cao hơn nên tiến độ phát triển chậm, ứng dụng hiện tại chưa phổ biến bằng dòng OP-rollup dành cho hợp đồng thông minh.
Dù vậy, so với Optimistic Rollup, zk-Rollup vẫn có nhiều ưu thế nổi bật, ví dụ như:
-
Mở rộng tốt hơn. Bởi vì dữ liệu mà zk-Rollups cần tải lên mạng chính ít hơn Optimistic Rollups. Giao dịch mà zk-Rollups đăng lên chuỗi đã được xác minh đầy đủ và đi kèm bằng chứng, người khác chỉ cần xác minh bằng chứng mà không cần kiểm tra lại giao dịch, do đó dữ liệu liên quan đến xác minh giao dịch không cần tải lên. Nhưng Optimistic Rollups do phải chấp nhận thách thức bằng chứng gian lận nên buộc phải đưa dữ liệu này lên chuỗi. Trong thực tế, khả năng cải thiện hiệu suất của zk-Rollup khoảng gấp 10 lần so với Optimistic Rollups.
-
Thời gian xác nhận giao dịch ngắn. Giao dịch mà zk-Rollups đăng lên chuỗi đã được xác minh và có kèm bằng chứng, quá trình xác minh đơn giản, thường mất khoảng 10 phút. Trong khi đó, giao dịch mà Optimistic Rollups gửi lên do tồn tại rủi ro gian lận, cần trải qua cửa sổ thách thức khoảng 1 tuần, nên không thể hỗ trợ rút tiền tức thì.
-
Bảo mật cao hơn. Các giao dịch mà zk-Rollups tải lên đều đã được xác minh và có bằng chứng đính kèm, nguy cơ hành vi độc hại rất nhỏ. So với Optimistic Rollups có thể tải lên giao dịch gian lận, độ tin cậy và an toàn dữ liệu của zk-Rollups cao hơn hẳn.
Vitalik từng nói vào năm 2021: "Ngắn hạn, optimistic rollups sẽ chiến thắng nhờ tính tương thích EVM. Trung và dài hạn, với sự cải tiến của công nghệ zk-SNARK, zk-rollups sẽ giành chiến thắng ở mọi trường hợp sử dụng." Có thể thấy rõ Vitalik đánh giá cao zk-rollups trong dài hạn.
zk-SNARK và zk-STARK
Hai dự án hàng đầu trong hệ sinh thái zk lần lượt là zksync và Starkware. Trong đó, zksync sử dụng công nghệ zk-SNARK, còn Starkware sử dụng công nghệ zk-STARK.
zk-SNARK là viết tắt của Non-Interactive Zero-Knowledge Succinct Argument of Knowledge, còn zk-STARK là viết tắt của Scalable Transparent ARgument of Knowledge.
-
zk-SNARK xuất hiện sớm hơn, công nghệ tương đối trưởng thành và hiện đã được ứng dụng khá rộng rãi. Dự án tiền riêng tư Zcash đời đầu cũng sử dụng công nghệ zk-SNARK.
-
zk-STARK được xem là phiên bản nâng cấp của zk-SNARK, là cách thực hiện nhanh hơn và thuận tiện hơn, nhằm tối ưu hóa và khắc phục một số điểm yếu của zk-SNARK.
Từ tên gọi có thể thấy, zk-STARK vượt trội hơn zk-SNARK về mặt khả năng mở rộng và tính minh bạch, ngoài ra còn có mức độ bảo mật cao hơn. Cụ thể vì những lý do sau:
-
Khả năng mở rộng. Nhờ công nghệ zk-STARK, thời gian chạy của Prover tối đa chỉ là tuyến tính gần với quy mô tính toán, trong khi thời gian xác minh chỉ là logarit của khối lượng tính toán. Với zk-SNARK, Prover có thể đối mặt với quá trình chứng minh phức tạp, tốn kém và thời gian xác minh kéo dài.
-
Tính minh bạch. zk-STARK không cần thiết lập tin cậy ban đầu (trusted setup), khác với zk-SNARK cần chuỗi tham chiếu công khai (public reference string) yêu cầu thiết lập tin cậy; zk-STARK sử dụng xác minh công khai ngẫu nhiên, do đó không lo ngại về việc tham số bị phá hoại hoặc sửa đổi.
-
Bảo mật. Vì zk-STARK dựa vào hàm băm để mã hóa đối xứng, đặc tính chống va chạm (collision-resistant) của hàm băm giúp nó có khả năng chống lại các cuộc tấn công lượng tử.
Do công nghệ chín muồi và ra mắt sớm, hiện tại zk-SNARK vẫn là lựa chọn chủ đạo trong lĩnh vực zk, trong khi zk-STARK độ khó kỹ thuật cao, thiếu nhà phát triển nên chưa được áp dụng rộng rãi. Tuy nhiên, nhờ những lợi thế vượt trội, tin rằng trong tương lai zk-STARK sẽ trở thành giải pháp được chấp nhận phổ biến hơn.
Starkware
Đồng sáng lập Starkware, Eli Ben-Sasson, là nhà khoa học mật mã hàng đầu thế giới, giảng viên tại Học viện Công nghệ Israel, đồng thời là người đồng phát minh ra công nghệ zk-SNARK và zk-STARK. Dự án sử dụng ngôn ngữ Turing hoàn chỉnh Cairo để phát triển.
Nguyên lý hoạt động
Quy trình làm việc của các sản phẩm dòng Starkware như hình dưới đây:
Lấy ví dụ StarkEx, quy trình làm việc của StarkNet về cơ bản tương tự.
-
Người dùng trước tiên thực hiện thao tác trên ứng dụng, thường là giao diện khách hoặc frontend website, ứng dụng thực hiện các hành động này rồi gửi giao dịch đến dịch vụ StarkEx;
-
Dịch vụ StarkEx đóng gói và thực thi các giao dịch này, sau đó gửi gói này đến SHARP (Shared prover - Dịch vụ chứng minh chia sẻ). Quá trình thực thi này được hoàn thành bởi chương trình viết bằng ngôn ngữ Cairo. Đáng chú ý, StarkWare thông qua ngôn ngữ Turing hoàn chỉnh Cairo, chuyển đổi kết quả tính toán của mọi hợp đồng thông minh thành các phương trình đa thức có thể chứng minh, từ đó làm cho hợp đồng thông minh tương thích với bằng chứng hiệu lực;
-
SHARP là một hệ thống chứng minh dựa trên Stark, có nhiệm vụ tạo ra bằng chứng chứng minh tính hợp lệ của lô giao dịch này;
-
SHARP gửi bằng chứng Stark đến Verifier được triển khai trên Layer 1 để thực hiện xác minh;
-
Dịch vụ StarkEx sẽ gửi một giao dịch cập nhật trạng thái lên chuỗi đến hợp đồng thông minh StarkNet được triển khai trên Layer 1, hợp đồng này chỉ chấp nhận trạng thái mới sau khi Verifier hoàn thành việc xác minh bằng chứng.
Sản phẩm
Hiện tại, Starkware có hai sản phẩm chính:
-
StarkEx cung cấp dịch vụ B2B tùy chỉnh cho các ứng dụng, các ứng dụng chạy trên StarkEx có thể tự do tùy chỉnh logic nghiệp vụ của mình. StarkEx phục vụ các ứng dụng DeFi và game, giúp tăng tốc độ giao dịch, giảm phí giao dịch, và có thể đạt được tính sẵn có dữ liệu thông qua hai phương án ZK-Rollup hoặc Validium.
-
StarkNet là một mạng layer 2 chung, phi tập trung, miễn giấy phép và chống kiểm duyệt, bất kỳ người dùng hay nhà phát triển nào cũng có thể triển khai hợp đồng thông minh viết bằng ngôn ngữ Cairo lên đây.
Hai sản phẩm này đại diện cho hai mô hình kinh doanh khác nhau: sản phẩm đầu bán dịch vụ tùy chỉnh cho các ứng dụng, sản phẩm sau cung cấp dịch vụ chung miễn giấy phép, thu phí giao dịch trên mạng hoặc trích MEV theo nguyên tắc ưu tiên phí giao dịch khi làm nút vận hành.
Đồng sáng lập StarkWare Eli Sabasson từng đưa ra một phép so sánh: coi StarkEx và StarkNet như máy tính và điện toán đám mây. Mua StarkEx giống như sở hữu một chiếc máy tính tùy chỉnh riêng, mỗi khách hàng có một máy tính mở rộng riêng. Trong khi StarkNet cung cấp mạng lưới, dịch vụ chung, mọi người đều có thể trả phí để sử dụng.
Quy trình làm việc của StarkNet như hình dưới đây. Điểm khác biệt lớn nhất với StarkEx là trong StarkNet, Sequencer thay thế StarkEx Service để đảm nhận việc xác minh tính hợp lệ giao dịch, đóng gói giao dịch và gọi chương trình Cairo thực thi; còn công việc tạo bằng chứng vốn do SHARP đảm nhiệm nay được giao cho Prover. Hiện tại, Sequencer và Prover đều do đội ngũ chính thức của StarkWare chỉ định, điều này dẫn đến những lời chỉ trích về tính tập trung.
Lộ trình phát triển
StarkNet từng công bố một lộ trình trên blog của họ, cho biết họ sẽ từng bước thực hiện phi tập trung hóa.
Theo kế hoạch, quá trình xây dựng StarkNet của đội ngũ gồm bốn giai đoạn:
-
Giai đoạn 0 – Xây dựng cơ sở hạ tầng
-
Giai đoạn 1 – Planets: Rollup một người vận hành, một ứng dụng
-
Giai đoạn 2 – Constellations: Rollup một người vận hành, nhiều ứng dụng
-
Giai đoạn 3 – Universe: Rollup nhiều người vận hành phi tập trung, nhiều ứng dụng
Ở giai đoạn 1, mỗi instance StarkNet (một rollup) chỉ chạy duy nhất một ứng dụng, nhà phát triển tập trung vào việc triển khai logic nghiệp vụ của mình trên mạng mở rộng StarkNet.
Tiếp theo sẽ hỗ trợ chạy nhiều ứng dụng trên cùng một instance StarkNet, và các ứng dụng này có thể chia sẻ cùng trạng thái lớp 2 toàn cục. Điều này sẽ đạt được khả năng tương tác giữa các ứng dụng khác nhau, đồng thời giảm chi phí gas nhờ hiệu quả kinh tế nhờ quy mô. Ở giai đoạn này, StarkNet sẽ trở thành một framework đầy đủ chức năng, chạy nhiều ứng dụng với logic nghiệp vụ tùy ý trên Ethereum, mỗi instance do một người vận hành duy nhất quản lý. Về góc độ người dùng, StarkNet sử dụng giống như Ethereum nhưng khả năng mở rộng tốt hơn.
Giai đoạn cuối cùng là giai đoạn phi tập trung hóa người vận hành đối với StarkNet. Trong giai đoạn này, đội ngũ thực hiện hai việc chính:
(1) Sử dụng rollup để đạt được cơ chế đồng thuận tốt hơn,
(2) Sử dụng mô hình kinh tế để khuyến khích người đóng góp và người vận hành, thu hút thêm nhiều người tham gia nhằm thực hiện phi tập trung hóa mạng lưới.
Ngôn ngữ Cairo
Cairo (CPU Algebraic Intermediate Representation – Mã trung gian đại số CPU) là ngôn ngữ lập trình Turing hoàn chỉnh do Starkware phát triển, dùng để tạo bằng chứng STARK cho các tính toán tổng quát. Nhà phát triển ứng dụng có thể dùng Cairo định nghĩa bất kỳ logic nghiệp vụ nào và hoàn thành việc chứng minh ngoài chuỗi, xác minh trên chuỗi, mà không cần tự tạo mạch phức tạp hay AIR (mã trung gian đại số).
Thông qua ngôn ngữ lập trình Cairo, mọi mệnh đề tính toán đều có thể được mã hóa bằng chứng một cách nhanh chóng và an toàn. Một ứng dụng viết bằng Cairo có thể chứng minh tính đúng đắn của logic thực thi tương ứng, và một ứng dụng Cairo cũng có thể tích hợp nhiều ứng dụng Cairo khác, hình thành nên SHARP.
SHARP (bộ chứng minh chia sẻ) có thể tập hợp giao dịch từ vài ứng dụng Cairo độc lập và đưa vào cùng một bằng chứng STARK. Nhờ bằng chứng STARK, thời gian tạo bằng chứng tỷ lệ gần tuyến tính với thời gian thực thi câu lệnh. Thời gian xác minh bằng chứng lại có quan hệ logarit với thời gian tạo bằng chứng.
Vì thời gian xác minh ngắn hơn rất nhiều so với thời gian tạo bằng chứng, nên có thể thực hiện xác minh đệ quy: một chương trình Cairo có thể xác minh tính đúng đắn của nhiều giao dịch, cũng có thể viết một chương trình Cairo để xác minh nhiều bằng chứng Stark. Vì chỉ cần thời gian logarit để xác minh, nên xác minh đệ quy có thể giảm mạnh thời gian xác minh.
Đội ngũ Starkware đã ra mắt Dịch vụ Chứng minh Chung (Generic Proof Service - GPS), nhà phát triển có thể dùng dịch vụ này để xây dựng ứng dụng bằng ngôn ngữ Cairo. Họ có thể gửi mã Cairo chứa logic nghiệp vụ đến GPS để tạo bằng chứng và xác minh trên chuỗi.
Do GPS hỗ trợ dùng một bằng chứng để khẳng định tính toàn vẹn thực thi của nhiều ứng dụng khác nhau, các ứng dụng này có thể cùng chia sẻ chi phí gas xác minh bằng chứng.
Đội ngũ và huy động vốn
Đội ngũ Starkware đến từ Israel, các thành viên chủ chốt là các nhà phát triển khoa học máy tính và mật mã học có nền tảng từ Đại học Hebrew và Học viện Công nghệ Israel, có thể nói là đội ngũ mạnh nhất trong lĩnh vực bằng chứng kiến thức không.
Theo trang web chính thức của Starkware, đội ngũ hiện có 77 thành viên, cộng thêm 7 cố vấn chuyên môn và 5 cố vấn khác.
Các thành viên chính bao gồm:
-
Eli Ben-Sasson: Đồng sáng lập & Nhà khoa học trưởng, Tiến sĩ Khoa học Máy tính Lý thuyết tại Đại học Hebrew, nghiên cứu lâu năm về tính toàn vẹn tính toán, mật mã học và bằng chứng kiến thức không. Giáo sư ngành Khoa học Máy tính tại Học viện Công nghệ Israel. Nhà khoa học sáng lập Zcash, người phát minh ra zkSNARK và zkSTARK.
-
Uri Kolodny: Đồng sáng lập & CEO, cử nhân Khoa học Máy tính tại Đại học Hebrew, là một doanh nhân liên tiếp giàu kinh nghiệm thương mại và giỏi hợp tác.
-
Alessandro Chiesa: Đồng sáng lập & Nhà khoa học trưởng, giáo sư ngành Khoa học Máy tính tại Đại học California, Berkeley. Nhà khoa học sáng lập Zcash, đồng phát minh ra zk-SNARKs, là nhà phát triển cốt lõi của thư viện mã nguồn mở hàng đầu về bằng chứng kiến thức ngắn gọn libsnark.
-
Michael Riabzev: Đồng sáng lập & Kiến trúc sư trưởng. Tiến sĩ tại Học viện Công nghệ Israel, từng làm việc tại Intel và IBM.
-
Oren Katz: Phó Giám đốc Kỹ thuật. Tốt nghiệp ngành Khoa học Máy tính tại Đại học Hebrew, MBA tại Đại học Tel Aviv, kỹ sư dày dạn 20 năm kinh nghiệm.
Về huy động vốn, StarkWare đã công bố bảy vòng gây vốn, liên quan đến 45 khoản đầu tư, tổng cộng huy động được 273 triệu USD. Vào năm 2022, vòng Series D định giá 7,9 tỷ USD, các nhà đầu tư bao gồm Paradigm, Sequoia Capital, Pantera Capital và cả Vitalik.
Mô hình kinh tế
Vào giữa tháng Bảy năm nay, Starkware đã công bố mô hình kinh tế token trên blog của họ. Ban đầu dự kiến phát hành token vào tháng 9, nhưng sau đó thông báo hoãn thời gian phát hành. Đến thời điểm bài viết này được đăng, vẫn chưa có thông báo chính thức về việc phát hành token.
Token StarkNet sẽ chủ yếu có ba mục đích sử dụng: thanh toán phí mạng StarkNet, đặt cược để tham gia đồng thuận mạng và bỏ phiếu quản trị cộng đồng.
-
Phí giao dịch: Hiện tại, phí trên StarkNet được thanh toán bằng ETH. Tuy nhiên, dự án dự kiến trong tương lai phí sẽ chỉ được thanh toán bằng token gốc StarkNet. Để đảm bảo trải nghiệm người dùng tốt, cơ chế tự động và phi tập trung trên chuỗi sẽ cho phép người dùng thanh toán phí bằng ETH.
-
Đặt cược (Staking): Một số dịch vụ quan trọng đối với hoạt động và bảo mật của StarkNet có thể yêu cầu đặt cược token StarkNet. Các dịch vụ này có thể bao gồm sắp xếp giao dịch, đạt được đồng thuận tạm thời L2 trước khi đạt được tính cuối cùng trên L1, dịch vụ chứng minh STARK và cung cấp tính sẵn có dữ liệu. Dự kiến các dịch vụ này sẽ được phi tập trung hóa vào năm 2023.
-
Quản trị: Các đề xuất cải tiến StarkNet sẽ yêu cầu ngưỡng nắm giữ token tối thiểu. Mọi thay đổi đối với giao thức ảnh hưởng đến hoạt động, bảo mật và bảo trì của StarkNet đều cần bỏ phiếu trực tiếp hoặc thông qua ủy quyền. Ví dụ, mọi bản cập nhật lớn đối với hệ điều hành StarkNet đều cần được sự chấp thuận của người nắm giữ token.
Tổng cung ban đầu của token StarkNet là 10 tỷ token, trong đó 17% phân bổ cho các nhà đầu tư StarkWare, 32,9% cho các đóng góp cốt lõi, 50,1% cho quỹ.
Đồng thời, token có cơ chế phát hành thêm, một phần token mới được đúc và phí giao dịch sẽ được trao cho các nhà phát triển hạ tầng cốt lõi và nhà phát triển hợp đồng thông minh.
Cụ thể 51% phân bổ cho quỹ được sử dụng như sau:
-
9% – dành cho nhà phát triển hệ sinh thái, người dùng và cộng đồng, bao gồm một số người dùng đã tương tác với StarkEx trước ngày 1 tháng 6.
-
9% – hoàn lại cộng đồng (Rebates) – hoàn lại token StarkNet để bù một phần chi phí khi tham gia StarkNet từ Ethereum.
-
12% – tài trợ cho các nhà nghiên cứu và người làm việc phát triển, kiểm thử, triển khai và bảo trì giao thức StarkNet.
-
10% – dự trữ chiến lược, dùng để tài trợ các hoạt động hệ sinh thái phù hợp với sứ mệnh của quỹ.
-
2% – quyên góp cho các tổ chức và cơ quan xuất sắc trong lĩnh vực liên quan như đại học, tổ chức phi chính phủ, do người nắm giữ token StarkNet và quỹ quyết định.
-
8,1% chưa phân bổ – nhằm hỗ trợ thêm cộng đồng StarkNet, cụ thể do cộng đồng quyết định.
Xét theo thông lệ phân bổ trong hệ sinh thái phi tập trung và lợi ích dài hạn của cộng đồng, 49,9% dành cho nhà đầu tư và người đóng góp cốt lõi sẽ bị khóa trong 4 năm, với thời gian chờ (cliff) 1 năm và phát hành theo tuyến tính.
Qua cơ cấu phân bổ token có thể thấy, phần thưởng token StarkNet ưu tiên nhà phát triển hạ tầng cốt lõi và dApp, trong khi dành ít hơn cho người dùng thông thường.
Số liệu vận hành
Sản phẩm B2B StarkEx ra mắt sớm, mô hình Scale-as-a-service tương đối trưởng thành, đã tích lũy một số người dùng như dYdX (hiện đã rời đi), Immutable X, rhino.fi, celer và Sorare. Theo số liệu từ trang web chính thức, tổng giá trị giao dịch tích lũy trên StarkEx đạt 732 tỷ USD, TVL hiện tại là 461 triệu USD.
Sản phẩm còn lại là StarkNet, theo dữ liệu từ trang www.starknet-ecosystem.com, hiện hệ sinh thái có khoảng hơn 100 ứng dụng, trong đó DeFi (45 ứng dụng), NFT (24) và hạ tầng (18) là nhiều nhất.
Trong các dự án nổi bật, AAVE và Maker đều sẽ triển khai lên StarkNet. Hai ngày trước (29/10), Aave và StarkWare vừa công bố hoàn thành phát triển giai đoạn một của hợp tác xuyên chuỗi. Giai đoạn này là cơ sở hạ tầng hợp đồng thông minh cho việc di chuyển aToken từ Aave v2 trên Ethereum sang StarkNet, cho phép người dùng trên mạng lấy aToken di chuyển chéo trên StarkNet. Trước đó vào tháng Sáu, Maker đã triển khai chuyển tiền DAI giữa mạng chính và StarkNet.
Đáng chú ý, dYdX – từng chiếm TVL chủ yếu trên StarkEx – đã rời đi vào tháng Sáu, chọn sử dụng blockchain độc lập dựa trên Cosmos SDK để ra mắt phiên bản v4. Sự kiện này ảnh hưởng nhất định đến niềm tin của nhà đầu tư đối với layer 2 và Starkware.
Từ sự kiện này cũng có thể thấy, các ứng dụng thực sự có người dùng và ảnh hưởng lớn sẽ có tiếng nói và chủ động nhiều hơn khi lựa chọn cơ sở hạ tầng nền tảng, họ không phụ thuộc vào một chuỗi nền tảng duy nhất, có thể chủ động chọn các chuỗi công cộng nền tảng khác, thậm chí tự xây dựng chuỗi ứng dụng phù hợp nhu cầu riêng.
Narrative “giao thức béo, ứng dụng gầy” trước đây có thể sẽ được định nghĩa lại. Đối với các dự án cơ sở hạ tầng nền tảng, làm thế nào để giữ chân các ứng dụng chất lượng trong hệ sinh thái của mình, tăng khả năng lưu giữ, trở thành vấn đề cần suy nghĩ lại. Rốt cuộc, muốn thu hút nhiều giá trị hơn thì phải thu hút nhiều người dùng hơn, mà người dùng tương tác trực tiếp là ứng dụng chứ không phải lớp nền, người dùng không quan tâm đến nguyên lý kỹ thuật nền tảng, mà chỉ di chuyển theo ứng dụng.
Kết luận
Starkware với đội ngũ kỹ thuật mạnh hiện đang phát triển sản phẩm theo đúng kế hoạch: vào ngày 26 tháng 10, họ công bố đã sử dụng ngôn ngữ lập trình STARK – Cairo để hoàn thành việc viết ZK-EVM.
Tuy nhiên, họ cũng đang đối mặt với một số thách thức, ví dụ như hiện tại công nghệ zk-STARK còn khó, tốc độ phát triển chậm, số lượng nhà phát triển ít, điều này gây khó khăn lớn cho việc phát triển và giữ chân ứng dụng trong hệ sinh thái.
Việc dYdX rời đi đã mang theo phần lớn TVL của dự án, bộc lộ tình trạng yếu kém trong khả năng ràng buộc ứng dụng chất lượng cao của cơ sở hạ tầng nền tảng, cũng cho thấy tiếng nói mạnh mẽ của các ứng dụng chất lượng khi lựa chọn chuỗi nền.
Tuy nhiên, nhờ ưu thế công nghệ vượt trội, về dài hạn, chúng tôi vẫn lạc quan về sự phát triển của zk-rollup và STARK.
Về sau, khi hiệu ứng kích thích từ việc phát hành token và mạng lưới dần chuyển sang phi tập trung, Starkware vẫn sẽ là một trong những đối thủ cạnh tranh mạnh nhất trong赛道 Rollup.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
@iobc_capital
