Giải thích toàn diện về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế
IOBC Capital
2022-10-31 11:30
本文约7433字,阅读全文需要约30分钟
Starkware sẽ vẫn là một trong những ứng cử viên hàng đầu trong vòng Rollup.

Hiện tại, xu hướng phát triển của Ethereum ngày càng nghiêng về chuỗi khối mô-đun.

Trong khuôn khổ của chuỗi khối mô-đun, việc tính toán và thực hiện giao dịch trên Ethereum không còn được vận hành bởi mạng chính và phần công việc này được chuyển sang Lớp 2 trong chuỗi. Giải pháp này giúp giảm gánh nặng cho mạng chính và đáng kể Hiệu suất mở rộng của Ethereum.

tiêu đề cấp đầu tiên

Rollup

Trong số các giải pháp mở rộng lớp 2, Rollup được coi là hứa hẹn nhất.

Rollup hoàn thành việc xác minh và tính toán các giao dịch trong chuỗi Ethereum, đồng thời đóng gói và nén chúng và gửi chúng trở lại mạng chính cùng với gốc trạng thái mới (Gốc trạng thái) sau khi cập nhật giao dịch, do đó giảm dung lượng chiếm dụng của mạng chính .

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Có hai sơ đồ triển khai trong Rollup, đó là Optimistic Rollup và zk-Rollup. TRONG:

  1. Công dụng của Optimistic Rollupbằng chứng gian lận, trước tiên hãy giả định rằng tất cả các giao dịch được tải lên chuỗi chính là hợp pháp và đặt thời gian thử thách để cho phép người xác minh đề xuất bằng chứng để thách thức các giao dịch có vấn đề. Sau khi hành vi gian lận được xác nhận, những kẻ lừa đảo sẽ bị trừng phạt và những người thách thức sẽ được khen thưởng.

  2. Zk-Rollup sử dụngBằng chứng hợp lệ, tất cả các giao dịch được xác minh và đóng gói trong chuỗi và khi giao dịch được xác minh được gửi tới chuỗi chính, bằng chứng không có kiến ​​thức sẽ được đính kèm để chứng minh tính hợp lệ của giao dịch. Theo lời của Giám đốc điều hành StarkWare Uri: "Nó cung cấp tính toàn vẹn tính toán không cần tin cậy (computational integration), nó là một khả năng như vậy - ngay cả khi không có ai giám sát, bạn có thể chắc chắn rằng phép tính được thực hiện chính xác." Rất giống với bitcoin đời đầu ý tưởng.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Có ba vai trò chính trong Rollup:

  • Sequencer:Nó chịu trách nhiệm chính trong việc thu thập các giao dịch từ người dùng, sắp xếp chúng và chuyển gốc Merkle mới sang hợp đồng thông minh cuộn lên của Layer1, tương tự như một công cụ khai thác.

  • Prover:Chịu trách nhiệm tính toán và xác minh tất cả các giao dịch, đồng thời tạo bằng chứng zk để chứng minh tính hợp lệ của giao dịch.

  • Verifier:Thường được triển khai trên Lớp 1, nó chịu trách nhiệm hoàn thành một phần tính toán để xác minh tính hợp lệ của bằng chứng do Người chứng minh gửi để đảm bảo rằng nó cung cấp tất cả thông tin cần thiết để tính toán tính toàn vẹn.

