Trình chỉnh sửa gốc: Cộng tác viên cốt lõi Biteye Crush

Trình chỉnh sửa gốc: Cộng tác viên cốt lõi Biteye Crush

Hiệu ứng giàu có của airdrop Arbitrum đã khơi dậy niềm tin của thị trường vào L2 và họ đã triển khai L2 chưa được phát hành. Và StarkWare, được định giá cao 8 tỷ USD, đương nhiên thu hút sự chú ý.

tiêu đề phụ

01 STARKs, StarkEx, StarkNet

1.1 STARKs

STARKs（Scalable,Minh bạch ARgument of Knowledge) là một hệ thống bằng chứng có thể chứng minh và xác minh các tính toán, đồng thời nhằm mục đích cải thiện khả năng mở rộng của Ethereum.

Nó cho phép chuyển các phép tính lớn từ on-chain sang off-chain để giảm chi phí, tạo bằng chứng về tính chính xác của các phép tính và sau đó thực hiện các phép tính nhỏ on-chain để xác minh các bằng chứng. Nghĩa là, người xác minh có thể đánh giá tính toàn vẹn của phép tính đã hoàn thành ngoài chuỗi bằng cách thực hiện rất ít thao tác trên chuỗi.

L2 sử dụng công nghệ STARK để đóng gói nhiều giao dịch lại với nhau cho hàng nghìn phép tính, sau đó sử dụng một bằng chứng STARK duy nhất để xác minh tính hợp lệ của chúng trên chuỗi.

Tất cả các giao dịch trong đợt này đều chia sẻ chi phí xử lý trên chuỗi, do đó giảm chi phí Gas và cải thiện trải nghiệm người dùng trong khi kế thừa tính bảo mật của Ethereum. Mô hình này tương tự như việc chia sẻ tiền cước giữa những người sử dụng taxi chung.

SNARK (Ngắn gọn, Không tương tác, Đối số, Kiến thức) là một bằng chứng không tương tác ngắn gọn. Cả STARK và SNARK đều là giải pháp cho ZK Rollups.

Mô tả hình ảnh

(Nguồn: SUSS NiFT, ChatGPT)

So với SNARK, STARK có ba ưu điểm sau:

1. Không tin tưởng

STARK có thể xác minh công khai và ngẫu nhiên để thay thế cài đặt đáng tin cậy của SNARK, giảm sự phụ thuộc vào người tham gia và cải thiện bảo mật giao thức.

2. Khả năng mở rộng mạnh mẽ hơn

STARK có đặc tính nén logarit của xác minh. Ngay cả khi độ phức tạp của phép tính cơ bản tăng theo cấp số nhân, STARK vẫn duy trì thời gian xác minh và chứng minh thấp, thay vì tăng trưởng tuyến tính như SNARK.

3. Đảm bảo an ninh cao hơn

STARK được mã hóa bằng cách sử dụng giá trị băm chống va chạm, có khả năng chống lại các cuộc tấn công điện toán lượng tử.

Tuy nhiên, kích thước bằng chứng của STARK lớn hơn SNARK, vì vậy khi khối lượng giao dịch L2 thấp, sẽ khó chia sẻ chi phí bằng chứng, dẫn đến độ trễ xác nhận lớn. Nhưng khi nó chứng minh rằng quy mô tăng lên, chi phí cận biên khi sử dụng STARKT sẽ giảm xuống, điều này phù hợp với các ứng dụng quy mô lớn. Ngoài ra, so với SNARK, tỷ lệ chấp nhận STARK hiện tại là không đủ và các công cụ cơ bản cần được cải thiện.

Mô tả hình ảnh

(Nguồn: SUSS NiFT, ChatGPT)

tiêu đề phụ

1.2 StarkEx

StarkEx là một khung giải pháp thay đổi quy mô tùy chỉnh dành riêng cho ứng dụng được cấp phép. Các dự án có thể sử dụng StarkEx để thực hiện các tính toán ngoài chuỗi với chi phí thấp và tạo bằng chứng STARK để chứng minh tính chính xác của việc thực thi.

Một bằng chứng như vậy chứa 12.000 – 500.000 giao dịch. Cuối cùng, bằng chứng được gửi đến trình xác thực STARK trên chuỗi và cập nhật trạng thái được chấp nhận sau khi xác minh là chính xác.

StarkEx cung cấp 3 phương thức lưu trữ dữ liệu. Ở chế độ ZK-Rollup, dữ liệu được lưu trữ trên chuỗi, giúp dữ liệu được phân cấp và người dùng dễ dàng theo dõi và giám sát.

