StarkWare: Khám Phá Hành Trình Đổi Mới Của StarkEx Và StarkNet

StarkWare đã bắt đầu áp dụng công nghệ chứng minh tính hiệu lực STARK từ năm 2018 để giải quyết vấn đề khả năng mở rộng của Ethereum. Công ty đã ra mắt StarkEx dựa trên mô hình SaaS, tạo ra ngôn ngữ lập trình Cairo và xây dựng Starknet - mạng lưới phi tập trung sản xuất đầu tiên cho phép viết logic tùy chỉnh.

StarkWare cam kết vào việc chú trọng kép giữa công nghệ, toán học, đổi mới và việc giao sản phẩm; hỗ trợ các đội ngũ thúc đẩy Ethereum và công nghệ STARK; nỗ lực đạt được sản phẩm mã nguồn mở, phi tập trung và coi STARK là sản phẩm công cộng.

Trong tương lai, StarkWare sẽ nỗ lực phát triển Starknet thành một rollup hiệu lực phi tập trung không cần giấy phép được quản lý bởi Starknet Foundation, tập trung vào các thành phần khác nhau của Starknet phi tập trung, chẳng hạn như Prover, Sequencer và quản trị.

Công nghệ STARK dựa trên chứng minh tính toàn vẹn, sử dụng toán học để đảm bảo tính chính xác của các phép tính. Khái niệm này bắt nguồn từ một bài báo năm 1991, giới thiệu ý tưởng sử dụng một máy tính đáng tin cậy duy nhất để giám sát một nhóm siêu máy tính không đáng tin cậy. STARK là phiên bản cải tiến của công nghệ này, cho phép người dùng nhỏ lẻ xác thực hoạt động chính xác của các tổ chức lớn.

Giới thiệu về Công ty StarkWare

StarkWare là một trong những công ty hàng đầu trong lĩnh vực zk rollups, được đồng sáng lập bởi giáo sư Eli Ben-Sasson của Viện Công nghệ Israel (người đồng phát minh zk SNARK và zk STARK). Hiện tại, công ty đang phát triển hai sản phẩm: StarkEx và StarkNet.

Thành viên đội ngũ cốt lõi

• Eli Ben-Sasson: Đồng sáng lập và Giám đốc khoa học, Giáo sư khoa học máy tính tại Viện Công nghệ Israel, Nhà khoa học sáng lập Zcash, Người phát minh ra zkSNARKs.
• Alessandro Chiesa: Đồng sáng lập và Giám đốc Khoa học, Giáo sư 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 zk-SNARKs.
• Uri Kolodny: Đồng sáng lập và CEO, một doanh nhân liên tiếp dày dạn kinh nghiệm.
• Michael Riabzev: Đồng sáng lập và Kiến trúc sư trưởng, Tiến sĩ tại Viện Công nghệ Israel.
• Oren Katz: Phó tổng giám đốc kỹ thuật, kỹ sư kỳ cựu với 20 năm kinh nghiệm.

Tình hình tài chính

StarkWare hiện đang được định giá 8 tỷ USD, nhận được sự hỗ trợ từ các quỹ đầu tư nổi tiếng như Vitalik, Paradigm, Sequoia, là đội ngũ có định giá cao nhất trong lĩnh vực mở rộng quy mô.

StarkEx

StarkEx là một động cơ mở rộng Layer-2 chuyên 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 blockchain Layer-1. Nó sử dụng hệ thống chứng minh STARK để thực hiện các giao dịch nhanh chóng, chi phí thấp, đồng thời đảm bảo tính an toàn, quyền riêng tư và tự quản.

StarkEx cung cấp một loạt quy trình ứng dụng để thực hiện tính toán chuỗi ngoài với chi phí thấp, đóng 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.

StarkEx đã được áp dụng thành công cho nhiều dự án, như dYdX, Immutable, Sorare, DeversiFi và Celer.

Starknet

Starknet là một mạng lưới cuộn hiệu lực phi tập trung không cần phép (ZK-Rollup). Nó hoạt động như một mạng L2 trên Ethereum, cho phép bất kỳ dApp nào thực hiện tính toán mở rộng vô hạn mà không ảnh hưởng đến khả năng kết hợp và an toàn của Ethereum.

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. Cairo là một 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.

Cập nhật phiên bản

Starknet liên tục cập nhật phiên bản, chủ yếu bao gồm:

• Chuyển sang Cairo 1.0
• Cải tiến hiệu suất, bao gồm chuyển sang bộ sắp xếp âm thanh Rust
• Xử lý khả năng sẵn có dữ liệu ngoài chuỗi
• Giới thiệu thiết kế trừu tượng tài khoản

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 người dùng tùy chỉnh chức năng tài khoản. Các đặc điểm chính bao gồm:

• Trừu tượng hóa chữ ký
• Trừu tượng hóa chi phí
• Nonce trừu tượng hóa

Hợp đồng tài khoản Starknet phải bao gồm hai hàm là validate và execute.

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
• Quản lý

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

• 17% cho các nhà đầu tư StarkWare
• 32.9% cho các đóng góp chính
• 50.1% được cấp cho quỹ, dùng cho cung cấp cộng đồng, hoàn tiền, nghiên cứu phát triển, dự trữ chiến lược, v.v.

Mô hình kinh doanh

1. Bán dịch vụ động cơ công nghệ tùy chỉnh StarkEx
2. Xây dựng mạng Layer2 phi tập trung StarkNet, thu được giá trị thông qua phí giao dịch, MEV và kinh tế học token.