Bản tổng hợp lạc quan tương thích với EVM. Giải pháp kỹ thuật đã trưởng thành và được triển khai sớm. Đối với nhà phát triển, chi phí di chuyển thấp, điều đó có nghĩa là các dự án Arbitrum và Optimism hiện có thị phần cao nhất trong số các bản tổng hợp. Do zk-Rollups không tương thích với EVM nên độ khó kỹ thuật tương đối cao, tiến độ phát triển chậm, hiện tại ứng dụng chưa rộng rãi như rollup của hệ thống OP có thể hướng đến hợp đồng thông minh.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Mặc dù vậy, zk-Rollup vẫn có nhiều ưu điểm hơn so với Optimistic Rollup, chẳng hạn như:

  1. Khả năng mở rộng là tốt hơn.Điều này là do zk-Rollups cần tải ít dữ liệu lên mạng chính hơn so với Optimistic Rollups. Vì thông tin giao dịch do zk-rollups phát hành cho chuỗi đã được xác minh và đính kèm chứng chỉ, những người khác chỉ cần xác minh chứng chỉ mà không cần xác minh giao dịch, vì vậy dữ liệu liên quan đến giao dịch xác minh không cần phải tải lên, nhưng vì Các bản tổng hợp lạc quan cần phải chấp nhận Thách thức về bằng chứng gian lận, vì vậy cần phải đưa những dữ liệu này vào chuỗi. Trong các ứng dụng thực tế, khả năng cải thiện hiệu suất của zk-Rollup gấp khoảng mười lần so với Optimistic Rollup.

  2. Thời gian hoàn tất giao dịch ngắn.Các giao dịch do zk-Rollups công bố lên chuỗi đã được xác minh và đính kèm bằng chứng. Việc xác minh tương đối đơn giản và thời gian xác minh thường mất khoảng mười phút. Tuy nhiên, do nguy cơ gian lận nên các giao dịch do Optimistic Rollups gửi cần để chấp nhận thử thách chứng minh gian lận Cửa sổ thời gian của thử thách này là khoảng 1 tuần, vì vậy các chức năng như rút tiền ngay lập tức không thể thực hiện được.

  3. Bảo mật hơn.Các giao dịch do zk-Rollups tải lên đã được xác minh và đính kèm bằng chứng, khả năng làm điều ác là rất nhỏ. So với Bản tổng hợp lạc quan, có thể tải lên các giao dịch chứa nội dung gian lận, zk-Rollups có độ tin cậy và bảo mật dữ liệu cao hơn.

tiêu đề cấp đầu tiên

zk-SNARK và zk-STARK

Hai dự án hàng đầu của hệ thống zk là zksync và Starkware. Trong số đó, zksync sử dụng công nghệ zk-SNARK, trong khi Starkware sử dụng công nghệ zk-STARK.

zk-SNARK là từ viết tắt của Bằng chứng không tương tác ngắn gọn và zk-STARK là từ viết tắt của Bằng chứng tri thức minh bạch có thể mở rộng. zk-SNARK ra đời sớm, công nghệ tương đối hoàn thiện và đã được sử dụng rộng rãi. Dự án tiền riêng tư ban đầu zcash đã sử dụng công nghệ zk-SNARK. zk-STARK được coi là phiên bản cải tiến của zk-SNARK, triển khai nhanh hơn và thuận tiện hơn, nhằm mục đích tối ưu hóa zk-SNARK và bù đắp một số thiếu sót của nó.

Như cái tên có thể thấy, zk-STARK có lợi thế về khả năng mở rộng và tính minh bạch so với zk-SNARK, đồng thời zk-STARK cũng có tính bảo mật cao hơn. Những lý do cụ thể là:

  1. khả năng mở rộng.Với công nghệ zk-STARK, thời gian chạy của trình chứng minh gần giống nhất về kích thước tính toán và logarit đa thức trong thời gian xác minh. Trong zk-SNARK, người chứng minh có thể phải đối mặt với quy trình chứng minh phức tạp và tốn kém, đồng thời thời gian xác minh cũng lâu hơn.

  2. minh bạch.zk-STARK không yêu cầu cài đặt khởi tạo đáng tin cậy, không giống như zk-SNARK yêu cầu chuỗi tham chiếu công khai cho cài đặt đáng tin cậy, nhưng sử dụng xác minh công khai ngẫu nhiên, do đó không cần lo lắng về việc các tham số bị hủy và sửa đổi;

  3. sự an toàn.Vì zk-STARK dựa vào hàm băm để mã hóa đối xứng nên tính năng chống va chạm của hàm băm mang lại khả năng chống lại các cuộc tấn công lượng tử.

tiêu đề cấp đầu tiên

Starkware

tiêu đề phụ

nguyên tắc làm việc

