Starkware là gì?
Starkware là một Layer 2 trên hệ sinh thái Ethereum sử dụng công nghệ STARK phát minh bởi Eli-Ben Sasson. Dự án này được tạo ra để giải quyết những vấn đề trên Ethereum ví dụ như phí gas quá cao, tốc độ giao dịch, tắt nghẽn mạng lưới,… nhưng không làm mất đi tính bảo mật trên mạng chính.
Các sản phẩm nổi bật của Starkware
Starkware có các sản phẩm cốt lõi sau:
StarkNet
StarkNet là một bản tổng hợp Zero-Knowledge (ZK-Rollup). Nó dựa trên ngôn ngữ Turing-complete Cairo.
Starkware có ba tác nhân chính:
- Nhà phát triển: Các nhà phát triển có thể xây dựng các ứng dụng của riêng họ và triển khai chúng trên StarkNet.
- Người dùng: Người dùng có thể gửi các giao dịch đến StarkNet giống như họ tương tác với Ethereum.
- StarkNet Node: Các node và người tham gia của StarkNet sẽ được khuyến khích về kinh tế tiền điện tử để đảm bảo mạng hoạt động hiệu quả và công bằng.
Tất cả các giao dịch StarkNet sẽ được chia theo đợt định kỳ và tính hợp lệ của chúng sẽ được chứng minh trong STARK và được xác minh trên Ethereum.
Vì tất cả các chuyển đổi trạng thái StarkNet sẽ được STARK chứng minh, nên chỉ những chuyển đổi hợp lệ mới được chấp nhận trên Ethereum. Tất cả dữ liệu cần thiết để tạo lại trạng thái StarkNet đầy đủ sẽ được xuất bản trên chuỗi. Bất kỳ ai cũng có thể chạy StarkNet node của riêng họ.
Cairo
Cairo là một nền tảng để tạo các bằng chứng cho tính toán chung trong STARK. Tất cả các triển khai trên StarkNet được xây dựng bằng ngôn ngữ Turing-complete của Cairo, StarkWare để mở rộng các dApp sử dụng STARK.
SHARP (Shared Prover) là một công nghệ dựa trên Cario cho phép nhiều dApp bao gồm các tính toán của chúng trong một node duy nhất. Do đó, các dApp đó sẽ có thể chia sẻ giữa chúng với nhau chi phí gas xác minh bằng chứng. SHARP hiện được triển khai trên mạng thử nghiệm Ropsten của Ethereum với ngày ra mắt mạng chính dự kiến vào quý 2 năm 2021.
StarkEx
StarkEx là một công cụ mở rộng quy mô hỗ trợ chuyển tiền, giao dịch và đúc tiền. Nó đã hoạt động trên Ethereum kể từ tháng 6 năm 2020. StarkEx được hỗ trợ bởi phần lớn các ví Ethereum được sử dụng ngày nay. Bạn có thể tìm thấy danh sách đầy đủ các ví được hỗ trợ tại đây.
StarkEx có một số chế độ dữ liệu sẵn có. Ngoài Rollup (dữ liệu trên chuỗi) và Validium (dữ liệu ngoài chuỗi), StarkEx sẽ hỗ trợ Volition bắt đầu từ quý 3 năm 2021. Volition là một giải pháp kết hợp trong đó tính khả dụng của dữ liệu trở thành lựa chọn của người dùng ở cấp giao dịch đơn lẻ.
VeeDo
VeeDo là một dịch vụ cung cấp tính ngẫu nhiên dựa trên dịch vụ VDF dựa trên STARK. Các trường hợp sử dụng của VeeDo bao gồm:
- Tính ngẫu nhiên để chơi game, lựa chọn người dẫn đầu trong các giao thức PoS, v.v.
- Khóa thời gian cho các cuộc đấu giá thầu kín, hoán đổi công bằng và bảo vệ điều hành trước
Cách Starkware hoạt động
Để hiểu cách hoạt động của Starkware, trước tiên chúng ta cần khám phá cách hoạt động của công nghệ đằng sau hai sản phẩm chính của nó, đó là StarkEx và StarkNet.
StarkEx và StarkNet dựa trên ZK-STARKs và ZK-Rollups.
ZK-STARKs
ZK-STARKs cho phép người dùng chia sẻ và chứng minh tính xác thực của tính toán dữ liệu một cách công khai mà không tiết lộ nội dung của dữ liệu. Nó giống như việc cho phép các bên thứ ba xác minh thông tin ngân hàng của bạn mà không cần tiết lộ cho họ. ZK-STARK là một cải tiến của cái gọi là zk-snarks, vì sau này yêu cầu một bên thứ ba đáng tin cậy thiết lập hệ thống bằng chứng, do đó, để lại khả năng cho bên thứ ba đáng tin cậy đó xâm phạm quyền riêng tư của hệ thống.
Mặt khác, ZK-STARKs loại bỏ sự cần thiết của một bên thứ ba đáng tin cậy để thiết lập hệ thống bằng chứng, cho phép chia sẻ dữ liệu được phi tập trung và không đáng tin cậy.
Một trong những lợi ích của nó đối với các hệ thống blockchain bao gồm cải thiện khả năng mở rộng bằng cách tính toán các hợp đồng thông minh và lưu trữ ngoài chuỗi cho hệ thống STARK để tạo ra các bằng chứng với các hàm băm mật mã gọn gàng hơn. Các bằng chứng này sau đó sẽ được gửi trực tuyến đến mạng blockchain để xác minh – do đó, tăng tốc độ giao dịch và giảm chi phí cho người dùng.
ZK Rollups
ZK Rollups là giải pháp mở rộng được sử dụng bởi StarkEx để tăng lưu lượng và tốc độ trên mạng Ethereum. ZK Rollups tổng hợp hàng trăm giao dịch ngoài chuỗi thành một giao dịch duy nhất và tạo bằng chứng SNARK được đăng lên chuỗi chính để xác minh. Điều này làm giảm số lượng giao dịch đang được xử lý trên chuỗi chính Ethereum và do đó, giảm phí gas.
Tuy nhiên, ZK-Rollup được sử dụng trên Starkware tạo ra bằng chứng STARK thay vì SNARK được gửi đến chuỗi chính để xác thực.
Starkware Team
Eli Ben-Sasson: Là người đồng sáng lập và chủ tịch của StarkWare. Trong nhiều năm, Eli đã giữ các vị trí nghiên cứu tại Viện Nghiên cứu Cao cấp tại Princeton, Harvard và MIT. Eli là người đồng phát minh ra các giao thức STARK, FRI và Zerocash.
Uri Kolodny: Là đồng sáng lập và CEO tại StarkWare. Trước đây, Uri cũng từng là EIR với hai công ty VC của Israel và là nhà phân tích tại McKinsey.
Roadmap
Bước 1
StarkWare hoàn thành một số nền tảng quan trọng cho StarkNet.
Cairo là một khung và ngôn ngữ cấp cao hoàn chỉnh của Turing để khởi chạy các STARK tính toán chung. Thay vì tạo các AIR phức tạp theo cách thủ công, một nhà phát triển ứng dụng có thể sử dụng Cairo để xác định bất kỳ logic nghiệp vụ nào, đã được chứng minh ngoài chuỗi và đã được xác minh trên chuỗi. Cairo đang được sử dụng trên Mainnet và cũng có sẵn cho các nhà phát triển.
StarkWare sẽ ra mắt trên mạng thử nghiệm Ethereum công khai phiên bản Alpha của Dịch vụ Bằng chứng Chung (GPS) của Cairo. Điều này sẽ cho phép các nhà phát triển xây dựng các ứng dụng của riêng họ bằng Cairo, thực hiện bất kỳ logic nghiệp vụ nào họ muốn. Họ sẽ gửi mã Cairo của họ đến GPS để được xác minh, và sau đó được xác minh.
Cairo và GPS là nền tảng của StarkNet là nơi các nhà phát triển quyết định cho họ tiếp xúc sớm với công nghệ này, không chỉ để họ có thể bắt đầu xây dựng dựa trên nó mà còn có thể ảnh hưởng đến sự phát triển của StarkNet.
Bước 2
Bước này sẽ cho phép các nhà phát triển xây dựng và triển khai các ứng dụng có thể mở rộng của riêng họ trên StarkNet.
Mỗi phiên bản StarkNet sẽ có thể chạy một ứng dụng duy nhất. Các phiên bản khác nhau có thể chạy các ứng dụng khác nhau.
Khung StarkNet sẽ bao gồm những điều sau:
- Các cơ chế cần thiết để tạo bằng chứng STARK cho logic Cairo tùy ý, sau đó gửi và xác minh chúng trên Ethereum.
- Tương tác với Ethereum: Gửi và rút mã thông báo L1, xuất bản dữ liệu trên chuỗi, Cơ chế thoát bảo vệ người dùng StarkNet khỏi những kẻ khai thác StarkNet độc hại, v.v.
- Quản lý số dư người dùng layer 2 và lưu trữ và lưu trữ ứng dụng.
Các nhà phát triển sẽ có thể chỉ tập trung vào việc xây dựng logic kinh doanh của ứng dụng của họ và sau đó chuyển sang sản xuất, triển khai và chạy nó trên StarkNet.
Điều cho phép StarkWava xây dựng một ZK-Rollup có thể mở rộng chung là sự kết hợp của:
- Cairo, là một ngôn ngữ lập trình hoàn chỉnh Turing có mục đích chung
- Ngăn xếp STARK mạnh mẽ cho phép đóng gói các phép tính khổng lồ vào một node
Bước 3
Cairo, ngăn xếp STARK mạnh mẽ và GPS khuếch đại lợi thế cạnh tranh của StarkNet trong việc hỗ trợ tổng hợp đa ứng dụng.
Ở giai đoạn này, StarkNet sẽ là một khuôn khổ đầy đủ chức năng để chạy nhiều ứng dụng với bất kỳ logic nghiệp vụ tùy ý nào trên Ethereum, với mỗi phiên bản được điều hành bởi một nhà khai thác duy nhất.
Bước 4
Bước cuối cùng trong quá trình phát triển StarkNet là phân cấp các hoạt động của nó.
Partner và Backer
Dự án được đầu tư bởi nhiều tên tuổi nổi tiếng, trong số đó có Coinbase Ventures, Alameda research, ConsenSys Ventures, intel Capital ,,….
Lời kết
StarkWare đang xây dựng StarkNet, một L2 ZK-Rollup phi tập trung do STARK cung cấp trên Ethereum hỗ trợ máy tính thông thường dựa trên ngôn ngữ Cairo.
StarkNet sẽ cho phép các ứng dụng mở rộng quy mô mà không ảnh hưởng đến bảo mật, người dùng trả phí giao dịch hợp lý và toàn bộ hệ sinh thái sẽ phát triển đáng kể và thực hiện đúng như lời hứa của nó.
