StarkEx là một bộ mở rộng lớp 2 hoạt động trên mạng chính ETH, được phát triển bởi StarkWare và được thiết kế đặc biệt cho sàn giao dịch tiền điện tử. Nó cho phép sàn giao dịch thực hiện giao dịch phi quản lý với chi phí thấp hơn và thanh khoản cao hơn. Hiện tại, StarkEx hỗ trợ Ether, ERC-20 và ERC-721 Token và có thể dễ dàng tương thích với các Token chuỗi Khối tương thích EVM khác.
Giới thiệu về StarkEx
StarkEx là một khung nhằm hỗ trợ phát triển các ứng dụng đặc thù và giải pháp mở rộng được cấp phép. Đây là một hệ thống mở rộng, được thiết kế đặc biệt để đáp ứng các yêu cầu độc đáo của ứng dụng, đặc biệt là trong lĩnh vực trò chơi và Tài chính phi tập trung. StarkEx là một công cụ mở rộng lớp 2 trên mạng chính ETH, được tối ưu hóa cho các ứng dụng Dapp cụ thể được cấp phép. Các dự án như dYdX, ImmutableX, DeversiFi đều sử dụng StarkEx để triển khai ý tưởng của họ, chủ yếu tập trung vào ứng dụng giao dịch. Hầu hết các giao thức đều được xây dựng trên lớp 2 cụ thể này, nó chịu trách nhiệm tạo ra khối lượng thực tế và thực hiện giao dịch. StarkEx cung cấp khả năng giao dịch không trông coi có khả năng mở rộng cho các sàn giao dịch tiền điện tử bằng cách áp dụng công nghệ chứng minh không kiến thức STARK.
Nền tảng StarkEx
StarkEx là một nền tảng đã phát triển, hoạt động trên mạng chính ETH từ tháng 6 năm 2020 và sử dụng mô hình kinh doanh Phần mềm dưới dạng Dịch vụ (SaaS). Đây là sản phẩm của Starkware, một công ty ZK-rollup thành lập vào năm 2018 bởi Eli Ben-Sasson, Michael Riabzev, Uri Kolodny và Alessandro Chiesa. Eli là người đồng sáng lập STARK, FRI và Zerocash, cũng là nhà khoa học sáng lập của Zcash. Từ khi nhận bằng Tiến sĩ Cơ học máy tính lý thuyết tại Đại học Hebrew vào năm 2001, anh đã nghiên cứu mật mã và zk-SNARKs.
Uri Kolodny là một nhà khởi nghiệp liên tục, từng là đồng sáng lập nhiều công ty công nghệ như OmniGuide và Mondria. Michael là một trong những người sáng lập StarkWare, chịu trách nhiệm phát triển và triển khai hệ thống zk-STARK cho tính toàn vẹn của tính toán không kiến thức. Alessandro cũng là một trong những người sáng lập StarkWare, tham gia phát minh giao thức Zerocash và viết Libsnark, một công cụ chứng minh không kiến thức mã nguồn mở hàng đầu.
Starkware đang dẫn đầu trong lĩnh vực thiết kế rollup dựa trên kiến thức không. Các ứng dụng triển khai trên StarkEx bao gồm dYdX (giao dịch vĩnh viễn), Immutable và Sorare (đang đúc và giao dịch Token không thể thay thế), DeversiFi (giao dịch giao ngay) và Celer (hồ DeFi). Trước khi triển khai chính thức trên Mạng chính, StarkEx đã xử lý hơn 50 triệu giao dịch trên các mạng kiểm tra ETH công cộng và riêng tư.
Các sản phẩm của Starkware: StarEx, StarkNet và ZK-STARK
STARK (Hệ thống chứng minh có thể mở rộng) là một hệ thống chứng minh được thiết kế để hỗ trợ xác minh và xác nhận của tính toán. Nó có thể xử lý các tính toán phức tạp, tạo ra chứng minh về tính chính xác của kết quả tính toán và hoàn thành việc xác minh chứng minh trong vài bước. StarkWare cung cấp hai giải pháp mở rộng dựa trên STARK cho ETH: StarkEx và StarkNet.
StarkEx
StarkEx là một giải pháp mở rộng ETH đặc biệt được thiết kế cho các ứng dụng cụ thể, nhằm giảm chi phí và tăng tốc độ giao dịch tích hợp DApp. Đội ngũ StarkWare chịu trách nhiệm quản lý StarkEx, nền tảng này đã được ra mắt vào tháng 6 năm 2020 trên Mạng chính. StarkEx tăng cường hiệu suất của ETH bằng cách kết hợp nhiều giao dịch thành một Khối duy nhất. Nó sử dụng công nghệ gọi là zero-knowledge rollup, cung cấp bằng chứng toán học để chứng minh tính hiệu quả của giao dịch. Tốc độ xử lý giao dịch của StarkEx có thể đạt từ 15.000 đến 50.000 giao dịch mỗi giây (tps) tùy theo yêu cầu của ứng dụng cụ thể.
StarkNet
Đội ngũ StarkWare còn phát triển StarkNet, nền tảng này đã ra mắt mạng chính alpha vào tháng 11 năm 2021. Khác với StarkEx, StarkNet không được giám sát trực tiếp bởi đội ngũ StarkWare. StarkNet là một giải pháp mở rộng lớp hai của ETH không tập trung, tương tự như các mạng công cộng khác của ETH và không cần bất kỳ sự cho phép nào.
Thông qua công nghệ zero-knowledge (zk), StarkNet đã cải thiện trải nghiệm người dùng trên ETH và Thả chi phí sử dụng. StarkNet sử dụng một ngôn ngữ lập trình cục bộ có tên là Cairo. Một đặc điểm quan trọng của giao thức này là sự hỗ trợ cho việc trừu tượng hóa tài khoản, cho phép người dùng quản lý tài khoản của họ thông qua hợp đồng thông minh. Hiện nay, Tổng giá trị đã khóa (TVL) của hệ sinh thái StarkNet là 2.5195 tỷ đô la.
StarkEx và StarkNet
StarkEx và StarkNet đều là các giải pháp mở rộng dựa trên công nghệ STARK. Cả hai đều cung cấp tính mở rộng, phí gas thấp và an toàn, nhưng khác nhau về chế độ tương tác và yêu cầu vận hành. StarkEx có thể phù hợp hơn với các ứng dụng chủ yếu tự chứa và tương thích với API do StarkEx cung cấp. Trong khi đó, StarkNet có thể phù hợp hơn với những yêu cầu cần tương tác đồng bộ với các giao thức khác hoặc yêu cầu của họ vượt quá phạm vi của giao thức của StarkEx.
Khác với StarkEx, trong StarkEx, ứng dụng chịu trách nhiệm gửi giao dịch, trong khi trong StarkNet, bộ sắp xếp sẽ xử lý giao dịch theo lô và gửi chúng để xử lý và xác minh. (Hiện tại StarkWare chịu trách nhiệm vận hành bộ sắp xếp của StarkNet để tiến tới việc triển khai Phi tập trung trong tương lai.) StarkNet hỗ trợ mô hình khả dụng dữ liệu rollup, tức là ghi trạng thái của rollup cùng với chứng minh STARK vào Ethereum.
Tính năng StarkEx
StarkEx cung cấp một giải pháp mở rộng với nhiều tính năng và lợi ích như khả năng xử lý cao, phí gas thấp, độ an toàn tương đương với Ethereum, tự quản lý và tích hợp nhanh chóng. StarkEx cho phép hợp đồng thông minh thực thi logic tùy ý cho các trường hợp sử dụng cụ thể như giao dịch và Token không thể thay thế.
Khả dụng dữ liệu: Rollup và Validium
Tính năng này cho phép thực hiện giao dịch trên Sidechain (như StarkEx) thay vì thực hiện trên on-chain như Rollup lạc quan, tuân theo giao thức Validium. ZK Rollup đã rút ngắn đáng kể thời gian cầu giữa L1 và L2, từ một tuần xuống còn vài phút.
Ý chí
StarkEx không hạn chế người dùng sử dụng các tùy chọn khả dụng về dữ liệu cụ thể, người dùng có thể tùy chọn giữa Rollups và Validium theo nhu cầu bảo mật và phí gas của riêng mình để thực hiện giao dịch theo yêu cầu.
Mở rộng quy mô lớn
Tiềm năng mở rộng lớn của StarkEx xuất phát từ sự phân bổ tính toán không đối xứng giữa Offline Proofers và Người xác thực trên chuỗi. Offline Proofers đảm nhận việc xử lý các lô giao dịch lớn và tạo ra chứng minh STARK, trong khi Người xác thực trên chuỗi đánh giá chứng minh STARK thông qua một loạt các chương trình tính toán. Điều này cho phép mở rộng offline quy mô lớn trở thành điều khả thi, có thể thực hiện nhiều tính toán và duy trì tính toàn vẹn với yêu cầu xử lý thấp nhất trên chuỗi.
Tự quản lý
StarkEx hỗ trợ ứng dụng Phi tập trung tự quản lý, sử dụng công nghệ chống kiểm duyệt tiên tiến để đảm bảo tài sản của người dùng luôn nằm trong tay họ.
ZK-STARK
ZK-STARK là viết tắt của 'Ẩn dấu chứng minh kiến thức mở rộng không biết gì'. StarkWare đã phát triển ZK-STARKs, sử dụng đại số hiện đại và chứng minh mật mã mới để bảo vệ sự riêng tư và tính toàn vẹn của việc tính toán trong Khối. ZK-STARK cho phép Khối gửi nhiệm vụ tính toán cho một bên chứng minh STARK ngoại lệ duy nhất, sau đó bên chứng minh này được xác minh tính toàn vẹn của các tính toán thông qua bên xác minh STARK on-chain.
Những yếu tố này cùng với những yếu tố liên quan khác cùng quyết định hiệu suất và tốc độ hoạt động của zk-STARK. Tài nguyên tính toán và thời gian cần thiết để tạo ra bằng chứng của Người xác thực được gọi là độ phức tạp của Người xác thực, trong khi độ phức tạp của bằng chứng xác nhận của Người xác thực là thời gian và tài nguyên cần thiết. Độ phức tạp giao tiếp chỉ đề cập đến lượng dữ liệu trao đổi giữa Người xác thực và Người xác thực trong quá trình xác minh bằng chứng. ZK-STARK nhằm mục tiêu đơn giản hóa quá trình giao tiếp này.
Tính minh bạch
ZK-STARK sử dụng tham số công khai có thể xác minh để tạo ra ngẫu nhiên các tham số công cộng, giảm sự phụ thuộc vào trung tâm và tăng tính minh bạch. ZK-STARK sử dụng tính ngẫu nhiên có thể xác minh để tạo ra các tham số cần thiết cho hệ thống chứng minh, loại bỏ nhu cầu cho giai đoạn chuẩn bị tin cậy. Điều này làm cho hệ thống trở nên minh bạch hơn, đồng thời loại bỏ rủi ro do sự tấn công vào người tham gia.
Bảo mật sau lượng tử
Tính toán lượng tử là một mô hình hoàn toàn mới trong việc xử lý thông tin bằng cách sử dụng nguyên lý Cơ học lượng tử, phương pháp này không thể được thực hiện bởi máy tính cổ điển, đây được gọi là an ninh sau lượng tử. Máy tính lượng tử có thể thực hiện một số loại tính toán cụ thể với tốc độ mũ, vượt xa khả năng của máy tính cổ điển. zkSTARK được thiết kế để chống lại các cuộc tấn công từ Máy tính lượng tử, những cuộc tấn công này có thể phá vỡ một số giải pháp mật mã, do đó zkSTARK cung cấp một giải pháp bảo vệ hiệu quả hơn để đối phó với sự tiến bộ của công nghệ Tính toán lượng tử.
STRKToken là gì?
STRK được sử dụng làm cơ chế thanh toán phí, hỗ trợ vận hành, bảo trì và an ninh của mạng thông qua việc cho phép thế chấp để thực hiện Nhận thức chung và thông qua việc bỏ phiếu quản trị giá trị và mục tiêu kỹ thuật của Starknet.
Ban đầu, phí Starknet chỉ được thanh toán thông qua Ether (ETH), STRK được sử dụng làm phí giao dịch. Hiện tại, STRK và ETH là cách thanh toán phí của mạng Rửa tiền. Bộ sắp xếp nhận sẽ chuyển đổi một phần phí thanh toán bằng STRK thành ETH để bao gồm chi phí gas của Ethereum L1, những chi phí này phải được thanh toán bằng ETH theo quy định của giao thức Ethereum.
Với sự giới thiệu của cơ chế thế chấp, người dùng có thể thế chấp STRKToken của họ để hỗ trợ hoạt động mạng và nhận phần thưởng. Để đảm bảo tính hiệu quả của thế chấp, một số dịch vụ quan trọng đối với tính an toàn và chức năng của Starknet cần thế chấp STRK. Trước tính cuối cùng của L1, có thể có nhiều nhà cung cấp chịu trách nhiệm về sắp xếp, tính khả dụng của dữ liệu, dịch vụ chứng minh STARK và Nhận thức chung tạm thời của L2.
Để tăng cường Starknet, có thể cần thiết lập ngưỡng hỗ trợ Token tối thiểu. Việc bỏ phiếu, cả là bỏ phiếu trực tiếp hay thông qua ủy quyền, đều là cần thiết để thực hiện các thay đổi quan trọng liên quan đến tính bảo mật, tính năng và bảo trì của giao thức.
Tài trợ và nhà đầu tư
StarkNet đã thu hút 33 nhà đầu tư, trong đó Sequoia Capital và Paradigm là nhà đầu tư chính. Các nhà đầu tư nổi tiếng khác bao gồm Tiger Global, Greenoaks, Coatue, Multicoin Capital, Vitalik Buterin, ConsenSys và Polychain Capital. Cho đến nay, StarkNet đã gọi vốn hơn 250 triệu đô la. Vào tháng 5 năm 2022, công ty này đã thành công trong việc huy động 100 triệu đô la, nâng giá trị công ty từ 20 tỷ đô la lên 80 tỷ đô la. Sequoia Capital dẫn đầu vòng đầu tư này, trong khi vào tháng 11 năm 2021, Alameda Research và Founders Fund dẫn đầu vòng đầu tư C trị giá 50 triệu đô la. Ngày 24 tháng 3 năm 2021, DVCV và Wing VC đã dẫn đầu vòng đầu tư B trị giá 75 triệu đô la cho StarkNet. StarkNet đã huy động 30 triệu đô la trong vòng đầu tư A vào tháng 9 năm 2018, do Paradigm dẫn đầu.
Phân phối và cung cấp
StarkWare đã đầu tư lần đầu 100 tỷ StarknetToken vào tháng 5 năm 2022 và đúc trên chuỗi vào ngày 30 tháng 11 năm 2022. Cách phân phối của 100 tỷ Token hiện có đã hoặc dự kiến như sau:
Tất cả Token được phân phối cho nhà đầu tư và người đóng góp sớm sẽ tuân theo kế hoạch Vị thế bị khóa dưới đây, với tỷ lệ dựa trên tổng nguồn cung Token để đảm bảo động lực lâu dài phù hợp với lợi ích của cộng đồng Starknet.
Từ ngày 15 tháng 4 năm 2024, mỗi tháng 15 sẽ mở khóa tối đa 0.64% (6400 vạn Token), đến ngày 15 tháng 3 năm 2025, tổng cộng mở khóa 7.68% (7.68 tỷ Token).
Từ ngày 15 tháng 4 năm 2025, mỗi tháng vào ngày 15 sẽ mở khóa tối đa 1,27% (1,27 tỷ Token), cho đến ngày 15 tháng 3 năm 2027, tổng cộng mở khóa 30,48% (30,48 tỷ Token).
Nguyên lý hoạt động của StarkEx
StarkEx là một công cụ mở rộng được thiết kế đặc biệt để đáp ứng các nhu cầu độc đáo của các ứng dụng (như trò chơi và Tài chính phi tập trung). Có hai cách chính để triển khai giải pháp lớp hai: ZK-Rollup và khả năng sẵn có của Validium. Khi StarkEx hoạt động ở chế độ "rollup", Ethereum sẽ được cập nhật để phản ánh sự thay đổi trong số dư của người dùng. Dữ liệu sau đó được công bố theo chế độ "validium" đến Ủy ban Khả dụng Dữ liệu (DAC), một nhóm được hình thành bởi các nhà quản lý đáng tin cậy. Hệ thống này bao gồm các thành phần bên ngoài và thành phần on-chain. Các thành phần bên ngoài hoặc off-chain chịu trách nhiệm duy trì trạng thái, thực hiện giao dịch và truyền cập nhật trạng thái đến các thành phần on-chain. Ngoài ra, chúng cũng chịu trách nhiệm quản lý trạng thái và tài sản của hệ thống cũng như xác nhận việc chuyển giao. Chương trình được áp dụng bởi StarkEx như sau:
Xác minh
Nhà cung cấp dịch vụ (như sàn giao dịch) chịu trách nhiệm xử lý giao dịch người dùng gửi đến dịch vụ StarkEx. Xác minh giao dịch của StarkEx được chia thành hai giai đoạn: xác minh tuần tự và xác minh không trạng thái song song, bao gồm kiểm tra phạm vi và định dạng giá trị. Đối với tối đa 1000 giao dịch được gửi song song, thời gian trễ phản hồi thường là 100-200ms.
Một khi cổng đã xác nhận giao dịch đã được xác minh sơ bộ, người dùng có thể yên tâm rằng giao dịch sẽ được thực hiện và giao dịch đã hoàn tất. Người dùng có thể hiển thị giao dịch đó toàn bộ trên giao diện ứng dụng mà không cần đợi xác nhận cuối cùng trên chuỗi.
Xử lý hàng loạt
StarkEx sẽ xác minh và xử lý đồng thời tất cả các giao dịch theo các tiêu chuẩn phức tạp hơn. Do nguyên nhân của giao dịch thường quyết định tính hợp lệ của nó, vì vậy giai đoạn xác minh này được thực hiện theo thứ tự, chứ không đồng thời. Mỗi giao dịch được xác minh sẽ được StarkEx phân nhóm vào một lô và cập nhật số dư tương ứng. Thời gian trễ quan sát được trong giai đoạn xác minh này có thể là từ vài phút đến tối đa bốn giờ, tùy thuộc vào thời gian giao dịch được đưa vào, có phải là ở đầu hay cuối hàng đợi.
Tạo chứng chỉ
Dịch vụ StarkEx sẽ tạo ra một chứng minh STARK, chứng minh tính hợp lệ của giao dịch trong lô và tải lên on-chain sau khi xử lý các giao dịch theo lô.
Xác minh on-chain
Sau khi xác minh hợp đồng thông minh trên on-chain và tạo giao dịch bằng chứng hợp lệ trên on-chain, nó sẽ nhận được chứng chỉ STARK. Sau khi xác minh thành công, cam kết trạng thái số dư mới sẽ được lưu trữ trên on-chain.
Ứng dụng StarkEx và khả năng truy xuất dữ liệu
StarkEx cung cấp cho các nhà phát triển các công cụ để tích hợp StarkEx của họ vào ứng dụng. Nhiều bên tham gia nổi tiếng (như Sorare, Dydx, Immutable X, Opera và DeversiFi) đều đang sử dụng StarkEx. Khi các nhà phát triển bắt đầu sử dụng StarkEx, họ sẽ nhận được hợp đồng L1 StarkEx của riêng mình và một phiên bản StarkEx trên mạng thử nghiệm. Tuy nhiên, điều người dùng cần chú ý là nếu ứng dụng gặp vấn đề, họ có thể rút tiền của mình bất cứ lúc nào và họ giữ quyền kiểm soát vốn của mình.
Vì vậy, StarkEx cung cấp hai phương pháp khác nhau để triển khai giải pháp lớp hai: ZK-Rollup hoặc khả năng sẵn có của dữ liệu Validium. Ứng dụng StarkEx phải duy trì tính sẵn có liên tục của dữ liệu người dùng để đảm bảo tự bảo quản, dự phòng và không tin cậy. Việc lưu trữ khả dụng của dữ liệu đảm bảo rằng trạng thái được lưu trữ trong hộp tự bảo quản của người dùng hoàn toàn đồng bộ với trạng thái được duy trì bởi StarkEx, đồng thời cây số dư đầy đủ luôn sẵn sàng truy cập, điều này cho phép người dùng xác minh tình trạng bảo quản tài sản của họ khi StarkEx ngừng hoạt động.
Mô hình sẵn có của dữ liệu
StarkEx hỗ trợ hai chế độ khả dụng dữ liệu: ZK-Rollup và Validium, cả hai chế độ này đều được hỗ trợ bởi StarkEx Perpetual và StarkEx Spot. Chế độ Volition cho phép sử dụng các hộp giữ hàng ZK-Rollup và Validium cùng lúc trong ứng dụng, giúp người dùng chọn phạm vi hộp giữ hàng phù hợp với từng tài sản mà họ sở hữu và hỗ trợ lưu trữ dữ liệu. Tuy nhiên, tính phổ biến của chế độ Volition không như chế độ trước đó, vì nó chỉ được hỗ trợ độc quyền bởi StarkEx Spot.
Tổng hợp kiến thức không tiết lộ
ZK-Rollups sử dụng công nghệ mật mã và toán học tiên tiến được gọi là “Bằng chứng không kiến thức” để xác minh tính hợp lệ của mỗi giao dịch. ZK-rollups là một giải pháp mở rộng của Ethereum mà người ủng hộ tính Phi tập trung và an toàn yêu thích. StarkEx và zkSync là các đại diện cho giải pháp lớp 2 sử dụng ZK-Rollups. Trong ZK-Rollup của StarkEx, chương trình Cairo đảm bảo dữ liệu cần thiết để xây dựng cây Merkle cân bằng L2 được truyền bá trên on-chain dưới dạng calldata.
Trong quá trình ZK-rollup, nhà điều hành sẽ tạo ra bằng chứng hợp lệ (SNARK hoặc STARK) cho rễ trạng thái. Điều này chứng minh cho hợp đồng thông minh trên ETH rằng rễ trạng thái nhận được là từ một tập hợp giao dịch hợp lệ, từ đó ngăn chặn nhà điều hành gửi rễ trạng thái không hợp lệ. ZK-rollups sử dụng hai loại bằng chứng hợp lệ: SNARK và STARK. ZK Sync, Scroll và Polygon ZkEVM sử dụng SNARK, trong khi StarkNet và StarkEx sử dụng STARK.
ZK-Rollup hoạt động mà không cần tin cậy, tất cả dữ liệu cần thiết để khôi phục quỹ người dùng trong trường hợp thoát hiểm có thể được truy cập on-chain một cách minh bạch. Tuy nhiên, một điểm yếu của mô hình này là mỗi lần thay đổi trong hộp lưu trữ được thực hiện trong một lô sẽ tạo ra chi phí gas. Trong các lô mà nhiều hộp lưu trữ đã thay đổi trạng thái, chi phí của sự cập nhật trạng thái chủ yếu phụ thuộc vào tính sẵn có của dữ liệu, chứ không phải là việc xác minh chứng minh.
Validium
Validium là một mô hình khả dụng dữ liệu khác. Trong mô hình này, sử dụng các chứng chỉ mật mã để đảm bảo tính chính xác của tính toán. Trong hộp đựng Validium, số dư của người dùng sẽ không được công khai on-chain, mà sẽ được gửi đến nhiều thực thể uy tín và đáng tin cậy, chẳng hạn như các thành viên của Ủy ban Khả dụng dữ liệu (DAC). Chỉ khi các thành viên của ủy ban đạt đủ số người được quy định và hỗ trợ cho cập nhật trạng thái này, trạng thái số dư được phản ánh của tất cả các tài khoản khách hàng sau khi giao dịch được xử lý sẽ được coi là hợp lệ và ghi lại trên on-chain. Họ sẽ chính thức xác nhận rằng họ hiểu tất cả các số dư được cập nhật trong hộp đựng và Người xác thực đã phê duyệt trạng thái mới.
Khác với ZK-rollups cần phải trả phí gas, Validium không yêu cầu thanh toán on-chain cho dữ liệu. Trong quá trình cập nhật trạng thái on-chain, phần lớn phí gas được sử dụng cho xác minh chứng thực. Thông tin số dư của người dùng được một ủy ban thực thể đáng tin cậy duy trì ở trạng thái off-chain thay vì on-chain. Nhược điểm của tùy chọn này là cần tin tưởng vào thành viên của ủy ban.
Về Hội đồng Khả dụng Dữ liệu (Chỉ áp dụng cho Validium)
Hội đồng sẵn sàng dữ liệu (DAC) là một tập thể được hình thành bởi nhiều cá nhân hoặc tổ chức. Các thành viên DAC cam kết cung cấp lưu trữ dữ liệu dự phòng và không tin cậy cho ứng dụng dựa trên StarkEx, đảm bảo rằng dữ liệu luôn sẵn có. Các thành viên DAC là bên thứ ba độc lập, họ đồng ý nhận và duy trì mỗi cập nhật trạng thái thay mặt cho người điều hành. Nếu người điều hành (hoặc StarkWare) gặp tình trạng ngoại tuyến, các thành viên DAC cam kết sẽ phát hành cập nhật trạng thái lên on-chain, đảm bảo người dùng có thể tiếp tục truy cập vào tài chính của họ, điều này rất quan trọng đối với việc tự bảo quản. Các thành viên của DAC bao gồm Consensys, Chainstack, StarkWare và nhiều thực thể nổi tiếng khác.
Kết luận
StarkEx là một loạt các công cụ quan trọng mà dự án có thể sử dụng để thực hiện tính toán ngoại xế hiệu quả. Giải pháp lớp hai này cung cấp tính mở rộng tốt, chi phí gas Thả và an toàn, nhưng cũng có yêu cầu vận hành độc đáo và khung tương tác độc đáo của nó.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
StarkEx là gì?
StarkEx là một bộ mở rộng lớp 2 hoạt động trên mạng chính ETH, được phát triển bởi StarkWare và được thiết kế đặc biệt cho sàn giao dịch tiền điện tử. Nó cho phép sàn giao dịch thực hiện giao dịch phi quản lý với chi phí thấp hơn và thanh khoản cao hơn. Hiện tại, StarkEx hỗ trợ Ether, ERC-20 và ERC-721 Token và có thể dễ dàng tương thích với các Token chuỗi Khối tương thích EVM khác.
Giới thiệu về StarkEx
StarkEx là một khung nhằm hỗ trợ phát triển các ứng dụng đặc thù và giải pháp mở rộng được cấp phép. Đây là một hệ thống mở rộng, được thiết kế đặc biệt để đáp ứng các yêu cầu độc đáo của ứng dụng, đặc biệt là trong lĩnh vực trò chơi và Tài chính phi tập trung. StarkEx là một công cụ mở rộng lớp 2 trên mạng chính ETH, được tối ưu hóa cho các ứng dụng Dapp cụ thể được cấp phép. Các dự án như dYdX, ImmutableX, DeversiFi đều sử dụng StarkEx để triển khai ý tưởng của họ, chủ yếu tập trung vào ứng dụng giao dịch. Hầu hết các giao thức đều được xây dựng trên lớp 2 cụ thể này, nó chịu trách nhiệm tạo ra khối lượng thực tế và thực hiện giao dịch. StarkEx cung cấp khả năng giao dịch không trông coi có khả năng mở rộng cho các sàn giao dịch tiền điện tử bằng cách áp dụng công nghệ chứng minh không kiến thức STARK.
Nền tảng StarkEx
StarkEx là một nền tảng đã phát triển, hoạt động trên mạng chính ETH từ tháng 6 năm 2020 và sử dụng mô hình kinh doanh Phần mềm dưới dạng Dịch vụ (SaaS). Đây là sản phẩm của Starkware, một công ty ZK-rollup thành lập vào năm 2018 bởi Eli Ben-Sasson, Michael Riabzev, Uri Kolodny và Alessandro Chiesa. Eli là người đồng sáng lập STARK, FRI và Zerocash, cũng là nhà khoa học sáng lập của Zcash. Từ khi nhận bằng Tiến sĩ Cơ học máy tính lý thuyết tại Đại học Hebrew vào năm 2001, anh đã nghiên cứu mật mã và zk-SNARKs.
Uri Kolodny là một nhà khởi nghiệp liên tục, từng là đồng sáng lập nhiều công ty công nghệ như OmniGuide và Mondria. Michael là một trong những người sáng lập StarkWare, chịu trách nhiệm phát triển và triển khai hệ thống zk-STARK cho tính toàn vẹn của tính toán không kiến thức. Alessandro cũng là một trong những người sáng lập StarkWare, tham gia phát minh giao thức Zerocash và viết Libsnark, một công cụ chứng minh không kiến thức mã nguồn mở hàng đầu.
Starkware đang dẫn đầu trong lĩnh vực thiết kế rollup dựa trên kiến thức không. Các ứng dụng triển khai trên StarkEx bao gồm dYdX (giao dịch vĩnh viễn), Immutable và Sorare (đang đúc và giao dịch Token không thể thay thế), DeversiFi (giao dịch giao ngay) và Celer (hồ DeFi). Trước khi triển khai chính thức trên Mạng chính, StarkEx đã xử lý hơn 50 triệu giao dịch trên các mạng kiểm tra ETH công cộng và riêng tư.
Các sản phẩm của Starkware: StarEx, StarkNet và ZK-STARK
STARK (Hệ thống chứng minh có thể mở rộng) là một hệ thống chứng minh được thiết kế để hỗ trợ xác minh và xác nhận của tính toán. Nó có thể xử lý các tính toán phức tạp, tạo ra chứng minh về tính chính xác của kết quả tính toán và hoàn thành việc xác minh chứng minh trong vài bước. StarkWare cung cấp hai giải pháp mở rộng dựa trên STARK cho ETH: StarkEx và StarkNet.
StarkEx
StarkEx là một giải pháp mở rộng ETH đặc biệt được thiết kế cho các ứng dụng cụ thể, nhằm giảm chi phí và tăng tốc độ giao dịch tích hợp DApp. Đội ngũ StarkWare chịu trách nhiệm quản lý StarkEx, nền tảng này đã được ra mắt vào tháng 6 năm 2020 trên Mạng chính. StarkEx tăng cường hiệu suất của ETH bằng cách kết hợp nhiều giao dịch thành một Khối duy nhất. Nó sử dụng công nghệ gọi là zero-knowledge rollup, cung cấp bằng chứng toán học để chứng minh tính hiệu quả của giao dịch. Tốc độ xử lý giao dịch của StarkEx có thể đạt từ 15.000 đến 50.000 giao dịch mỗi giây (tps) tùy theo yêu cầu của ứng dụng cụ thể.
StarkNet
Đội ngũ StarkWare còn phát triển StarkNet, nền tảng này đã ra mắt mạng chính alpha vào tháng 11 năm 2021. Khác với StarkEx, StarkNet không được giám sát trực tiếp bởi đội ngũ StarkWare. StarkNet là một giải pháp mở rộng lớp hai của ETH không tập trung, tương tự như các mạng công cộng khác của ETH và không cần bất kỳ sự cho phép nào.
Thông qua công nghệ zero-knowledge (zk), StarkNet đã cải thiện trải nghiệm người dùng trên ETH và Thả chi phí sử dụng. StarkNet sử dụng một ngôn ngữ lập trình cục bộ có tên là Cairo. Một đặc điểm quan trọng của giao thức này là sự hỗ trợ cho việc trừu tượng hóa tài khoản, cho phép người dùng quản lý tài khoản của họ thông qua hợp đồng thông minh. Hiện nay, Tổng giá trị đã khóa (TVL) của hệ sinh thái StarkNet là 2.5195 tỷ đô la.
StarkEx và StarkNet
StarkEx và StarkNet đều là các giải pháp mở rộng dựa trên công nghệ STARK. Cả hai đều cung cấp tính mở rộng, phí gas thấp và an toàn, nhưng khác nhau về chế độ tương tác và yêu cầu vận hành. StarkEx có thể phù hợp hơn với các ứng dụng chủ yếu tự chứa và tương thích với API do StarkEx cung cấp. Trong khi đó, StarkNet có thể phù hợp hơn với những yêu cầu cần tương tác đồng bộ với các giao thức khác hoặc yêu cầu của họ vượt quá phạm vi của giao thức của StarkEx.
Khác với StarkEx, trong StarkEx, ứng dụng chịu trách nhiệm gửi giao dịch, trong khi trong StarkNet, bộ sắp xếp sẽ xử lý giao dịch theo lô và gửi chúng để xử lý và xác minh. (Hiện tại StarkWare chịu trách nhiệm vận hành bộ sắp xếp của StarkNet để tiến tới việc triển khai Phi tập trung trong tương lai.) StarkNet hỗ trợ mô hình khả dụng dữ liệu rollup, tức là ghi trạng thái của rollup cùng với chứng minh STARK vào Ethereum.
Tính năng StarkEx
StarkEx cung cấp một giải pháp mở rộng với nhiều tính năng và lợi ích như khả năng xử lý cao, phí gas thấp, độ an toàn tương đương với Ethereum, tự quản lý và tích hợp nhanh chóng. StarkEx cho phép hợp đồng thông minh thực thi logic tùy ý cho các trường hợp sử dụng cụ thể như giao dịch và Token không thể thay thế.
Khả dụng dữ liệu: Rollup và Validium
Tính năng này cho phép thực hiện giao dịch trên Sidechain (như StarkEx) thay vì thực hiện trên on-chain như Rollup lạc quan, tuân theo giao thức Validium. ZK Rollup đã rút ngắn đáng kể thời gian cầu giữa L1 và L2, từ một tuần xuống còn vài phút.
Ý chí
StarkEx không hạn chế người dùng sử dụng các tùy chọn khả dụng về dữ liệu cụ thể, người dùng có thể tùy chọn giữa Rollups và Validium theo nhu cầu bảo mật và phí gas của riêng mình để thực hiện giao dịch theo yêu cầu.
Mở rộng quy mô lớn
Tiềm năng mở rộng lớn của StarkEx xuất phát từ sự phân bổ tính toán không đối xứng giữa Offline Proofers và Người xác thực trên chuỗi. Offline Proofers đảm nhận việc xử lý các lô giao dịch lớn và tạo ra chứng minh STARK, trong khi Người xác thực trên chuỗi đánh giá chứng minh STARK thông qua một loạt các chương trình tính toán. Điều này cho phép mở rộng offline quy mô lớn trở thành điều khả thi, có thể thực hiện nhiều tính toán và duy trì tính toàn vẹn với yêu cầu xử lý thấp nhất trên chuỗi.
Tự quản lý
StarkEx hỗ trợ ứng dụng Phi tập trung tự quản lý, sử dụng công nghệ chống kiểm duyệt tiên tiến để đảm bảo tài sản của người dùng luôn nằm trong tay họ.
ZK-STARK
ZK-STARK là viết tắt của 'Ẩn dấu chứng minh kiến thức mở rộng không biết gì'. StarkWare đã phát triển ZK-STARKs, sử dụng đại số hiện đại và chứng minh mật mã mới để bảo vệ sự riêng tư và tính toàn vẹn của việc tính toán trong Khối. ZK-STARK cho phép Khối gửi nhiệm vụ tính toán cho một bên chứng minh STARK ngoại lệ duy nhất, sau đó bên chứng minh này được xác minh tính toàn vẹn của các tính toán thông qua bên xác minh STARK on-chain.
Ưu điểm của ZK-STARK
ZK-STARK cung cấp một số lợi thế độc đáo:
Tính mở rộng
ZK-STARK在处理较大见证大小时,能够更快地生成和bằng chứng xác nhận。zk-STARK的可扩展性依赖于三个关键因素:
Những yếu tố này cùng với những yếu tố liên quan khác cùng quyết định hiệu suất và tốc độ hoạt động của zk-STARK. Tài nguyên tính toán và thời gian cần thiết để tạo ra bằng chứng của Người xác thực được gọi là độ phức tạp của Người xác thực, trong khi độ phức tạp của bằng chứng xác nhận của Người xác thực là thời gian và tài nguyên cần thiết. Độ phức tạp giao tiếp chỉ đề cập đến lượng dữ liệu trao đổi giữa Người xác thực và Người xác thực trong quá trình xác minh bằng chứng. ZK-STARK nhằm mục tiêu đơn giản hóa quá trình giao tiếp này.
Tính minh bạch
ZK-STARK sử dụng tham số công khai có thể xác minh để tạo ra ngẫu nhiên các tham số công cộng, giảm sự phụ thuộc vào trung tâm và tăng tính minh bạch. ZK-STARK sử dụng tính ngẫu nhiên có thể xác minh để tạo ra các tham số cần thiết cho hệ thống chứng minh, loại bỏ nhu cầu cho giai đoạn chuẩn bị tin cậy. Điều này làm cho hệ thống trở nên minh bạch hơn, đồng thời loại bỏ rủi ro do sự tấn công vào người tham gia.
Bảo mật sau lượng tử
Tính toán lượng tử là một mô hình hoàn toàn mới trong việc xử lý thông tin bằng cách sử dụng nguyên lý Cơ học lượng tử, phương pháp này không thể được thực hiện bởi máy tính cổ điển, đây được gọi là an ninh sau lượng tử. Máy tính lượng tử có thể thực hiện một số loại tính toán cụ thể với tốc độ mũ, vượt xa khả năng của máy tính cổ điển. zkSTARK được thiết kế để chống lại các cuộc tấn công từ Máy tính lượng tử, những cuộc tấn công này có thể phá vỡ một số giải pháp mật mã, do đó zkSTARK cung cấp một giải pháp bảo vệ hiệu quả hơn để đối phó với sự tiến bộ của công nghệ Tính toán lượng tử.
STRKToken là gì?
STRK được sử dụng làm cơ chế thanh toán phí, hỗ trợ vận hành, bảo trì và an ninh của mạng thông qua việc cho phép thế chấp để thực hiện Nhận thức chung và thông qua việc bỏ phiếu quản trị giá trị và mục tiêu kỹ thuật của Starknet.
Ban đầu, phí Starknet chỉ được thanh toán thông qua Ether (ETH), STRK được sử dụng làm phí giao dịch. Hiện tại, STRK và ETH là cách thanh toán phí của mạng Rửa tiền. Bộ sắp xếp nhận sẽ chuyển đổi một phần phí thanh toán bằng STRK thành ETH để bao gồm chi phí gas của Ethereum L1, những chi phí này phải được thanh toán bằng ETH theo quy định của giao thức Ethereum.
Với sự giới thiệu của cơ chế thế chấp, người dùng có thể thế chấp STRKToken của họ để hỗ trợ hoạt động mạng và nhận phần thưởng. Để đảm bảo tính hiệu quả của thế chấp, một số dịch vụ quan trọng đối với tính an toàn và chức năng của Starknet cần thế chấp STRK. Trước tính cuối cùng của L1, có thể có nhiều nhà cung cấp chịu trách nhiệm về sắp xếp, tính khả dụng của dữ liệu, dịch vụ chứng minh STARK và Nhận thức chung tạm thời của L2.
Để tăng cường Starknet, có thể cần thiết lập ngưỡng hỗ trợ Token tối thiểu. Việc bỏ phiếu, cả là bỏ phiếu trực tiếp hay thông qua ủy quyền, đều là cần thiết để thực hiện các thay đổi quan trọng liên quan đến tính bảo mật, tính năng và bảo trì của giao thức.
Tài trợ và nhà đầu tư
StarkNet đã thu hút 33 nhà đầu tư, trong đó Sequoia Capital và Paradigm là nhà đầu tư chính. Các nhà đầu tư nổi tiếng khác bao gồm Tiger Global, Greenoaks, Coatue, Multicoin Capital, Vitalik Buterin, ConsenSys và Polychain Capital. Cho đến nay, StarkNet đã gọi vốn hơn 250 triệu đô la. Vào tháng 5 năm 2022, công ty này đã thành công trong việc huy động 100 triệu đô la, nâng giá trị công ty từ 20 tỷ đô la lên 80 tỷ đô la. Sequoia Capital dẫn đầu vòng đầu tư này, trong khi vào tháng 11 năm 2021, Alameda Research và Founders Fund dẫn đầu vòng đầu tư C trị giá 50 triệu đô la. Ngày 24 tháng 3 năm 2021, DVCV và Wing VC đã dẫn đầu vòng đầu tư B trị giá 75 triệu đô la cho StarkNet. StarkNet đã huy động 30 triệu đô la trong vòng đầu tư A vào tháng 9 năm 2018, do Paradigm dẫn đầu.
Phân phối và cung cấp
StarkWare đã đầu tư lần đầu 100 tỷ StarknetToken vào tháng 5 năm 2022 và đúc trên chuỗi vào ngày 30 tháng 11 năm 2022. Cách phân phối của 100 tỷ Token hiện có đã hoặc dự kiến như sau:
Tất cả Token được phân phối cho nhà đầu tư và người đóng góp sớm sẽ tuân theo kế hoạch Vị thế bị khóa dưới đây, với tỷ lệ dựa trên tổng nguồn cung Token để đảm bảo động lực lâu dài phù hợp với lợi ích của cộng đồng Starknet.
Nguyên lý hoạt động của StarkEx
StarkEx là một công cụ mở rộng được thiết kế đặc biệt để đáp ứng các nhu cầu độc đáo của các ứng dụng (như trò chơi và Tài chính phi tập trung). Có hai cách chính để triển khai giải pháp lớp hai: ZK-Rollup và khả năng sẵn có của Validium. Khi StarkEx hoạt động ở chế độ "rollup", Ethereum sẽ được cập nhật để phản ánh sự thay đổi trong số dư của người dùng. Dữ liệu sau đó được công bố theo chế độ "validium" đến Ủy ban Khả dụng Dữ liệu (DAC), một nhóm được hình thành bởi các nhà quản lý đáng tin cậy. Hệ thống này bao gồm các thành phần bên ngoài và thành phần on-chain. Các thành phần bên ngoài hoặc off-chain chịu trách nhiệm duy trì trạng thái, thực hiện giao dịch và truyền cập nhật trạng thái đến các thành phần on-chain. Ngoài ra, chúng cũng chịu trách nhiệm quản lý trạng thái và tài sản của hệ thống cũng như xác nhận việc chuyển giao. Chương trình được áp dụng bởi StarkEx như sau:
Xác minh
Nhà cung cấp dịch vụ (như sàn giao dịch) chịu trách nhiệm xử lý giao dịch người dùng gửi đến dịch vụ StarkEx. Xác minh giao dịch của StarkEx được chia thành hai giai đoạn: xác minh tuần tự và xác minh không trạng thái song song, bao gồm kiểm tra phạm vi và định dạng giá trị. Đối với tối đa 1000 giao dịch được gửi song song, thời gian trễ phản hồi thường là 100-200ms.
Một khi cổng đã xác nhận giao dịch đã được xác minh sơ bộ, người dùng có thể yên tâm rằng giao dịch sẽ được thực hiện và giao dịch đã hoàn tất. Người dùng có thể hiển thị giao dịch đó toàn bộ trên giao diện ứng dụng mà không cần đợi xác nhận cuối cùng trên chuỗi.
Xử lý hàng loạt
StarkEx sẽ xác minh và xử lý đồng thời tất cả các giao dịch theo các tiêu chuẩn phức tạp hơn. Do nguyên nhân của giao dịch thường quyết định tính hợp lệ của nó, vì vậy giai đoạn xác minh này được thực hiện theo thứ tự, chứ không đồng thời. Mỗi giao dịch được xác minh sẽ được StarkEx phân nhóm vào một lô và cập nhật số dư tương ứng. Thời gian trễ quan sát được trong giai đoạn xác minh này có thể là từ vài phút đến tối đa bốn giờ, tùy thuộc vào thời gian giao dịch được đưa vào, có phải là ở đầu hay cuối hàng đợi.
Tạo chứng chỉ
Dịch vụ StarkEx sẽ tạo ra một chứng minh STARK, chứng minh tính hợp lệ của giao dịch trong lô và tải lên on-chain sau khi xử lý các giao dịch theo lô.
Xác minh on-chain
Sau khi xác minh hợp đồng thông minh trên on-chain và tạo giao dịch bằng chứng hợp lệ trên on-chain, nó sẽ nhận được chứng chỉ STARK. Sau khi xác minh thành công, cam kết trạng thái số dư mới sẽ được lưu trữ trên on-chain.
Ứng dụng StarkEx và khả năng truy xuất dữ liệu
StarkEx cung cấp cho các nhà phát triển các công cụ để tích hợp StarkEx của họ vào ứng dụng. Nhiều bên tham gia nổi tiếng (như Sorare, Dydx, Immutable X, Opera và DeversiFi) đều đang sử dụng StarkEx. Khi các nhà phát triển bắt đầu sử dụng StarkEx, họ sẽ nhận được hợp đồng L1 StarkEx của riêng mình và một phiên bản StarkEx trên mạng thử nghiệm. Tuy nhiên, điều người dùng cần chú ý là nếu ứng dụng gặp vấn đề, họ có thể rút tiền của mình bất cứ lúc nào và họ giữ quyền kiểm soát vốn của mình.
Vì vậy, StarkEx cung cấp hai phương pháp khác nhau để triển khai giải pháp lớp hai: ZK-Rollup hoặc khả năng sẵn có của dữ liệu Validium. Ứng dụng StarkEx phải duy trì tính sẵn có liên tục của dữ liệu người dùng để đảm bảo tự bảo quản, dự phòng và không tin cậy. Việc lưu trữ khả dụng của dữ liệu đảm bảo rằng trạng thái được lưu trữ trong hộp tự bảo quản của người dùng hoàn toàn đồng bộ với trạng thái được duy trì bởi StarkEx, đồng thời cây số dư đầy đủ luôn sẵn sàng truy cập, điều này cho phép người dùng xác minh tình trạng bảo quản tài sản của họ khi StarkEx ngừng hoạt động.
Mô hình sẵn có của dữ liệu
StarkEx hỗ trợ hai chế độ khả dụng dữ liệu: ZK-Rollup và Validium, cả hai chế độ này đều được hỗ trợ bởi StarkEx Perpetual và StarkEx Spot. Chế độ Volition cho phép sử dụng các hộp giữ hàng ZK-Rollup và Validium cùng lúc trong ứng dụng, giúp người dùng chọn phạm vi hộp giữ hàng phù hợp với từng tài sản mà họ sở hữu và hỗ trợ lưu trữ dữ liệu. Tuy nhiên, tính phổ biến của chế độ Volition không như chế độ trước đó, vì nó chỉ được hỗ trợ độc quyền bởi StarkEx Spot.
Tổng hợp kiến thức không tiết lộ
ZK-Rollups sử dụng công nghệ mật mã và toán học tiên tiến được gọi là “Bằng chứng không kiến thức” để xác minh tính hợp lệ của mỗi giao dịch. ZK-rollups là một giải pháp mở rộng của Ethereum mà người ủng hộ tính Phi tập trung và an toàn yêu thích. StarkEx và zkSync là các đại diện cho giải pháp lớp 2 sử dụng ZK-Rollups. Trong ZK-Rollup của StarkEx, chương trình Cairo đảm bảo dữ liệu cần thiết để xây dựng cây Merkle cân bằng L2 được truyền bá trên on-chain dưới dạng calldata.
Trong quá trình ZK-rollup, nhà điều hành sẽ tạo ra bằng chứng hợp lệ (SNARK hoặc STARK) cho rễ trạng thái. Điều này chứng minh cho hợp đồng thông minh trên ETH rằng rễ trạng thái nhận được là từ một tập hợp giao dịch hợp lệ, từ đó ngăn chặn nhà điều hành gửi rễ trạng thái không hợp lệ. ZK-rollups sử dụng hai loại bằng chứng hợp lệ: SNARK và STARK. ZK Sync, Scroll và Polygon ZkEVM sử dụng SNARK, trong khi StarkNet và StarkEx sử dụng STARK.
ZK-Rollup hoạt động mà không cần tin cậy, tất cả dữ liệu cần thiết để khôi phục quỹ người dùng trong trường hợp thoát hiểm có thể được truy cập on-chain một cách minh bạch. Tuy nhiên, một điểm yếu của mô hình này là mỗi lần thay đổi trong hộp lưu trữ được thực hiện trong một lô sẽ tạo ra chi phí gas. Trong các lô mà nhiều hộp lưu trữ đã thay đổi trạng thái, chi phí của sự cập nhật trạng thái chủ yếu phụ thuộc vào tính sẵn có của dữ liệu, chứ không phải là việc xác minh chứng minh.
Validium
Validium là một mô hình khả dụng dữ liệu khác. Trong mô hình này, sử dụng các chứng chỉ mật mã để đảm bảo tính chính xác của tính toán. Trong hộp đựng Validium, số dư của người dùng sẽ không được công khai on-chain, mà sẽ được gửi đến nhiều thực thể uy tín và đáng tin cậy, chẳng hạn như các thành viên của Ủy ban Khả dụng dữ liệu (DAC). Chỉ khi các thành viên của ủy ban đạt đủ số người được quy định và hỗ trợ cho cập nhật trạng thái này, trạng thái số dư được phản ánh của tất cả các tài khoản khách hàng sau khi giao dịch được xử lý sẽ được coi là hợp lệ và ghi lại trên on-chain. Họ sẽ chính thức xác nhận rằng họ hiểu tất cả các số dư được cập nhật trong hộp đựng và Người xác thực đã phê duyệt trạng thái mới.
Khác với ZK-rollups cần phải trả phí gas, Validium không yêu cầu thanh toán on-chain cho dữ liệu. Trong quá trình cập nhật trạng thái on-chain, phần lớn phí gas được sử dụng cho xác minh chứng thực. Thông tin số dư của người dùng được một ủy ban thực thể đáng tin cậy duy trì ở trạng thái off-chain thay vì on-chain. Nhược điểm của tùy chọn này là cần tin tưởng vào thành viên của ủy ban.
Về Hội đồng Khả dụng Dữ liệu (Chỉ áp dụng cho Validium)
Hội đồng sẵn sàng dữ liệu (DAC) là một tập thể được hình thành bởi nhiều cá nhân hoặc tổ chức. Các thành viên DAC cam kết cung cấp lưu trữ dữ liệu dự phòng và không tin cậy cho ứng dụng dựa trên StarkEx, đảm bảo rằng dữ liệu luôn sẵn có. Các thành viên DAC là bên thứ ba độc lập, họ đồng ý nhận và duy trì mỗi cập nhật trạng thái thay mặt cho người điều hành. Nếu người điều hành (hoặc StarkWare) gặp tình trạng ngoại tuyến, các thành viên DAC cam kết sẽ phát hành cập nhật trạng thái lên on-chain, đảm bảo người dùng có thể tiếp tục truy cập vào tài chính của họ, điều này rất quan trọng đối với việc tự bảo quản. Các thành viên của DAC bao gồm Consensys, Chainstack, StarkWare và nhiều thực thể nổi tiếng khác.
Kết luận
StarkEx là một loạt các công cụ quan trọng mà dự án có thể sử dụng để thực hiện tính toán ngoại xế hiệu quả. Giải pháp lớp hai này cung cấp tính mở rộng tốt, chi phí gas Thả và an toàn, nhưng cũng có yêu cầu vận hành độc đáo và khung tương tác độc đáo của nó.