Quy trình làm việc của các sản phẩm dòng Starware được thể hiện trong hình bên dưới:

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Lấy ví dụ về StarkEx, quy trình làm việc của StarkNet gần giống nhau.

  1. Trước tiên, người dùng thực hiện các thao tác trong ứng dụng, thường là ứng dụng khách của ứng dụng hoặc giao diện người dùng của trang web và ứng dụng sẽ gửi các giao dịch đến dịch vụ StarkEx sau khi thực hiện các thao tác này;

  2. Dịch vụ StarkEx đóng gói và thực hiện các giao dịch này và gửi gói tớiSHARP (Chứng minh được chia sẻ, dịch vụ chứng minh được chia sẻ), việc thực hiện quá trình này được hoàn thành bởi một chương trình viết bằng ngôn ngữ Cairo. Điều đáng nói là StarkWare sử dụng Cairo, một ngôn ngữ Turing-đầy đủ, để chuyển đổi kết quả tính toán của tất cả các hợp đồng thông minh thành các phương trình đa thức có thể chứng minh được. Điều này tạo ra các hợp đồng thông minh tương thích với bằng chứng hợp lệ;

  3. SHARP là một hệ thống bằng chứng dựa trên Stark, tạo ra bằng chứng có thể chứng minh tính hợp lệ của lô giao dịch này;

  4. SHARP gửi bằng chứng Stark cho việc triển khai trongTrình xác minh trên Lớp 1, được xác minh bởi Người xác minh;

  5. Dịch vụ StarkEx sẽ gửi giao dịch cập nhật trạng thái trên chuỗi tớiHợp đồng thông minh StarkNet được triển khai trên Lớp 1sản phẩm

sản phẩm

Starkware hiện có hai sản phẩm, cụ thể là:


  • StarkExCung cấp ứng dụng vớiDịch vụ ToB tùy chỉnh, các ứng dụng chạy trên StarkEx có thể tùy chỉnh logic nghiệp vụ của chúng. StarkEx phục vụ các ứng dụng như Defi và trò chơi, có thể tăng tốc độ giao dịch và giảm chi phí giao dịch. Nó cũng có thể đạt được tính khả dụng của dữ liệu thông qua ZK-Rollup hoặc Validium.

  • StarkNet Là mộtMạng lớp 2 mục đích chung, phi tập trung, chống kiểm duyệt mà không cần sự cho phép, bất kỳ người dùng và nhà phát triển nào cũng có thể triển khai các hợp đồng thông minh được viết bằng ngôn ngữ Cario trên đó.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Hai sản phẩm này tương ứng với hai mô hình kinh doanh khác nhau, cái trước cung cấp các dịch vụ tùy chỉnh cho các ứng dụng và bán chúng, trong khi cái sau cung cấp các dịch vụ có mục đích chung mà không được phép, sau đó tính phí giao dịch trên mạng hoặc trích xuất MEV làm nút theo nguyên tắc ưu tiên phí giao dịch.

Người đồng sáng lập StarkWare Eli Sabasson đã từng làm một phép ẩn dụ,So sánh tương ứng giữa StarkEx và StarkNet với máy tính và đám mây, mua StarkEx giống như bạn có máy tính tùy chỉnh của riêng mình và mỗi khách hàng có máy tính mở rộng của riêng họ. Những gì StarkNet cung cấp là một mạng và một dịch vụ chung mà mọi người đều có thể trả tiền và sử dụng.

Quá trình làm việc của StarkNet được thể hiện trong hình bên dưới. Sự khác biệt lớn nhất giữa nó và StarkEx là ởDịch vụ StarkEx được thay thế bằng Sequencer trong StarkNetĐể đảm nhận công việc xác minh tính hợp lệ của giao dịch, đóng gói giao dịch và gọi chương trình Cairo để thực hiện, và công việc tạo bằng chứng do SHARP đảm nhận do Prover trong StarkNet phụ trách. Hiện tại, cả Sequencer và Prover đều được chỉ định bởi nhóm chính thức của StarkWare, điều này đặt ra câu hỏi về tính tập trung.

tiêu đề phụ

Roadmap

StarkNet đã từng xuất bản một lộ trình trên blog của họ và tuyên bố rằng họ sẽ dần dần đạt được sự phân cấp.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Trong tầm nhìn, quá trình xây dựng đội ngũ StarkNet bao gồm bốn giai đoạn, cụ thể là:

  • Bước 0--Cơ sở hạ tầng

  • Bước 1--Các hành tinh: nhà điều hành đơn lẻ, tổng số ứng dụng đơn lẻ

  • Bước 2--Chòm sao: một toán tử, tổng hợp nhiều ứng dụng

  • Bước 3--Vũ trụ: Nhà điều hành phi tập trung, tổng hợp nhiều ứng dụng

Ở Bước 1, chỉ một ứng dụng chạy trên phiên bản StarkNet (một bản tổng hợp) và các nhà phát triển tập trung vào cách triển khai logic nghiệp vụ của riêng họ trên mạng StarkNet mở rộng.

