StarkWare: Khám phá con đường đổi mới của StarkEx và StarkNet

StarkWare là một trong những công ty hàng đầu trong lĩnh vực ZK-Rollup, được thành lập bởi Giáo sư Eli Ben-Sasson của Học viện Công nghệ Israel, đồng tác giả của ZK-SNARK và ZK-STARK, cung cấp các giải pháp dựa trên công nghệ STARK cho ngành công nghiệp blockchain. Công ty hiện đang phát triển hai sản phẩm chính: StarkEx và StarkNet.

StarkEx

StarkEx là một động cơ mở rộng Layer-2 cụ thể ứng dụng dựa trên Ethereum, nhằm giải quyết vấn đề khả năng mở rộng của mạng lưới blockchain Layer-1. Nó đạt được giao dịch nhanh chóng, chi phí thấp thông qua việc sử dụng hệ thống chứng minh STARK, đồng thời đảm bảo tính bảo mật, quyền riêng tư và tự quản lý.

StarkEx cung cấp một loạt các quy trình ứng dụng để thực hiện tính toán chuỗi ngoài rẻ tiền, gói nhiều giao dịch trong một chứng minh STARK, sau đó xác minh trên chuỗi, từ đó giảm chi phí nhiên liệu trung bình cho mỗi giao dịch. Nguyên lý hoạt động của nó bao gồm bốn bước: xử lý hàng loạt, xác minh và cập nhật, tạo chứng minh và xác minh trên chuỗi.

StarkEx đã được triển khai thành công trong nhiều ứng dụng như dYdX, Immutable, Sorare, DeversiFi và Celer.

StarkNet

StarkNet là một mạng lưới hiệu lực gập phi tập trung không cần giấy phép ( còn được gọi là "ZK-Rollup" ). Nó hoạt động như một mạng L2 trên Ethereum, cho phép bất kỳ dApp nào có thể thực hiện tính toán mở rộng vô hạn mà không ảnh hưởng đến tính khả tổ hợp và an toàn của Ethereum, điều này nhờ vào việc StarkNet dựa vào hệ thống chứng minh mã hóa an toàn và có khả năng mở rộng nhất là STARK.

Hợp đồng và hệ điều hành StarkNet được viết bằng Cairo - hỗ trợ triển khai và mở rộng bất kỳ trường hợp sử dụng nào, bất kể logic kinh doanh như thế nào. Là một giải pháp mạng lớp hai phi tập trung, StarkNet được thiết kế để cung cấp khả năng mở rộng và hiệu suất cao hơn cho dApp. Bằng cách chạy trên Ethereum, nó có thể tận dụng cơ sở hạ tầng và an ninh hiện có, đồng thời cung cấp khả năng tính toán cao hơn.

Cairo là ngôn ngữ lập trình được thiết kế đặc biệt cho StarkNet, nhằm đơn giản hóa việc phát triển và triển khai hợp đồng thông minh. Bằng cách sử dụng Cairo, các nhà phát triển có thể dễ dàng xây dựng các ứng dụng có khả năng mở rộng cao cho nhiều trường hợp sử dụng khác nhau, bao gồm tài chính, trò chơi, chuỗi cung ứng, v.v.

Trừu tượng hóa tài khoản

StarkNet áp dụng thiết kế trừu tượng hóa tài khoản, cho phép linh hoạt hơn trong việc quản lý tài khoản. Người dùng có thể lập trình các chức năng của tài khoản thông qua hợp đồng tài khoản, ví dụ:

• Xác định ý nghĩa của chữ ký hợp lệ, hoặc tài khoản được phép tương tác với những hợp đồng nào
• Thanh toán phí giao dịch bằng các token khác nhau
• Thiết kế cơ chế bảo vệ tái phát tùy chỉnh, cho phép gửi nhiều giao dịch không liên quan song song.

Hợp đồng tài khoản StarkNet phải bao gồm hai hàm validate và execute, để đảm bảo chỉ có chủ sở hữu tài khoản mới có thể khởi xướng giao dịch và tính phí cho các tài nguyên được sử dụng.

Kinh tế học token

Chức năng chính của token StarkNet bao gồm:

• Thanh toán phí giao dịch
• Đặt cọc để tham gia dịch vụ mạng
• Quản trị mạng

Tổng cung là 10 tỷ token, phân bổ ban đầu như sau:

• 17% phân bổ cho các nhà đầu tư StarkWare
• 32,9% phân bổ cho các nhà đóng góp cốt lõi ( StarkWare và nhân viên, cố vấn và đối tác phát triển của họ )
• 50.1% được cấp cho Quỹ StarkNet, được sử dụng cho phần thưởng cộng đồng, tài trợ nghiên cứu và phát triển, xây dựng hệ sinh thái, v.v.

Tất cả các token được phân bổ cho những người đóng góp cốt lõi và nhà đầu tư sẽ chịu một thời gian khóa 4 năm, với việc phát hành tuyến tính có 1 năm vách đá.

Mô hình kinh doanh

Mô hình kinh doanh của StarkWare chủ yếu bao gồm hai khía cạnh:

1. Bán dịch vụ động cơ công nghệ tùy chỉnh StarkEx, thu phí dịch vụ trực tiếp từ khách hàng có nhu cầu mở rộng.

2. Xây dựng mạng lưới Layer2 phi tập trung StarkNet, thông qua việc thu phí giao dịch, thu được giá trị MEV, phát hành token và các phương thức khác để thực hiện việc thu giá trị.