Tác giả gốc: Jason Jiang
Khái niệm Lớp 2 sẽ bùng nổ vào mùa hè năm 2023. Những gã khổng lồ mã hóa như Coinbase và ConsenSys lần lượt đi đến hồi kết. Các giải pháp L2 gốc Base và Linea mà họ triển khai đã hoàn thành việc ra mắt mainnet trong hai tháng qua; StarkNet, được biết đến như một trong bốn vị vua L2, cũng đã hoàn thành thành công. bước nhảy vọt lượng tử vào mùa hè Việc nâng cấp đã cải thiện đáng kể hiệu suất và hiệu quả giao dịch, đồng thời đã bước vào một giai đoạn phát triển mới thành công.
Vào giữa mùa hè của L2, OKLink đã chính thức ra mắt trình duyệt blockchain StarkNet của dự án ngôi sao ZK Rollup. Đây là trình duyệt blockchain thứ 30 được OKLink ra mắt. OKLink cũng đã chính thức tập hợp Optimism, Arbitrum, zkSync và StarkNet, từng được mệnh danh là bốn vị vua của L2. Được biết, OKLink cũng sẽ ra mắt các trình duyệt blockchain L2 dòng ZK như Polygon-zk và Base trong tương lai để cung cấp dịch vụ và thông tin chi tiết về dữ liệu trên chuỗi toàn diện và phong phú hơn cho tất cả người dùng theo dõi và tham gia xây dựng sinh thái ZK Rollup và L2 .
Từ việc khởi chạy trình duyệt Starknet đến phân tích tài khoản trừu tượng, OKLink đã làm gì trong mùa hè L2?
Là một trong những dự án có giá trị định giá cao nhất và thị phần lớn nhất trong đường đua ZK Rollup, kể từ khi ra mắt mainnet vào tháng 11 năm 2021, hệ sinh thái Starknet đã bao gồm nhiều kịch bản và nhiều ví, dự án DeFi, GameFi và NFT đã được xây dựng trong khu vực của nó, trong mạng lưới blockchain. Hệ sinh thái StarkNet đang tăng tốc và trở nên năng động hơn và được doanh nghiệp đánh giá là có tiềm năng phát triển thành một trong những công ty dẫn đầu trong lộ trình L2.
So với các dự án mở rộng khác, ngoài việc sử dụng công nghệ zk-STARK làm hệ thống chứng minh (sẽ được giới thiệu bên dưới), Starknet còn khác biệt về tính sẵn có của dữ liệu và thiết kế hệ thống tài khoản.
Một lợi thế quan trọng của bản thân ZK Rollup so với Optimistic Rollup là nó có sẵn dữ liệu hiệu quả hơn. Trên thực tế, điều rất quan trọng là dữ liệu phải được tải lên mạng chính L1 để xác minh: chỉ khi dữ liệu được tải lên, mỗi giao dịch mới có thể được truy vấn trên trình duyệt blockchain, từ đó đảm bảo rằng giao dịch có thể theo dõi và kiểm chứng được, từ đó cải thiện an ninh mạng chuỗi khối. Trong hai kế hoạch mở rộng của Plasma và kênh trạng thái trước đó, dữ liệu và tính toán hoàn toàn được đặt trong mạng L2, khi mạng L2 tương tác với Ethereum, tất cả dữ liệu giao dịch của L2 đều không được đưa vào. Điều này dẫn đến thực tế là nếu Ethereum rời khỏi mạng L2, nó không thể khôi phục các thay đổi trạng thái trước đó, do đó, tính khả dụng của dữ liệu Ethereum phụ thuộc rất nhiều vào khả năng bảo vệ dữ liệu của L2.
Starknet hiện cung cấp ba chế độ sẵn có của dữ liệu, đó là:
1. Giải pháp tổng hợp: Sổ cái được xuất bản trực tiếp trên blockchain để đảm bảo tính khả dụng của dữ liệu trên chuỗi. Tuy nhiên, do phần lớn chi phí gas mà mạng chính tiêu thụ được sử dụng để lưu trữ tính khả dụng của dữ liệu thay vì xác minh bằng chứng, nên giải pháp này mắc hơn;
2. Giải pháp Validium: Hiệp hội sẵn có dữ liệu (DAC) đảm bảo tính bảo mật của sổ cái và chỉ lưu giá trị băm trên chuỗi, mô hình này giúp giảm lượng dữ liệu được lưu trữ trên chuỗi và giảm đáng kể chi phí, nhưng nó hy sinh phân cấp. Tính khả dụng của dữ liệu chỉ phù hợp với các giao dịch không quan trọng.
3. Gói ý chí: Khi bắt đầu mỗi giao dịch, người dùng có thể chọn chế độ DA của giao dịch, Rollup hoặc Validium, linh hoạt hơn.
Do tính sẵn có của dữ liệu hiệu quả hơn, người dùng có thể dễ dàng truy vấn chi tiết giao dịch trên chuỗi hơn bằng các công cụ như trình duyệt OKLink StarkNet.
Ngoài ra, trình duyệt Starknet mới ra mắt của OKLink cũng có thể cung cấp thông tin khối và địa chỉ phong phú giúp người dùng nhanh chóng hiểu được trạng thái thời gian thực của mạng StarkNet.
Về hệ thống tài khoản, Starknet là một trong số ít cơ sở hạ tầng blockchain hiện hỗ trợ việc trừu tượng hóa tài khoản. Hiện tại, việc trừu tượng hóa tài khoản có thể được triển khai trên cả Ethereum và Starknet, nhưng các phương pháp triển khai khác nhau: Ethereum bổ sung tính năng trừu tượng hóa tài khoản thông qua ERC-4337 mà không bỏ qua chức năng tài khoản bên ngoài (EOA), trong khi Starknet trực tiếp thêm tính năng trừu tượng hóa tài khoản. loại bỏ tác động có thể có của EOA và nhảy thẳng vào một thế giới nơi mọi tài khoản đều là tài khoản thông minh.
Mô hình này yêu cầu tất cả cơ sở hạ tầng của Starknet, bao gồm ví và trình thám hiểm khối, phải được thiết kế và xây dựng để trừu tượng hóa tài khoản: đây là mô hình duy nhất trong số tất cả các chuỗi L1 và L2; nhưng vì chỉ hỗ trợ trừu tượng hóa tài khoản nên điều này cũng gây khó khăn cho Starknet người dùng tương tác với các blockchain khác, bởi vì các blockchain khác có thể không hỗ trợ việc trừu tượng hóa tài khoản ở giai đoạn này. Thay vào đó, họ tương tác với blockchain và sở hữu tài sản bằng cách liên kết EOA với tài sản tài khoản. .
OKLink Browser hiện là một trong số ít tùy chọn có thể cung cấp phân tích tài khoản trừu tượng và đây cũng là cửa sổ trực quan duy nhất hỗ trợ truy vấn thao tác của người dùng. Thông qua trình duyệt đa chuỗi OKLink, người dùng có thể truy vấn thông tin hiệu quả về việc trừu tượng hóa tài khoản giống như sử dụng Google và hiểu thông tin liên quan về giao dịch và thực hiện hợp đồng trên blockchain, bao gồm phí giao dịch, thông tin và nhật ký liên quan đến thực hiện hợp đồng, từ đó hiểu rõ hơn về việc thực hiện hợp đồng thông minh, v.v.
Cho dù họ là người dùng thông thường thực sự tham gia vào các tương tác trên chuỗi StarkNet hay những nhà đầu cơ hy vọng tham gia vào các hoạt động airdrop trong tương lai, giờ đây họ có thể truy vấn tiến trình giao dịch trên chuỗi thông qua trình duyệt Starknet do OKLink cung cấp và đạt được điều này thông qua chức năng tổng hợp đa chuỗi và dữ liệu thống kê đa chiều Tính trừu tượng tài khoản chính xác, tương tác chuỗi chéo và truy vấn dữ liệu là những trình duyệt chính thức chưa từng có.
Trình duyệt Starknet là trình duyệt blockchain thứ 30 được OKLink ra mắt và là trình duyệt ZK Rollup thứ hai sau zkSync. Theo giám đốc sản phẩm của OKLink, OKLink sẽ tiếp tục phát triển đổi mới công nghệ ZK Rollup và bố cục sinh thái, đồng thời sẽ tiếp tục ra mắt trình duyệt blockchain cho các dự án ZK Rollup nổi tiếng như Polygon-zk và Base.
Sau đó, ai đó có thể hỏi: Tại sao OKLink lại quan tâm đến việc phát triển bản nhạc ZK Rollup và L2 như vậy? Công nghệ ZK đã phát triển như thế nào đến trình độ ngày nay? Hãy quay trở lại cội nguồn và khám phá lý do đằng sau sự chú ý của ZK Rollup.
Tại sao chúng ta nên quan tâm đến ZK Rollup?
Với số lượng ứng dụng phi tập trung (DApps) được triển khai trên Ethereum ngày càng tăng, các hoạt động tương tác trên chuỗi cũng ngày càng trở nên thường xuyên hơn, mạng lưới tắc nghẽn và phí gas cao khiến việc mở rộng trở nên cấp thiết. Có hai phương pháp mở rộng phổ biến: một là mở rộng trên chuỗi để biến đổi chính blockchain; phương pháp còn lại là ngoài chuỗi bằng cách đặt các tính toán và thực hiện giao dịch ngoài chuỗi và chuỗi chính chịu trách nhiệm xác minh tính hợp lệ của các giao dịch và cung cấp bảo mật. Giải pháp mở rộng chúng ta thường gọi là giải pháp L2.
So với việc mở rộng trên chuỗi, việc mở rộng L2 có thể giảm đáng kể các hạn chế của mạng chính mà không làm thay đổi sự đồng thuận của mạng chính. Các kênh trạng thái, Plasma, chuỗi bên, v.v. đều là những giải pháp kỹ thuật từng xuất hiện trong bản mở rộng L2, nhưng hiện tại các nhà phát triển đang chuyển sang lộ trình mở rộng L2 với Rollup làm cốt lõi.
Cái gọi là Rollup đề cập đến việc thực hiện giao dịch bên ngoài cho L2, sau đó đóng gói và nén nhiều dữ liệu giao dịch, sau đó gửi chúng và gốc trạng thái đến mạng L1 để xác minh và xác nhận. Rollup cải thiện hiệu suất bằng cách xác minh nhiều giao dịch cùng một lúc và bằng cách đồng bộ hóa dữ liệu giao dịch và trạng thái mạng với L1, nó đảm bảo tính khả dụng của dữ liệu trên chuỗi đồng thời đảm bảo tính bảo mật của chuỗi chính.
Điều này vẫn còn rất trừu tượng, vì vậy hãy sử dụng một ví dụ sinh động:
Xiao Ou lấy thẻ mua sắm ở trung tâm mua sắm gần công ty và nạp 2.000 nhân dân tệ, mỗi lần đi mua sắm chỉ cần quẹt thẻ mua sắm trực tiếp thay vì thanh toán bằng thẻ ngân hàng. Một tháng sau, Xiao Ou không có ý định tiếp tục mua sắm ở trung tâm mua sắm này, khi thẻ mua sắm bị hủy, vẫn còn số dư 200 tệ nên anh rút số dư vào thẻ ngân hàng.
Trong quá trình tiêu dùng của tháng này, thẻ ngân hàng của Xiao Ou chỉ tương tác với tài khoản của trung tâm mua sắm hai lần và tất cả hoạt động tiêu dùng trong thời gian này đều được hoàn thành trong hệ thống nội bộ của trung tâm mua sắm. Phương pháp này làm giảm đáng kể áp lực thanh toán do mạng ngân hàng mang lại. Rollup tương tự có thể giảm áp lực giao dịch trên mạng chính.
Trước khi Rollup được đề xuất, các giải pháp mở rộng như Plasma sẽ không gửi dữ liệu được tạo trong L2 đến chuỗi chính để xác minh lưu trữ mà chỉ gửi kết quả trạng thái cuối cùng. Điều này làm cho kết quả không thể xác minh được, giống như trung tâm mua sắm chỉ cung cấp cho bạn số dư cuối cùng chứ không cung cấp chi tiết giao dịch.
Rollup sẽ đưa dữ liệu lên main chain nhưng sẽ sử dụng các phương pháp mã hóa thông minh để nén dữ liệu ở mức tối đa, đồng thời sẽ xóa, giảm một số dữ liệu một cách thích hợp dựa trên đặc điểm của chính Rollup, chỉ đảm bảo rằng mọi người đều có thể xác minh dữ liệu được gửi cuối cùng.
Theo các phương pháp đồng bộ hóa dữ liệu giao dịch với L1 khác nhau, Rollup thường được chia thành hai sơ đồ: ZK Rollup và OP Rollup. Chìa khóa của ZK Rollup là đặt câu hỏi về mọi thứ, điều này trái ngược với giả định lạc quan rằng không có ai xấu xa của OP Rollup.
Quay lại ví dụ trên, sự khác biệt giữa ZK Rollup và OP Rollup như sau:
Nếu Xiaoou không kiểm tra chi tiết sau khi rút số dư cuối cùng mà đợi kiểm tra khi anh ấy đột nhiên nhận thấy có điều gì đó không ổn vào một ngày nào đó trong tương lai, thì nó sẽ tương tự như OP Rollup; nhưng nếu Xiaoou đang rút số dư, anh ấy sẽ hỏi trung tâm mua sắm cung cấp tệp chi tiết giao dịch để đảm bảo tính chính xác của số dư, nó tương tự như ZK Rollup.
Mặc dù OP Rollup đang ở vị trí dẫn đầu về khối lượng giao dịch và thị phần ở giai đoạn này do độ khó triển khai kỹ thuật thấp hơn và khả năng tương thích cao hơn với Ethereum. Tuy nhiên, do sử dụng cơ chế chống gian lận, thời gian rút tiền và tính bảo mật của chương trình OP Rollup hiện đang có vấn đề và việc tối ưu hóa chi phí của nó cũng kém hơn một chút so với ZK Rollup. Điểm yếu của ZK Rollup về cơ bản là vấn đề kỹ thuật. Với số lượng lớn các nhà phát triển xuất sắc đầu tư vào nghiên cứu liên quan, với độ bảo mật cao hơn, hiệu quả xác minh nhanh hơn và tính sẵn có của dữ liệu tốt hơn về mặt lý thuyết, ZK Rollup có thể trong tương lai sẽ trở thành một lựa chọn mở rộng tốt hơn.
Sự phát triển của công nghệ ZK, từ zk-SNARK đến zk-STARK
ZK Rollup là giải pháp L2 dựa trên công nghệ ZK để triển khai Rollup. Sự khác biệt chính giữa các dự án nằm ở các công nghệ ZK khác nhau được sử dụng. Hiện tại, các công nghệ ZK chủ đạo trên thị trường bao gồm ba loại là zk-SNARK, zk-STARK và Bulletproofs. Trong số đó, zk-SNARK và zk-STARK đều được sử dụng trong sơ đồ mở rộng ZK Rollup (Lưu ý: Chống đạn đã từng được sử dụng trong thiết kế đồng tiền riêng tư).
Công nghệ zk-SNARKs được đề xuất bởi Alessandro Chiesa, giáo sư tại Đại học California, Berkeley và những người khác trong bài báo Từ khả năng chống va chạm có thể trích xuất đến những lập luận ngắn gọn về kiến thức không tương tác và ngược lại vào năm 2012. Đó là sơ đồ ZK sớm nhất và phổ biến nhất. Một trong những công nghệ ZK được sử dụng rộng rãi nhất trong lĩnh vực blockchain. SNARK là bằng chứng không tương tác và người xác minh chỉ cần sử dụng bằng chứng do người chứng minh tạo ra để có được kết quả xác minh. Các dự án ZK Rollup nổi tiếng như zkSync là các giao thức mở rộng chi phí thấp và không cần tin cậy dựa trên công nghệ zk-SNARK, được sử dụng để thanh toán chi phí thấp có thể mở rộng trên Ethereum.
Tuy nhiên, ZK-SNARK có một số vấn đề, chẳng hạn như công nghệ này sử dụng mật mã đường cong elip (ECDSA) để mã hóa. Mặc dù thuật toán ECDSA hiện tại an toàn nhưng sự phát triển của máy tính lượng tử có thể phá vỡ mô hình bảo mật của nó; cài đặt đáng tin cậy và có thể có nguy cơ tập trung. Do đó, vào năm 2018, Eli-Ben Sasson, người đồng sáng lập StarkWare đã đề xuất một giải pháp công nghệ ZK mới: zk-STARKs trong bài báo “Tính toàn vẹn tính toán an toàn sau lượng tử, có thể mở rộng và minh bạch”.
zk-STARKs là một sự phát triển kỹ thuật của thuật toán zk-SNARKs nhằm giải quyết điểm yếu của SNARK là dựa vào cài đặt đáng tin cậy và có thể hoàn tất xác minh blockchain mà không cần dựa vào bất kỳ cài đặt tin cậy nào, từ đó giảm sự phức tạp khi khởi chạy mạng và loại bỏ mọi nguy cơ thông đồng . Đồng thời, zk-STARK sử dụng phương pháp mã hóa gọn gàng hơn để tránh nhu cầu hiểu biết về đường cong elip, cặp đôi và giả định hàm mũ, thay vào đó dựa vào lý thuyết băm và thông tin, do đó về mặt lý thuyết có khả năng chống lại các cuộc tấn công lượng tử.
Starknet, được biết đến như một trong bốn vị vua L2, hiện đang sử dụng bằng chứng hợp lệ SATRK để giải quyết vấn đề về khả năng mở rộng của Ethereum.
Ngoài các công nghệ cơ bản khác nhau, dự án ZK Rollup hiện tại còn tạo ZKP từ dữ liệu giao dịch và gửi nó đến chuỗi chính để xác minh. Sự khác biệt trực tiếp giữa các dự án được phản ánh nhiều hơn ở khả năng tương thích với EVM.
Theo mức độ sửa đổi và khả năng tương thích EVM, Vitalik chia ZK Rollups hiện tại thành các cấp độ sau:
Nói chung, khả năng tương thích với Ethereum/EVM càng tốt thì khối lượng công việc tái thiết thiết kế cần thiết càng nhỏ nhưng khối lượng công việc tính toán để tạo xác minh ZK trong công việc tiếp theo càng lớn. Tuy nhiên, với tư cách là hai dự án dẫn đầu tuyệt đối trong đường đua ZK Rollup hiện tại, dù là StarkNet hay zkSync, ở giai đoạn này, chúng chỉ thuộc về ZK Rollups, tương đương với các ngôn ngữ lập trình cấp cao. Tuy nhiên, mặc dù bản thân StarkNet không tương thích với EVM, nhưng nó có thể tương thích với Ethereum thông qua các phương pháp khác bao gồm Kakarot (Kakarot là zkEVM được viết ở Cairo, là zkEVM có mã byte tương đương với EVM), do đó giảm bớt khó khăn trong quá trình phát triển.
Tóm tắt
Công nghệ ZK có thể là một trong những công nghệ bị đánh giá thấp nhất trong thời đại chúng ta, không giống như tin tức rầm rộ liên quan đến trí tuệ nhân tạo và công nghệ dữ liệu lớn, cho đến nay rất ít người quan tâm đến công nghệ ZK. Nhưng bất chấp điều này, công nghệ này vẫn là một sự đổi mới tuyệt vời vì nó mang lại cho chúng ta sự bảo vệ quyền riêng tư có giá trị trong kỷ nguyên dữ liệu lớn nơi thông tin cá nhân không có nơi nào để che giấu. Là hướng ứng dụng quan trọng hiện nay của công nghệ ZK trong lĩnh vực blockchain, ZK Rollup cũng được kỳ vọng sẽ giải quyết vấn đề lớn nhất hạn chế ứng dụng blockchain quy mô lớn, cho phép sử dụng rộng rãi nhiều cải tiến Web3 hơn trong môi trường kinh doanh phức tạp trong thực tế.