Bước tiếp theo sẽ hỗ trợ chạy nhiều ứng dụng trên cùng một phiên bản StarkNet và những ứng dụng này sẽ có thể chia sẻ cùng trạng thái Lớp 2 toàn cầu. Điều này sẽ cho phép khả năng tương tác giữa các ứng dụng khác nhau, cũng như giảm chi phí khí đốt do quy mô kinh tế được cải thiện. Ở giai đoạn này, StarkNet sẽ là một khung đầy đủ chức năng để chạy nhiều ứng dụng với logic kinh doanh tùy ý trên Ethereum, mỗi phiên bản được điều hành bởi một nhà điều hành duy nhất. Từ quan điểm của người dùng, StarkNet tương tự như Ethereum, nhưng có khả năng mở rộng tốt hơn.

tiêu đề phụ

ngôn ngữ Cairô

Cairo (Biểu diễn trung gian đại số CPU, Mã trung gian đại số CPU) là ngôn ngữ lập trình hoàn chỉnh Turing được Starkware sử dụng để tạo bằng chứng STARK cho các tính toán chung.Các nhà phát triển ứng dụng có thể sử dụng Cairo để xác định bất kỳ logic kinh doanh nào và hoàn thành bằng chứng ngoài chuỗi và xác minh trên chuỗi,Không cần tạo thủ công các mạch phức tạp hoặc AIR (Mã trung gian đại số).

Với ngôn ngữ lập trình Cario, có thể chứng minh được mã hóa nhanh chóng và an toàn cho bất kỳ đề xuất tính toán nào. Một ứng dụng được viết bằng Cario có thể chứng minh logic thực thi tương ứng của nó và một ứng dụng Cario cũng có thể tích hợp nhiều ứng dụng Cario để tạo thành SHARP.

SHARP (Shared Proofer) có thể tổng hợp các giao dịch từ một số ứng dụng Cario độc lập và sử dụng chúng trong cùng một bằng chứng STARK.Với các bằng chứng của STARK, thời gian cần thiết để đưa ra một bằng chứng tỷ lệ gần như tuyến tính với thời gian cần thiết để thực hiện câu lệnh. Thời gian cần thiết để xác minh một bằng chứng là logarit của thời gian tạo ra nó.

Vì thời gian xác minh nhỏ hơn nhiều so với thời gian chứng minh, nên có thể đạt được xác minh đệ quy:Một chương trình Cairo có thể xác minh tính chính xác của nhiều giao dịch và một chương trình Cairo cũng có thể được viết để xác minh nhiều bằng chứng Stark. Xác minh đệ quy như vậy có thể giảm đáng kể thời gian xác minh vì chỉ cần thời gian logarit để thực hiện xác minh.

Nhóm Starkware giới thiệu Cairo'sDịch vụ bằng chứng chung (GPS), các nhà phát triển có thể sử dụng dịch vụ này để xây dựng các ứng dụng của riêng họ bằng ngôn ngữ Cairo. Họ có thể gửi mã Cairo của riêng mình có chứa logic kinh doanh tới GPS để chứng minh điều đó và xác minh chúng trên chuỗi.

tiêu đề phụ

đội ngũ và tài chính

Đội ngũ của Starkware đến từ Israel, với các thành viên chính là các nhà phát triển khoa học máy tính và mật mã có xuất thân từ Đại học Hebrew và Viện Công nghệ Technion-Israel, có thể nói đây là đội ngũ mạnh nhất trong lĩnh vực zero-knowledge proof.

Có thể thấy từ trang web chính thức của Starkware, nhóm hiện có 77 thành viên, cộng với 7 chuyên gia tư vấn chủ đề và 5 chuyên gia tư vấn khác. Các thành viên chủ chốt 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 học Do Thái, từ lâu đã tham gia nghiên cứu về tính toàn vẹn của tính toán, mật mã và bằng chứng không có kiến ​​thức. Giáo sư Khoa học Máy tính tại Viện Công nghệ Technion-Israel. Nhà khoa học sáng lập Zcash, nhà phát minh zkSNARK và zkSTARK.

  • Uri Kolodny: Đồng sáng lập & Giám đốc điều hành, Cử nhân Khoa học Máy tính của Đại học Hebrew, là một doanh nhân nối tiếp với kinh nghiệm kinh doanh phong phú và khả năng hợp tác tốt.

  • Alessandro Chiesa: Đồng sáng lập & Nhà khoa học trưởng, Giáo sư Khoa học Máy tính tại UC Berkeley. Nhà khoa học sáng lập Zcash, đồng phát minh ra zk-SNARK và nhà phát triển cốt lõi của libsnark, một thư viện mã nguồn mở hàng đầu cho các bằng chứng zero-knowledge ngắn gọn.

  • Michael Riabzev: Đồng sáng lập & Kiến trúc sư trưởng. Tiến sĩ Viện Công nghệ Israel, từng làm việc tại Intel và IBM.

  • Oren Katz: Phó chủ tịch kỹ thuật. Tốt nghiệp Đại học Hebrew chuyên ngành khoa học máy tính, MBA Đại học Tel Aviv, kỹ sư cao cấp với 20 năm kinh nghiệm.

