Lớp-2 dự kiến sẽ là một phân khúc rất bùng nổ vào năm 2022. Nhiều dự án về giải pháp Lớp 2 đã được đưa ra và gây được tiếng vang lớn. StarkWare cũng là một trong những cái tên nổi bật.
Xem thêm: Dune Analytics là gì? Hướng dẫn sử dụng trang web phân tích dữ liệu On-chain Dune Analytics
StarkWare là gì?
StarkWare là một giải pháp Layer-2 được xây dựng và phát triển vào năm 2018, mục tiêu là mở rộng và khắc phục những điểm yếu của Ethereum.
Giải pháp của StarkWare được xây dựng dựa trên các bằng chứng ZK. Để hiểu sâu hơn về StarkWare, chúng ta cần tìm hiểu 2 thành phần của nó:
- StarkEx
- StarkNet
StarkEx và StarkNet đều cung cấp các giải pháp mở rộng quy mô cho Lớp 1 (Ethereum) thông qua công nghệ chống STARK. Điểm khác biệt là StarkEX sẽ là một công cụ điều chỉnh phù hợp cho từng dự án riêng lẻ (người dùng là các dự án), trong khi StarkNet sẽ là một mạng Layer-2 phi tập trung, cho phép các nhà phát triển xây dựng Dapp và cho phép người dùng tương tác trên đó.
Giải pháp của StarkWare
Rollup và ZK-Rollup
Để hiểu rõ hơn về cách hoạt động của StarkWare, chúng ta hãy nói lại về Rollup và ZK-Rollup.
Trước hết, Rollup là một giải pháp giúp “gói” hoặc “cuộn” các giao dịch sidechain thành một giao dịch duy nhất và tạo ra một bằng chứng mật mã, được gọi là SNARK. Chỉ bằng chứng này được gửi đến chuỗi chính (Lớp 1). Sidechain vẫn sẽ là một chuỗi blockchain độc lập, tương thích với Ethereum.
Rollup về cơ bản là một giải pháp để đưa việc xử lý và thực hiện các giao dịch trên sidechain (StarkEx). Blockchain chính (tức là Ethereum) chỉ phải lưu trữ dữ liệu giao dịch.
Trong Rollups, dựa vào cơ chế bảo mật, người ta tiếp tục chia nó thành 2 loại là ZK-Rollups và Optimistic Rollups.
- ZK-Rollups (Zero Knowledge Rollups): Các giao dịch sau khi được thực hiện trên sidechain sẽ được gửi trở lại Lớp-1 cùng với bằng chứng. Các giao dịch chỉ được xác nhận là đúng và hợp lệ khi bằng chứng này được xác thực.
- Bản tổng hợp lạc quan: Các giao dịch thực hiện trên sidechain, sau đó gửi trở lại Ethereum và được cho là ở trạng thái “chính xác”. Người xác nhận sẽ có quyền tranh chấp và khiếu nại về “tính đúng đắn” của giao dịch. Mỗi khi có yêu cầu, chuỗi sẽ kiểm tra, so sánh => và lặp lại cho đến khi hợp lệ.
Như vậy, bạn có thể hiểu một cách đơn giản để phân biệt hai loại trên: Đối với ZK-Rollup, dữ liệu chỉ “đúng” khi có bằng chứng đi kèm được xác nhận. Ngược lại, đối với Chủ nghĩa lạc quan, dữ liệu được mặc định là “đúng” cho đến khi được chứng minh là sai hoặc không hợp lệ.
Cũng vì tính năng bảo mật này mà 2 giải pháp trên đều có những ưu / nhược điểm riêng:
- ZK-Rollups: xử lý giao dịch nhanh hơn (chỉ cần xử lý bằng chứng kèm theo). Đổi lại, vì nó sử dụng SNARK (bằng chứng bảo mật riêng tư), vì vậy ZK-Rollup ít tương thích hơn và khó tích hợp với các dự án.
- Optimistic-Rollups: xử lý giao dịch lâu hơn (thường là 07 ngày, vì dữ liệu cần được đối chiếu nhiều lần). Đổi lại, Lạc quan sẽ dễ dàng tương tác và hòa nhập với dự án hơn.
Ngoài ZK-rollup, StarkEx cũng kết hợp một giải pháp mở rộng khác là Validium. Validium hoạt động với cơ chế xác thực giao dịch giống như ZK-Rollups, sử dụng Zero Knowledge. Sự khác biệt giữa Validum và ZK-Rollups là tính khả dụng của dữ liệu: đối với ZK-Rollups, dữ liệu có sẵn trên chuỗi, trong khi Validium là ngoài chuỗi.
Điều này sẽ tiếp tục giảm tải cho chuỗi chính, nhưng mang lại rủi ro bảo mật vì dữ liệu ngoài chuỗi không kế thừa bảo mật tốt nhất từ Lớp-1.
Các sản phẩm của Starkware
Starkware cung cấp một bộ sản phẩm cốt lõi bao gồm: Cairo, SHARP, VeeDo, StarkEx, StarkNet.
Cairo
Cairo là một kiến trúc CPU kết hợp với STARK, chúng cho phép tạo ra một proof system, nơi bạn mô tả việc tính toán bằng cách sử dụng Code thay vì dùng các lược đồ. Cairo ra mắt vào 7 năm 2020.
Một cách hiểu đơn giản hơn, Cairo là ngôn ngữ lập trình tính toán chung của Starkex & Starknet. Sau này tất cả các protocol & dapp xây dựng trên Starkex & Starknet đều sẽ sử dụng Cairo.
Nguồn: https://danchoitienao.com/starkware-la-gi/
SHARP
SHARP là một hệ thống cho phép thu thập một tập hợp các Cairo Programs (khác nhau) để tạo ra một proof cho tất cả chúng, sau đó đưa proof này lên Ethereum để nó được xác minh bởi một STARK verifier (một smart contract trên Ethereum).
Mục tiêu chung của SHARP là giảm phí gas xác minh proof. SHARP hiện được triển khai trên mạng trên Starkex.
VeeDo
VeeDo là tính năng trustless randomness có thể xác minh được nhờ công nghệ STARK (tạm dịch là xổ số không tin cậy), tính năng này tương tự VDF của Chainlink. Các trường hợp sử dụng của VeeDo bao gồm: xổ số để chơi game, lựa chọn người dẫn đầu trong các giao thức PoS,…
VeeDo hiện đã hoạt động trên mainnet.
Starknet & StarkEx
Starknet & StarkEx là giải pháp L2 Zk rollup cho Ethereum do Starkware xây dựng, chúng cho phép triển khai ở 2 chế độ như sau, hoặc kết hợp chúng với nhau (Volition):
- Chế độ ZK-Rollup: Xuất bản dữ liệu trên Ethereum.
- Chế độ Validium: Xác minh tính khả dụng của dữ liệu bằng một sidechain.
Hiện tại Starknet & StarkEx là hai hệ thống riêng biệt dựa trên cơ sở hạ tầng tương tự (STARK, Cairo & SHARP). Trong tương lai khi StarkNet hoạt động ổn định, các dự án của StarkEx sẽ có thể chọn chuyển sang StarkNet, và trở thành một dapp trên StarkNet.
Hiểu đơn giản, Starkex là một phiên bản của Starknet được tùy lại để phục vụ cho Trading (Specific L2), còn Starknet là một phiên bản đầy đủ – permissionless decentralized ZK-Rollup.
Cách hoạt động của StarkWare
Tất cả các giao dịch sẽ được gửi đến một bộ phận gọi là Dịch vụ StarkEx. Tại đây, Dịch vụ StarkEx sẽ phân loại và tổng hợp (một cách hợp lý) các giao dịch thành các đợt và gửi đến SHARP, đồng thời gửi trạng thái giao dịch tới hợp đồng StarkEx. SHARP sẽ có chức năng tạo Bằng chứng cho lô giao dịch (bằng ngôn ngữ Cairo) và gửi nó đến Người xác minh STARK (người xác nhận). Tại đây, những người xác minh sẽ xem xét tính hợp lệ và xác thực bằng chứng. Khi bằng chứng được xác thực, trạng thái giao dịch trên hợp đồng StarkEx sẽ được chấp nhận và thực hiện.
Với việc sử dụng đồng thời cả hai mô hình ZK-Rollup và Validium, StarkEx cho phép người dùng thực hiện các giao dịch trên cả off-chain và on-chain.
Do đó, các thành phần không thể thiếu của StarkEx bao gồm:
- Ứng dụng (off-chain): là nơi nhận yêu cầu từ người dùng off-chain, đồng thời xác định logic đơn hàng, các phương thức thực thi.
- StarkEx Service (off-chain): thực hiện phân phối, tổng hợp các tác vụ và cập nhật trạng thái của hệ thống.
- SHARP: dịch vụ cung cấp thông tin đăng nhập. Nó nhận các yêu cầu bằng chứng từ các ứng dụng khác nhau và xuất ra các bằng chứng để xác nhận các tác vụ.
- StarkEx Verifier (on-chain): chịu trách nhiệm kiểm tra tính hợp lệ của bằng chứng xác thực.
- Hợp đồng StarkEx (on-chain): cập nhật trạng thái của nhiệm vụ.
STARKs vs SNARKs
Nếu các Rollups truyền thống sử dụng bảo mật SNARK thì StarkWare đã tạo STARK như một phiên bản nâng cấp. STARK cho phép xác thực nhanh hơn, nhưng với chi phí cao hơn SNARK.
Cũng bởi vì sử dụng Stark, StarkWare cần một ngôn ngữ khác để cho phép các ứng dụng tương tác tốt hơn với loại bằng chứng bảo mật này , cụ thể là Cairo và Warp. Cairo là ngôn ngữ lập trình được xây dựng cho StarkWare, với khả năng mở rộng và hiệu suất khi tương tác với STARK tốt hơn so với Solidity. Tuy nhiên, StarkWare còn quá mới, trong khi hầu hết các ứng dụng đều đã quen với việc xây dựng bằng Solidity. Để giải quyết vấn đề này, StarkWare đã sử dụng Warp. Warp cho phép dễ dàng di chuyển từ EVM sang Cairo, bước đầu giải quyết vấn đề tương thích EVM cho StarkWare.
StarkEX và StarkNet
StarkEx
StarkEx là một giải pháp mở rộng quy mô trên Ethereum bằng cách sử dụng trình xác thực. StarkEx có thể hoạt động ở cả chế độ ZK-rollups và Validium.
StarkEx bắt đầu hoạt động từ 06/2020, được StarkWare hướng tới trở thành giải pháp cho các dự án khác. Thật vậy, StarkEx đã đạt được thành công khi hiện đang là giải pháp cho các dự án nổi tiếng khác như dYdX (sàn giao dịch tương lai), Sorare (NFT), Immutable X (giải pháp mở rộng cho sàn giao dịch). Dự án NFT), DeversiFi (sàn giao dịch phi tập trung).
Tuy nhiên, StarkEx chỉ là nơi để bắt đầu. Để xây dựng một hệ sinh thái hoàn chỉnh, StarkWare cần có StarkNet.
StarkNet
StarkNet được định hình là một giải pháp mở rộng ZK-Rollups phi tập trung, một mạng lớp 2 của Ethereum cho phép xây dựng và mở rộng DApp mà không có giới hạn trong khi vẫn đảm bảo tính bảo mật và khả năng. khả năng kết hợp của lớp gốc (Ethereum).
StarkNet sẽ tập trung phát triển vào 3 tính năng chính:
- Khả năng mở rộng và tính toàn vẹn: StarkNet sẽ hỗ trợ khả năng mở rộng trong khi duy trì tính bảo mật của Ethereum thông qua việc tạo ra các bằng chứng bảo mật được gọi là STARK off-chain (ngoài chuỗi) và sau đó xác thực chúng trên chuỗi.
- Khả năng xây dựng và phát triển: StarkNet cung cấp giải pháp cho các nhà phát triển sử dụng hợp đồng StarkNet, cho phép xây dựng và phát triển các hợp đồng thông minh một cách dễ dàng.
- Tính tổng hợp và khả năng tương tác: Ngoài việc xây dựng một giải pháp có thể mở rộng, StarkNet cho phép các hợp đồng thông minh được xây dựng trên mạng của nó tương tác và tổng hợp với mức độ cao (theo dự án, ở cấp độ Ethereum). .
Tóm lại, StarkNet sẽ là mạng chính của StarkWare. Khi StarkNet thành công, các dự án đang sử dụng StarkEX có thể đẩy trực tiếp dự án của họ lên StarkNet. StarkNet Alpha được ra mắt vào tháng 11 năm 2021.
Nhóm và nhà đầu tư
Đội
Nhà đầu tư
Cách tham gia dùng thử StarkNet và trải nghiệm một số dự án đang được xây dựng
Hiện tại, hệ sinh thái trên StarkNet còn khá non trẻ, chưa có quá nhiều dự án ra mắt chính thức. Đây cũng là cơ hội để bạn trải nghiệm, đánh giá mạng lưới, đánh giá dự án và được hồi tố trong tương lai.
Mạng thử nghiệm của StarkNet được gọi là StarkNet Goerli.
Để trải nghiệm StarkNet, bạn có thể làm theo các bước sau:
- Bước 1: Tải xuống ví Agent X StarkNet tại đây
- Bước 2: Kiểm tra mã thông báo Mint trong Wallet hoặc tại https://argentlabs.github.io/argent-x/
Trong trường hợp cần kiểm tra các khối và giao dịch, bạn có thể sử dụng Voyager hoặc ethtx.info
Sau khi bạn có ví và mã thông báo thử nghiệm, bạn có thể trải nghiệm một số dự án đang được xây dựng trên Starknet:
- MintSquare : Dapp để tạo và giao dịch NFT. Trải nghiệm NFT bạc hà tại
- Myswap : là một AMM được xây dựng trên StarkNet. Bạn có thể kết nối ví và thử thực hiện giao dịch, thêm pool tại đây.
- Suez : cầu nối đầu tiên trên StarkNet, giúp chuyển tài sản từ Ethereum sang StarkNet và ngược lại.
Ngoài ra, nếu bạn muốn thử xây dựng dự án, bạn có thể nghiên cứu Cairo tại đây.
Kết luận
StarkWare là một dự án được đầu tư mạnh vào công nghệ, sản phẩm, đội ngũ và marketing. Chính vì vậy, StarkWare được rất nhiều KOLs, các nhà đầu tư trong thế giới Crypto mong đợi. Cá nhân tôi cũng tin rằng đây sẽ là Layer-2 bùng nổ trong thời gian sắp tới.
Ở giai đoạn phát triển như thế này, StarkWare sẽ chứa rất nhiều cơ hội đầu tư hồi tố cho tất cả mọi người. Vì vậy, đừng quên theo dõi các động thái tiếp theo từ dự án và các dự án tiềm năng bản địa trên StarkNet.