Tuy nhiên, chi phí xuất bản dữ liệu trên chuỗi cao. Ở chế độ Validium, dữ liệu được lưu trữ ngoài chuỗi, chi phí thấp và không hiển thị dữ liệu công khai.

Tuy nhiên, cần có Ủy ban về tính sẵn có của dữ liệu để giám sát xem dữ liệu có được xử lý đúng cách hay không. Volition là một mô hình sẵn có của dữ liệu kết hợp, nơi người dùng có thể chọn đưa dữ liệu vào chuỗi hoặc ngoại tuyến.

Các ứng dụng được triển khai trên StarkEx bao gồm quyền chọn vĩnh viễn dYdX, NFT L2 Immutable, thị trường giao dịch thẻ kỹ thuật số thể thao Sorare và công cụ tổng hợp DeFi đa chuỗi Rhino.fi.

tiêu đề phụ

1.3 StarkNet

StarkNet là một L2 không cần cấp phép, nơi bất kỳ ai cũng có thể triển khai các hợp đồng thông minh được phát triển bằng ngôn ngữ Cairo. Các hợp đồng được triển khai trên StarkNet có thể tương tác với nhau để xây dựng các giao thức có thể kết hợp mới.

Không giống như StarkEx, nơi các ứng dụng chịu trách nhiệm gửi giao dịch, người đặt hàng của StarkNet xử lý các giao dịch theo lô và gửi chúng để xử lý và chứng minh.

tiêu đề phụ

1.4 Cairo

Cairo là ngôn ngữ lập trình được sử dụng cho STARK để chứng minh khả năng tùy chỉnh điện toán chung, giúp cho việc phát triển, xem xét và duy trì mã đơn giản hơn và nhanh hơn mà không bị hạn chế bởi EVM. Nó có thể loại bỏ gánh nặng lịch sử của Ethereum để thực hiện các phép tính phức tạp hơn như trừu tượng hóa tài khoản, và trong quá trình phát triển trò chơi Nó cũng linh hoạt hơn và hỗ trợ các trò chơi trên toàn bộ chuỗi.

tiêu đề phụ

1.5 SHARP (châm ngôn chia sẻ) châm ngôn chia sẻ

tiêu đề cấp đầu tiên

02 Mô hình kinh tế StarkNet

StarkWare đã đúc 10 tỷ mã thông báo StarkNet ngoài chuỗi. Tuy nhiên, những mã thông báo này không đại diện cho vốn chủ sở hữu trong StarkWare, chúng cũng không cung cấp bất kỳ quyền nào để tham gia vào StarkWare hoặc trao bất kỳ quyền nào để yêu cầu chống lại StarkWare.

Mã thông báo StarkNet có thể được sử dụng làm mã thông báo gốc để thanh toán phí Gas. So với các L2 khác sử dụng ETH để trả phí Gas, mã thông báo StarkNet có thể nắm bắt giá trị sinh thái tốt hơn và giảm tác động của ETH, một mã thông báo ngoại sinh.

Mô tả hình ảnh