Về tài chính, StarkWare đã tiết lộ tổng cộng bảy vòng cấp vốn, liên quan đến 45 khoản đầu tư.Tiết lộ khoản tài trợ 273 triệu đô la, vào năm 2022,Vòng tài chính D định giá 7,9 tỷ đô la MỹMô hình kinh tế

Mô hình kinh tế

Starkware đã phát hành mô hình kinh tế mã thông báo của họ trong một bài đăng trên blog vào giữa tháng 7 năm nay. Ban đầu nó được lên kế hoạch phát hành mã thông báo vào tháng 9, nhưng sau đó nó đã đưa ra thông báo hoãn thời gian phát hành.Tính đến thời điểm xuất bản bài báo này, vẫn chưa có thông báo chính thức nào về việc phát hành mã thông báo.

Mã thông báo StarkNet chủ yếu sẽ có 3 kịch bản sử dụng, cụ thể là thanh toán phí mạng StarkNet, cam kết tham gia vào sự đồng thuận của mạng và bỏ phiếu quản trị cộng đồng.

  • Phí giao dịch:Hiện tại, phí trong StarkNet được thanh toán bằng ETH. Nhưng trong tương lai, dự án hy vọng các khoản phí sẽ chỉ được thanh toán bằng mã thông báo StarkNet gốc. Để hỗ trợ trải nghiệm người dùng tốt, cơ chế trên chuỗi tự động và phi tập trung sẽ cho phép người dùng thanh toán phí bằng ETH.

  • Lời hứa:Một số dịch vụ quan trọng đối với sự sống động và bảo mật của StarkNet có thể yêu cầu đặt cược mã thông báo StarkNet. Các dịch vụ này có thể bao gồm đặt hàng, đồng thuận L2 tạm thời cho đến khi đạt được kết quả cuối cùng của L1, dịch vụ bằng chứng STARK và cung cấp tính khả dụng của dữ liệu. Các dịch vụ này dự kiến ​​sẽ được phân cấp vào năm 2023.

  • Quản trị:Các đề xuất để cải thiện StarkNet sẽ yêu cầu ngưỡng nắm giữ mã thông báo tối thiểu. Tất cả các thay đổi đối với giao thức quan trọng đối với sự sống động, bảo mật và bảo trì của StarkNet sẽ yêu cầu biểu quyết, trực tiếp hoặc thông qua ủy quyền. Ví dụ: tất cả các bản cập nhật lớn cho hệ điều hành StarkNet đều cần có sự chấp thuận của chủ sở hữu mã thông báo.

Nguồn cung ban đầu của token StarkNet là 10 tỷ, 17% được phân bổ cho các nhà đầu tư StarkWare, 32,9% được phân bổ cho những người đóng góp cốt lõi và 50,1% được phân bổ cho nền tảng. Đồng thời, mã thông báo có cơ chế phát hành bổ sung và một phần của mã thông báo mới được đúc và phí giao dịch sẽ được trao cho các nhà phát triển cơ sở hạ tầng cốt lõi và nhà phát triển hợp đồng thông minh.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Các mục đích cụ thể của 51% được phân bổ cho quỹ là:

  • 9% - Các nhà phát triển, người dùng và cộng đồng sinh thái. Bao gồm một số người dùng đã tương tác với StarkEx trước ngày 1 tháng Sáu.

  • 9% - Giảm giá cộng đồng - Giảm giá token StarkNet để trang trải một phần chi phí tham gia StarkNet từ Ethereum.

  • 12% - Tài trợ cho các nhà nghiên cứu và công nhân để phát triển, thử nghiệm, triển khai và duy trì giao thức StarkNet.

  • 10% - Dự trữ chiến lược để tài trợ cho 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 cơ quan và tổ chức xuất sắc trong các lĩnh vực liên quan, chẳng hạn như trường đại học, tổ chức phi chính phủ, v.v., được xác định bởi những người nắm giữ mã thông báo StarkNet và các quỹ.

  • 8,1% chưa phân bổ - Để hỗ trợ thêm cho cộng đồng StarkNet theo cách thức do cộng đồng quyết định.

