Phân tích chuyên sâu về StarkWare: Muốn xây dựng một "vũ trụ" ZK?

ChinaDeFi

特邀专栏作者

2022-07-05 13:00

Bài viết này có khoảng 2598 từ, đọc toàn bộ bài viết mất khoảng 4 phút

StarkNet cho thấy lời hứa mở rộng quy mô Ethereum bằng cách sử dụng ZK-rollup.

Tóm tắt AI

Mở rộng

StarkNet cho thấy lời hứa mở rộng quy mô Ethereum bằng cách sử dụng ZK-rollup.

Tổng hợp gốc: ChinaDeFi

StarkWare là một công ty ZK tập trung vào việc xây dựng các giải pháp tổng số dựa trên ZK cho Ethereum trên quy mô lớn. Sản phẩm đầu tiên của họ, StarkEx, được ra mắt vào năm 2020 và vào tháng 11 năm 2021, StarkNet với nhiều tính năng hơn đã được phát hành.

công nghệ

StarkWare đã xây dựng một công nghệ mới giúp nén hàng nghìn giao dịch thành một bằng chứng về tính hợp lệ duy nhất có tên là STARK và gửi nó tới Ethereum L1. So với SNARK, STARK có hai ưu điểm chính:

Nó không yêu cầu thiết lập niềm tin ban đầu.
Có thời gian tính toán nhanh hơn SNARK. Nó có thể cải thiện khả năng mở rộng của Ethereum theo các cấp độ lớn do cần ít tính toán hơn.

Ngành kiến trúc

Ngăn xếp StarkWare chủ yếu bao gồm các trình xác minh được chia sẻ (SHARP) và trình xác minh (có trên L1). SHARP gộp nhiều giao dịch từ các dapp khác nhau và tạo bằng chứng. Sau đó, nó chia sẻ bằng chứng với trình xác thực trên L1. Điều này tiết kiệm chi phí vì tính toán được chia sẻ giữa các ứng dụng khác nhau. Người xác minh kiểm tra xem bằng chứng SHARP có hợp lệ không. Nếu hợp lệ, chúng sẽ được chia sẻ trong Fact Registry. Ứng dụng có thể giao tiếp với StarkEx hoặc trực tiếp với SHARP (ứng dụng StarkNet).

Các nút L2 của StarkNet (trình sắp xếp thứ tự) sẽ thực hiện mọi giao dịch và cập nhật trạng thái định kỳ cho mạng chính Ethereum. Cần lưu ý rằng thời hạn giao dịch cuối cùng của StarkNet được gắn với L1, có nghĩa là các nút L2 phải xác minh cả StarkNet và Ethereum. StarkNet đã giới thiệu một giải pháp liên quan đến việc kiểm tra điểm kiểm tra của mạng chính Ethereum, cho phép nó đạt được hiệu quả cuối cùng ở phía tổng số rất nhanh. Do đó, tất cả các nút L2 chứa một nút đầy đủ L1.

dữ liệu sẵn có

StarkNet sử dụng cơ chế Validium để đạt được tính khả dụng của dữ liệu. Nó gần giống với ZK-rollup, ngoại trừ việc nó giữ dữ liệu ngoài chuỗi, trong khi ZK-rollup và Optimistic Rollup (OR) giữ dữ liệu trên chuỗi. Validium chỉ đưa ra bằng chứng về tính hợp lệ trên L1 trong khi vẫn giữ dữ liệu ngoài chuỗi. Điều này cho phép Validium đạt được thông lượng cao hợp lý và giảm chi phí cho mỗi giao dịch.

Chi phí lưu trữ dữ liệu ngoài chuỗi là nó yêu cầu sự tin tưởng vào bên thứ ba, điều này có thể ngăn người dùng truy cập vào số dư của họ. StarkWare nhằm mục đích giải quyết vấn đề này thông qua Ủy ban Dữ liệu Sẵn có (DAC), bao gồm 8 thành viên độc lập có bản sao của giao dịch. Họ cũng cần duy trì dữ liệu này bằng cách cung cấp dữ liệu đó mọi lúc. Nếu nhà điều hành chặn người dùng truy cập tiền của họ, các thành viên ủy ban sẽ xác nhận xem yêu cầu của họ có hợp lệ hay không.

StarkWare cũng có kế hoạch triển khai cơ chế Volition nơi người dùng có thể chọn gửi dữ liệu trực tuyến hay không. Nó chuyển quyết định về tính khả dụng của dữ liệu từ cấp ứng dụng sang cấp người dùng, ngay cả đối với các giao dịch riêng lẻ. Nếu người dùng muốn gửi một NFT có giá trị cao với tất cả dữ liệu trên chuỗi, họ có thể trả thêm phí để chuyển nó trên chuỗi. Điều này sẽ đạt được với ImmutableX và Sorare.

Ngôn ngữ lập trình Cairo

Công nghệ mới mang lại những yêu cầu mới. Cairo là một ngôn ngữ lập trình hoàn chỉnh Turing được xây dựng riêng cho STARK. Nó tốt hơn về hiệu suất và khả năng mở rộng, nhưng nó còn rất mới. Nhiều nhà phát triển không quen với nó, khiến việc di chuyển các ứng dụng hiện có sang StarkNet trở nên khó khăn. Warp, được phát triển bởi Nethermind, là EVM cho bộ chuyển đổi Cairo. Warp cho phép chuyển đổi liền mạch các hợp đồng Solidity sang Cairo.

Một điểm đột phá của ngôn ngữ Cairo là nó chỉ cho phép một người xác minh sử dụng một bằng chứng để xác nhận tính toàn vẹn của nhiều lần thực thi chương trình khác nhau.

StarkNet Vs OR

StarkNet không chỉ có thời gian rút tiền nhanh hơn so với thời gian chờ 7 ngày của OR, mà kiến trúc cơ bản cũng khác. StarkNet sử dụng "không trạng thái", bạn chỉ cần lưu trữ trạng thái gốc của toàn bộ trạng thái trên L1 và người dùng cần cung cấp bằng chứng Merkle để truy cập các mục trạng thái cụ thể. OR tuân theo giải pháp "trạng thái" trong đó mỗi mục trạng thái được ghi lại trên chuỗi. Điều này sẽ dẫn đến tình trạng phình to trạng thái lớn hơn và có thể chứng minh là không mở rộng quy mô tốt khi được áp dụng trong tương lai.

hệ sinh thái

Hệ sinh thái StarkWare đang phát triển. Với việc triển khai không cần xin phép trên StarkNet, nhiều nhà phát triển đã bày tỏ sự quan tâm. Hệ sinh thái mở và tài liệu phong phú của StarkEx giúp các nhà phát triển dễ dàng triển khai nó. DeFi Pooling có thể thực hiện được trên StarkNet. Nó cho phép người dùng tồn tại trên L2, trong khi DeFI vẫn ở trên L1 nơi nó ra đời và nhiều thứ thú vị đang được xây dựng. Nhiều trò chơi và vật phẩm trò chơi NFT đã xuất hiện trên StarkNet.