(Nguồn: StarkWare.https://medium.com/starkware/part-3-starknet-token-design-5cc17af066c6 )

StarkNet thưởng rõ ràng cho các nhà phát triển và người dùng StarkEx trước đây, nhưng không rõ liệu người dùng StarkNet có airdrop hay không. 8,1% số mã thông báo trong lần phân phối mã thông báo ban đầu chưa được sử dụng, theo cách thức được xác định bởi cộng đồng.

tiêu đề cấp đầu tiên

03 Tài trợ cho StarkWare

Mô tả hình ảnh

(Nguồn: Crunchbase, SUSS NiFT)

Vào tháng 7 năm 2022, Alameda Research sẽ đầu tư thêm 9,5 triệu đô la. Tuy nhiên, Alameda Research đã phá sản vào tháng 11 năm 2022 và liệu khoản đầu tư này có được nhận hay không là điều đáng nghi ngờ.

Mô tả hình ảnh

tiêu đề cấp đầu tiên

tiêu đề phụ

Eli Ben-Sasson

Eli là Đồng sáng lập kiêm Chủ tịch của StarkWare và Chủ tịch Hội đồng quản trị của nó.

Kể từ khi nhận bằng Tiến sĩ về Khoa học Máy tính Lý thuyết tại Đại học Hebrew vào năm 2001, anh ấy đã nghiên cứu về mật mã và bằng chứng không kiến ​​thức về tính toàn vẹn của tính toán.

Eli là người đồng phát minh ra các giao thức STARK, FRI và Zerocash, đồng thời là nhà khoa học sáng lập của Công ty Zcash. Trong nhiều năm, ông đã giữ các vị trí nghiên cứu tại Viện Nghiên cứu Cao cấp tại Princeton, Đại học Harvard và Viện Công nghệ Massachusetts.

tiêu đề phụ

Uri Kolodny

Uri là người đồng sáng lập và Giám đốc điều hành của StarkWare và là thành viên của ban giám đốc.

Ông có bằng Cử nhân Khoa học Máy tính (cum laude) của Đại học Hebrew và bằng Thạc sĩ Quản trị Kinh doanh của Trường Quản lý MIT Sloan. Uri là một doanh nhân nối tiếp, người đã đồng sáng lập một số công ty công nghệ bao gồm Mondria, công ty phát triển các công cụ để trực quan hóa dữ liệu lớn.

tiêu đề cấp đầu tiên

05 Đối thủ cạnh tranh

Mô tả hình ảnh

(Nguồn: SUSS NiFT)

Nguồn dữ liệu: (2023.4.21)

1. https://dune.com/gm 365/L2

2. https://www.coingecko.com/

3. https://defillama.com/

Optimism và Arbitrum áp dụng phương pháp tổng hợp lạc quan, ít khó phát triển hơn và đã có một hệ sinh thái tương đối hoàn chỉnh, thu hút nhiều tiền và người dùng, thậm chí nằm ngoài các giao thức gốc L2 xuất sắc như GMX và Giao thức Gains.

Vitalik đã nói trong ETHSeoul rằng mặc dù Bản tổng hợp lạc quan được phát triển hơn, nhưng nền tảng của công nghệ Bản tổng hợp ZK sẽ cho phép nó cuối cùng thay thế Bản tổng hợp lạc quan. Mặc dù ZK Rollup nhanh hơn, nhưng chúng thiếu Máy ảo Ethereum (EVM), điều này khiến việc chạy dApp trở nên khó khăn. Bởi vì EVM là đơn vị xử lý chính của dApps. Vì vậy, Rollups dựa trên ZK đang phát triển một giải pháp tương thích với EVM. Nếu quá trình phát triển diễn ra chậm, ZK Rollups có thể mất đi lợi thế của người đi đầu, khiến cho các Rollup lạc quan lên ngôi vững chắc. Điều này tương tự như sự cạnh tranh giữa Ethereum và các L1 khác.Mặc dù hiệu suất của Ethereum không phải là tốt nhất, nhưng nó chắc chắn hấp thụ nhiều tiền nhất và các nhà phát triển giỏi nhất nhờ lợi thế của người đi đầu.

Mô tả hình ảnh

(Nguồn: Messari, SUSS NiFT)

Loại 1 tương đương với ETH, sử dụng liền mạch 100% cơ sở hạ tầng EVM, nhưng quá trình chứng minh chậm. Taiko giảm thiểu thiếu sót này bằng cách nhanh chóng xác nhận tính hữu hạn trước khi tạo bằng chứng không có kiến ​​thức.

Cách cụ thể là chỉ cần chứng minh rằng trạng thái X trong quá khứ là hợp lệ và không có giao dịch nào từ tài khoản A sau X, vì vậy người dùng có thể rút mã thông báo của mình ở trạng thái X. Hiện tại, tính kinh tế của giao thức và bằng chứng phi tập trung đã được thử nghiệm ở dạng alpha-2, trong đó có 126 chứng minh độc lập, 93.146 khối đã được chứng minh và thời gian chứng minh là từ 130 đến 160 giây.

Taiko hiện đã ngừng sử dụng alpha-2 và sẽ ra mắt alpha-3 vào quý 2. Do sự phức tạp không khoan nhượng của zkEVM Loại 1 trong việc đạt được sự tương đương, có thể không có mạng chính trong năm nay.

Tương đương EVM Loại 2, thể hiện sự cải thiện về tốc độ so với Loại 1, nhưng vẫn còn chậm. Loại 2 là Scroll, mục tiêu của Linea, Polygon zkEVM đã đạt được.

Phiên bản Beta của mạng chính Polygon zkEVM đã được ra mắt vào ngày 27 tháng 3 theo lịch trình. Trong giai đoạn đầu tiên của Mainnet Beta, một ủy ban bảo mật chuyên dụng sẽ có thể nhanh chóng nâng cấp Polygon zkEVM. Trong giai đoạn thứ hai, sẽ có một loạt các biện pháp để đảm bảo rằng người dùng được bảo vệ nếu có bất kỳ sự cố nào xảy ra, nhưng với mức độ phân cấp cao hơn và không có ủy ban bảo mật có quyền truy cập đặc quyền.

Phí gas được thanh toán bằng ETH và dự kiến ​​rằng cam kết và quản trị trong Polygon zkEVM sẽ sử dụng mã thông báo MATIC trong tương lai. Ngoài ra, Polygon zkEVM hỗ trợ trừu tượng hóa tài khoản thông qua ERC-4337, điều này sẽ cho phép người dùng sử dụng bất kỳ mã thông báo nào để thanh toán lệ phí.

Scroll và Ethereum Foundation đã cùng nhau phát triển zkEVM như một mã nguồn mở, điều này sẽ rút ngắn thời gian chứng minh bằng cách thuê ngoài tính toán song song và chứng minh cho các thợ mỏ. Scroll đang ở giai đoạn Alpha testnet và nó có thể thực hiện xuyên chuỗi và chuyển giao. Nó đã chạy mà không gặp bất kỳ trở ngại nào trong hai tháng và dự kiến ​​sẽ ra mắt mạng chính vào quý hai.

Vào ngày 28 tháng 3, ConsenSys đã thông báo đổi thương hiệu của ConsenSys zkEVM thành Linea, hiện đang mở để thử nghiệm cho bất kỳ nhà phát triển, người dùng hoặc giao thức nào. Linea kết hợp các bằng chứng không kiến ​​thức với tính tương đương EVM thông qua các tích hợp gốc như MetaMask và Truffle, cung cấp cho các nhà phát triển tính linh hoạt và khả năng mở rộng mà không yêu cầu chuyên môn kỹ thuật ZK.

Linea sử dụng một hệ thống đa chứng nhận, trong đó nhiều chữ ký có thể thực thi các kết quả cụ thể khi có lỗ hổng trong mã. Thông qua hệ thống này, một bản tổng hợp sẽ sử dụng một số cơ chế chứng thực với các mức bảo mật khác nhau để loại bỏ nguy cơ lỗi điểm duy nhất tồn tại với một bản tổng hợp của người chứng thực.

Loại 3 gần như tương đương với EVM, nhanh hơn để chứng minh, nhưng một số ứng dụng cần được phát triển lại. Loại 3 là giai đoạn chuyển tiếp mà Scroll đang ở. Kakarot là một zkEVM được viết ở Cairo. Là một trình thông dịch cho mã byte EVM, cuối cùng nó có thể trở thành L3 trên StarkNet và hiện được phân loại là Loại 3.

Type-4,Biên dịch mã nguồn hợp đồng thông minh được viết bằng ngôn ngữ cấp cao như Solidity thành ngôn ngữ thân thiện với ZK-SNARK. Hóa ra là nhanh, nhưng không tương thích lắm.

Kỷ nguyên zkSync đang hoạt động và mở cửa cho người dùng phổ thông. Hiện tại, không có nhiều người dùng chia sẻ phí gas zkSync nên chi phí tương tác tương đối cao và một số bên dự án đã trợ cấp phí gas. Do hiệu ứng giàu có của airdrop Arbitrum, sự tương tác của cộng đồng người dùng rất nhiệt tình, nhưng hiện tại hầu hết các dự án Tugou trên zkSync và nhiều sự cố kéo thảm đã xảy ra.

StarkNet sử dụng Warp làm trình biên dịch Solidity cho Cairo. StarkNet hiện là zkEVM duy nhất phi tập trung hóa trình đặt hàng và chứng minh của nó. Tuy nhiên, StarkNet vẫn chưa phát hành phiên bản cấp độ sản xuất, phiên bản này chỉ phù hợp với người dùng trải nghiệm với lượng tương tác nhỏ và các tác vụ thường không thực thi được.

Vitalik cũng đề xuất một chế độ kết hợp giữa Lạc quan và ZK. Trước khi zkEVM đáo hạn, hãy giải phóng chuỗi khối và đợi trong 24 giờ. Nếu không có thách thức gian lận nào, hãy đưa ra bằng chứng không có kiến ​​thức để xác nhận khối. Giới thiệu quản trị nếu bị thách thức, xét xử thông qua mô hình 2 trên 3.

tiêu đề cấp đầu tiên

06 Tóm tắt

StarkNet sử dụng lộ trình Rollup dựa trên STARK. Mặc dù giải pháp này có những ưu điểm rõ ràng so với các giải pháp khác về phân cấp, không tin cậy và chống kiểm duyệt, nhưng nó cũng rất khó phát triển do các công cụ phát triển của giải pháp này chưa hoàn thiện. Hiệu suất vẫn cần được cải thiện.

Ngoài ra, mặc dù StarkNet đã nhận được sự hỗ trợ từ các nhà đầu tư tổ chức, nhưng nó vẫn đang trong giai đoạn thử nghiệm và chưa trưởng thành hoàn toàn. Trọng tâm của giai đoạn tiếp theo của StarkNet là nâng cấp trình sắp xếp thứ tự, hiện đang được phát triển bởi Python, được phát triển bởi Rust để cải thiện hiệu suất của chuỗi khối.

Ngoài ra, nó là để cải thiện sự phong phú và trưởng thành của các dự án trong hệ sinh thái. Người dùng gốc mã hóa có thể trải nghiệm các dự án trong hệ sinh thái, nhưng họ cần chú ý đến rủi ro của dự án và cần tiến hành đánh giá rủi ro đầy đủ trước khi chọn tham gia.

Mặc dù StarkNet có khả năng kháng lượng tử, nhưng vẫn còn phải xem liệu nó có phải là dấu chấm hết cho việc mở rộng quy mô hay không. Vì vậy, chúng ta cần tiếp tục quan tâm và đánh giá sự phát triển của StarkNet trong tương lai.

Bảo mật của chuỗi khối là ưu tiên hàng đầu của toàn bộ hệ sinh thái, không được bỏ qua, xâm phạm, xâm phạm, xâm phạm bảo mật của lớp cơ sở bên dưới, nếu không toàn bộ hệ sinh thái và sổ cái sẽ mất lòng tin của người dùng.

Do đó, trong thiết kế của lớp cơ sở, cần phải chọn thuật toán đồng thuận an toàn nhất, mặc dù mức tiêu thụ năng lượng của nó có thể cao. Vấn đề này có thể được giải quyết bằng cách áp dụng khai thác năng lượng tái tạo giống như công ty tiên phong của Công ty TNHH Năng lượng Ireland niêm yết trên Nasdaq.

Ngược lại, lớp thứ hai có thể được tập trung hơn để mang lại hiệu quả và tính linh hoạt cao hơn. Cho dù đó là lớp dưới cùng hay lớp trên, cần tuân theo các nguyên tắc thiết kế hợp lý để đảm bảo sự an toàn và độ tin cậy của toàn bộ hệ sinh thái.

Bất kỳ lớp hoặc ứng dụng thứ hai nào dựa trên tính bảo mật của lớp cơ sở Ethereum phải hoàn toàn tin tưởng vào thuật toán đồng thuận của lớp cơ sở để đảm bảo rằng tính bảo mật của nó không bị xâm phạm. Đây có thể là rủi ro hệ thống lớn nhất mà cộng đồng phải đối mặt.

Tuyên bố miễn trừ trách nhiệm:

Bài viết này sử dụng ChatGPT để cải thiện nội dung. ChatGPT là một mô hình ngôn ngữ trí tuệ nhân tạo được đào tạo trên các kỹ thuật tiên tiến và có thể tạo ra ngôn ngữ mà con người có thể hiểu được. Nội dung phân tích StarkNet ở trên chỉ dành cho sự hiểu biết của độc giả và nghiên cứu học thuật, và không cấu thành bất kỳ lời khuyên đầu tư nào.

Không ai nên sử dụng điều này làm tài liệu tham khảo duy nhất cho các quyết định đầu tư, họ cũng không nên tiến hành bất kỳ hoạt động giao dịch nào dựa trên nó. Thông tin trong bài viết này không được đảm bảo về tính chính xác, đầy đủ, tính kịp thời hoặc khả năng áp dụng và người đọc nên tự đánh giá và chịu rủi ro phát sinh từ đó.

Tác giả, nhà xuất bản cũng như bất kỳ bên liên quan nào sẽ không chịu trách nhiệm cho bất kỳ tổn thất hoặc thiệt hại nào phát sinh từ các kết luận hoặc quyết định của người đọc dựa trên bài viết này. Người đọc nên tham khảo ý kiến ​​​​của các cố vấn chuyên nghiệp hoặc đưa ra quyết định dựa trên đánh giá độc lập của riêng họ trước khi thực hiện bất kỳ khoản đầu tư nào.