Xem xét phân phối thông thường của hệ sinh thái phi tập trung và lợi ích lâu dài của cộng đồng, 49,9% nhà đầu tư và những người đóng góp cốt lõi sẽ có thời hạn khóa 4 năm và Cliff (thời kỳ vách đá) 1 năm và cách tiếp cận tuyến tính sẽ được thông qua Phát hành mã thông báo.

tiêu đề phụ

Dữ liệu hoạt động

StarkEx, một sản phẩm toB, đã tích lũy được một số người dùng do ra mắt sớm và Quy mô tương đối trưởng thành như một mô hình dịch vụ, chẳng hạn nhưdYdX (nay đã di cư), Immutable X, Rhino.fi, celer và Sorare.Theo dữ liệu được hiển thị trên trang web chính thức, số tiền giao dịch tích lũy trên StarkEx đã đạt 732 tỷ đô la Mỹ và TVL hiện tại là 461 triệu đô la Mỹ.

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Một sản phẩm khác là StarkNet, theo số liệu trên website www.starknet-ecosystem.com, hiện có hơn 100 ứng dụng trong hệ sinh thái, trong đó Defi (45), NFT (24) và cơ sở hạ tầng (18).

Giải thích chi tiết về Starkware: thiết kế cơ bản, ngôn ngữ Cairo, nhóm và mô hình kinh tế

Trong số các dự án nổi tiếng hơn,AAVE và Nhà sản xuấtTất cả sẽ được triển khai trên StarkNet Hai ngày trước (29 tháng 10), đã có thông báo chính thức rằng giai đoạn hợp tác chuỗi chéo đầu tiên giữa Aave và StarkWare đã hoàn tất. Giai đoạn này là chuỗi chéo aToken của Aave v2 trên Ethereum với cơ sở hạ tầng hợp đồng thông minh của StarkNet, cho phép người dùng mạng nhận được aToken chuỗi chéo trên StarkNet. Ngay từ tháng 6, Maker đã triển khai chuyển DAI giữa mạng chính và StarkNet.

Điều đáng nói là dYdX, trước đây chiếm TVL chính trong StarkEx, đã rời đi vào tháng 6 và chọn một chuỗi khối độc lập dựa trên SDK Cosmos để khởi chạy phiên bản v4 của sản phẩm. Sự cố này đã ảnh hưởng đến niềm tin của các nhà đầu tư vào lớp 2 và Starkware ở một mức độ nhất định.

Cũng có thể thấy từ sự cố di cư này, các ứng dụng thực sự có người dùng và ảnh hưởng sẽ có nhiều tiếng nói và chủ động hơn trong việc lựa chọn cơ sở hạ tầng cơ bản, không phụ thuộc vào một chuỗi cơ bản duy nhất và có thể chủ động chọn chuỗi công khai cơ bản khác, thậm chí xây dựng một chuỗi ứng dụng đáp ứng nhu cầu của riêng bạn.

phần kết

phần kết

Starkware, có đội ngũ kỹ thuật mạnh, hiện đang dần phát triển sản phẩm theo kế hoạch của họ: Vào ngày 26 tháng 10, họ chính thức thông báo rằng họ đã viết ZK-EVM bằng ngôn ngữ lập trình bằng chứng STARK Cairo.

Đồng thời, họ cũng đang phải đối mặt với một số thách thức, chẳng hạn như zk-STARK hiện có độ khó kỹ thuật tương đối cao, tốc độ phát triển chậm và ít nhà phát triển, điều này đã gây ra nhiều khó khăn cho việc phát triển và duy trì các ứng dụng sinh thái. Sự ra đi của dYdX đã lấy đi phần lớn TVL trong dự án, bộc lộ tình trạng khó xử là cơ sở hạ tầng cơ bản không đủ khả năng ràng buộc cho các ứng dụng chất lượng cao cấp cao hơn, đồng thời cho mọi người thấy rằng các ứng dụng chất lượng cao có tiếng nói mạnh mẽ trong việc lựa chọn chuỗi bên dưới.

liên kết gốc

liên kết gốc

IOBC Capital
作者文库