Tác giả: Người đóng góp cốt lõi cho Biteye Anci
So với những câu chuyện ồn ào khác trong thế giới web3, đường đua ZK đã thể hiện một quá trình xây dựng cơ sở hạ tầng dài hơi, nhàm chán nhưng đầy ý nghĩa trong một thời gian dài. Giống như một sự tu luyện tâm linh khó khăn, người bên trong đang loay hoay tìm kiếm, còn người bên ngoài đang ngắm hoa trong sương mù. Tuy nhiên, tin vui là tốc độ phát triển của ZK trong hai năm qua đã vượt xa sự mong đợi. Bộ đôi ZK Rollup ZkSync và Starknet đã đạt được những cải tiến rất lớn về hiệu suất và giá thành. Sau bản nâng cấp Ethereum EIP-4844, ZK Rollup dần trở nên mạnh mẽ hơn trong cuộc cạnh tranh với OP Rollup. Điều thú vị hơn nữa là đối thủ cạnh tranh cũ StarkWare đã hợp tác với Polygon Labs để nâng cấp giao thức STARK, vốn luôn thể hiện sức mạnh vượt trội của ZK, và chính thức ra mắt Circle STARK, mang lại một bước nhảy vọt khác về khả năng chứng minh của ZK. Nếu bạn đã đọc bài viết năm ngoái (Mùa hè L2 đang đến? Một bài viết nắm vững các nguyên tắc kỹ thuật và hệ sinh thái của StarkNet), bạn muốn hiểu sâu hơn về quy trình chứng minh ZK tuyệt vời đằng sau Starknet, nhưng bạn bị cản trở bởi nhiều vấn đề toán học khó khăn khác nhau. các công thức và sự phức tạp của trường kỹ thuật, thì bạn cũng có thể theo dõi bài viết này để hiểu một số vấn đề chính về ZK. Chúng ta sẽ cố gắng tránh phần toán học khó chịu và thay vào đó thảo luận về những ưu điểm kỹ thuật của Starknet, đặc biệt là những đột phá lớn được phát hành gần đây. 01 Hãy bắt đầu với ZK là nhãn và tên viết tắt của Zero Knowledge Proof Systems. Là một môn khoa học hiện nay, ZK chứng minh giống như một truyền thuyết bí ẩn - chứng minh một sự thật nào đó mà không tiết lộ thêm bất kỳ thông tin nào. Làm thế nào để đạt được mục tiêu lý tưởng như vậy? Ở đây chúng ta cần đưa ra một sự tương tự với một tình huống quen thuộc với tất cả những học sinh đã từng làm việc đó. Thông thường, cách đơn giản nhất để học sinh chứng minh thành tích học tập xuất sắc của mình là xuất trình bảng điểm. Trên cơ sở đảm bảo hệ thống thi cử hiệu quả và công bằng, bảng điểm có điểm A thường có thể xác nhận trình độ học vấn của học sinh mà không thể hiện bất kỳ nội dung học tập cụ thể nào. Quá trình chứng minh ZK cũng rất giống nhau. Nói một cách đơn giản, các thành viên cốt lõi của nó có hai phần: Người chứng minh và Người xác minh. Người chứng nhận giống như hệ thống kiểm tra của trường. Nó có một quy trình cố định để tạo bảng điểm cho học sinh làm bằng chứng về khả năng học tập của học sinh và nộp cho phụ huynh/công ty với tư cách là người xác minh. Ở đây chúng ta có thể thấy rằng phần khó khăn nhất trong toàn bộ quá trình chứng minh là quá trình người chứng minh tạo ra bằng chứng. Trong chứng minh ZK cụ thể, nó có thể được chia thành hai phần - cam kết số học và đa thức. 1.1 Số học Số học là việc chuyển các bài toán chứng minh phức tạp thành các bài toán đại số. Cụ thể là chuyển chứng thức (Witness) mà chúng ta muốn chứng minh thành một tập các ràng buộc đa thức (Ràng buộc đa thức). Điều này tương tự như cách chúng ta chuyển năng lực học tập của học sinh thông qua các kỳ thi thành một tập hợp điểm. Nhân chứng: Nhân chứng là cái mà chúng ta thường gọi là dữ liệu thô của các phép tính ngoài chuỗi, bao gồm dữ liệu giao dịch, dữ liệu trạng thái tài khoản, kết quả tính toán trung gian, v.v. Đó là dữ liệu riêng tư mà chúng tôi sử dụng để chứng minh tính hợp lệ của giao dịch nhưng không muốn thực hiện nó công khai. Ràng buộc đa thức: Ràng buộc đa thức. Điều cần làm trong quá trình chứng minh ZK là chuyển các bài toán phức tạp thành các bài toán. Phần quan trọng nhất của phương pháp chứng minh toán học là tìm ra một đa thức và cuối cùng chứng minh rằng bạn đã thực sự tìm thấy nó. Ràng buộc đa thức đề cập đến các điều kiện mà đa thức cần phải thỏa mãn. 1.2 Cam kết đa thức Cam kết đa thức là để chứng minh bằng một chứng minh toán học cụ thể rằng bạn đã tìm được một đa thức (Đa thức) thỏa mãn mọi ràng buộc do số học tạo ra ở bước trước. Nếu đa thức chứng minh hợp lệ thì chứng minh toán học thành công, nghĩa là bài toán ta muốn chứng minh là đúng. Quá trình này tương tự như cách cuối cùng chúng tôi nhận được điểm trung bình có trọng số hoặc bảng điểm, điều này có thể đảm bảo rằng điểm của học sinh đều là điểm A, từ đó chứng minh thành tích học tập xuất sắc của học sinh. Nhưng bạn có thể đặt câu hỏi rằng trong thực tế, bảng điểm thường không thể thể hiện chính xác năng lực học tập của một người, bởi vì hệ thống kiểm tra con người của chúng ta vẫn còn quá nhiều sơ hở và không thể kiểm soát được. Trong thế giới của ZK, với sự trợ giúp của toán học với các thủ tục đúng sai rõ ràng cũng như công khai và minh bạch, mong muốn này đang được hiện thực hóa (giống như các hợp đồng thông minh và blockchain đảm bảo sự công bằng và minh bạch). 02 SNARK vs STARK SNARK và STARK hiện là hai giao thức chứng minh ZK được sử dụng phổ biến nhất và cũng là các giao thức cơ bản được ZkSync và Starknet sử dụng tương ứng. Bởi vì những cái tên và bản nhạc giống nhau thường được so sánh. Tuy nhiên, trước khi so sánh, chúng tôi cũng có thể giới thiệu hai hình ảnh để hiểu rõ hơn về hệ thống chứng minh ZK được xây dựng bởi hai giao thức này từ góc độ lịch sử phát triển. 2.1 Groth và SNARK Jens Groth là giáo sư Khoa Khoa học Máy tính tại UCL (hiện là giáo sư danh dự, hiện là nhà khoa học trưởng của Nexus, theo hướng zkVM). Người này đã làm việc hiệu quả hàng năm kể từ năm 2009, xuất bản nhiều bài báo liên quan đến kiến thức không có kiến thức như The Groth09, Groth10, v.v. mà chúng ta thường nghe thấy trong lĩnh vực ZK bao gồm tên của anh ấy và năm xuất bản. (Lưu ý: Thông thường vì tên các bài báo dài và khó phát âm nên cộng đồng học thuật sẽ dùng tên + năm và viết tắt để chỉ một số bài báo quan trọng. Phổ biến hơn là BBHR18, đặt nền móng cho STARK, và PGHR13, được Zcash sử dụng. Cả hai đều được viết bởi nhiều người. Tên viết tắt của tác giả được kết hợp với năm. Rất hiếm khi một người có tên đầy đủ như Groth và có thể ghi theo trình tự thời gian.) Có hai. những cái nổi tiếng nhất: [Groth10] Ghép nối ngắn- Dựa trên các đối số không có kiến thức không tương tác, một sơ đồ chứng minh không tương tác hoàn chỉnh được đề xuất và được coi là tiên phong về mặt lý thuyết của SNARK. [Groth16] Về kích thước của các đối số không tương tác dựa trên ghép nối, dựa trên Groth10, nó đơn giản hóa kích thước bằng chứng và cải thiện hiệu quả xác minh và vẫn được sử dụng rộng rãi cho đến ngày nay. SNARK đã được phát triển và cải tiến trên cơ sở nghiên cứu của Gorth. SNARK, viết tắt của Đối số kiến thức không tương tác ngắn gọn, là một hệ thống chứng minh không có kiến thức ngắn gọn, khả năng sử dụng cực kỳ mạnh mẽ của nó đã giúp ZK nhanh chóng được áp dụng trong lĩnh vực tiền điện tử. 2.2 Eli Ben-Sasson và STARK Điều đáng nói là người đồng sáng lập Zerocash, giao thức đầu tiên áp dụng SNARK cho tiền điện tử, không ai khác chính là Eli Ben-Sasson—sau này là người đồng sáng lập StarkWare và người sáng lập STARK. Một trong những nhà phát minh. Không những vậy, Eli Ben-Sasson còn tích cực thúc đẩy triển khai giao thức SNARK trong những năm đầu và liên tiếp xuất bản các bài báo vào năm 2013 và 2014, đề xuất và tối ưu hóa cấu trúc của SNARK, nâng cao tính thực tiễn và hiệu quả, giúp SNARK thực sự nhận được sự quan tâm rộng rãi. và ứng dụng. Tuy nhiên, có lẽ họ đã quá quen với những khó khăn mà SNARK phải đối mặt. Năm 2018, Eli Ben-Sasson và những người khác đã xuất bản [BBHR18] Tính toàn vẹn tính toán có thể mở rộng, minh bạch và an toàn sau lượng tử. đề xuất một giải pháp hoàn thiện hơn cho giải pháp của ZK Rollup. STARK - Đối số kiến thức minh bạch có thể mở rộng, có lợi thế trong các bằng chứng quy mô lớn và toàn bộ quy trình chứng minh là minh bạch, không phụ thuộc vào bên thứ ba đáng tin cậy và có bảo mật ở cấp độ chống tấn công lượng tử. (Lưu ý: Cần phải nói thêm rằng mặc dù những câu chuyện sử thi anh hùng luôn được yêu thích nhưng không một người nào có thể lật ngược tình thế mà có thể đạt được thành tựu nào. Ngược lại, cả SNARK và STARK đều là kết quả của sự nỗ lực chung của vô số nhà khoa học. Chúng tôi mang theo Mục đích của việc nói về một nhân vật duy nhất chỉ là để làm cho lịch sử phát triển quan trọng này của ZK trở nên sống động hơn từ một khía cạnh. Ngay cả khi ai đó vĩ đại như Groth, bài viết của anh ta phải dựa trên nghiên cứu của KZG và những người khác (Aniket Kate, Gregory Zaverucha. , Ian Goldberg). Nó chỉ có thể được hiện thực hóa về mặt kết quả, và các tác giả đề xuất STARK đều có những kỹ năng độc đáo. Chúng ta có thể tiếp tục tìm hiểu sâu hơn trong tương lai) 2.3 SNARK vs STARK Vậy đâu là lý do khiến Eli Ben- Sasso quyết định bắt đầu một công việc kinh doanh mới? SNARK gặp khó khăn gì? 2.3.1 Tính minh bạch Trước khi trả lời câu hỏi trên, có lẽ chúng ta muốn trả lời một câu hỏi khác: Trong lĩnh vực mã hóa, cái gì đắt nhất? Câu trả lời mà Satoshi Nakamoto đưa ra là - hãy tin tưởng. SNARK vừa bước vào bãi mìn này. SNARK áp dụng phương pháp KZG khi thực hiện các cam kết đa thức và cam kết KZG yêu cầu Thiết lập đáng tin cậy để tạo một chuỗi các chuỗi tham chiếu chung (Chuỗi tham chiếu chung, CRS), sau đó tạo mật khẩu trong quy trình chứng minh và xác minh. Quay trở lại ví dụ về phiếu điểm của chúng ta, lý do tại sao phụ huynh hoặc công ty có thể đánh giá thành tích học tập xuất sắc của học sinh khi họ thấy điểm trung bình là A là vì tất cả chúng ta đều đồng ý rằng thứ tự khả năng học tập từ cao đến thấp là A, B, C, D. Chỉ theo tiêu chuẩn này thì điểm A mới có ý nghĩa. Nhưng điều gì sẽ xảy ra nếu hệ thống chấm điểm của trường bị hack và xếp hạng năng lực học tập trở thành C, A, B, D?Những học sinh ban đầu nhận được điểm C sẽ được coi là những học sinh xuất sắc và được ưu tiên. Điều này dẫn đến sự sai lầm của công lý. Từ đó chúng ta có thể thấy rằng tính bảo mật của tiêu chuẩn này được mọi người công nhận là rất quan trọng. Trong thế giới mã hóa tuân theo quy luật của khu rừng tối tăm, Thiết lập đáng tin cậy này đã trở thành một mối nguy hiểm tiềm ẩn rất lớn. Biết được điều này, tại sao SNARK nhất quyết sử dụng phương pháp KZG? Điều này là do kích thước chứng minh cuối cùng thu được bằng KZG quá nhỏ. Bạn có nhớ chữ “S” trong SNARK là viết tắt của từ gì không? Thành công! Sự cám dỗ của kích thước nhỏ là quá lớn, đặc biệt là trước khi nâng cấp Ethereum Cancun. Kích thước bằng chứng được sắp xếp hợp lý đã mang lại tính thực tế và hiệu quả tốt hơn cho SNARK và đã được nhiều dự án chấp nhận hơn trong một thời gian dài. Vì vậy, có sự đánh đổi ở khắp mọi nơi. Nói về STARK, để giải quyết vấn đề cốt lõi của Không đáng tin cậy, STARK đã áp dụng phương pháp FRI (Fast Reed-Solomon Interactive Oracle Proofs) để thực hiện các cam kết đa thức. Cụ thể, phương pháp FRI thực hiện mã hóa Reed Solomon trên đa thức, lưu trữ chúng dưới dạng cây Merkle và hoàn thành nhiều vòng tương tác giữa người xác minh và người chứng minh thông qua Oracle, do đó đạt được khả năng xác minh và minh bạch (trong suốt, STARK "T" in). (Lưu ý: Cần lưu ý rằng Oracle ở đây không phải là oracle tập trung hay bán tập trung mà chúng ta thường thấy trong thế giới web3, mà là một oracle phi tập trung được mô phỏng cục bộ bởi người xác minh và người chứng minh theo quy tắc giao thức. Một thực thể ảo mà là một cơ chế bằng chứng tương tác.) Nếu muốn so sánh nó với ví dụ về bản ghi, chúng ta có thể coi quy trình cam kết đa thức của hệ thống STARK như một hệ thống tính điểm được xây dựng trên chuỗi, được đảm bảo bởi công nghệ blockchain. hệ thống. Ngoài ra, trong bằng chứng STARK, người xác minh và người chứng minh cũng có thể mô phỏng quá trình tương tác bằng cách sử dụng đèn hiệu ngẫu nhiên công khai (Đèn hiệu ngẫu nhiên) và cuối cùng đóng gói nó thành một bằng chứng hoàn chỉnh để đạt được bằng chứng không tương tác và có được khả năng sử dụng cũng như tính không đồng bộ tốt hơn. 2.3.2 Khả năng mở rộng Sự tiến bộ của STARK còn được thể hiện ở tính linh hoạt và linh hoạt trong việc xử lý các vấn đề tính toán phức tạp quy mô lớn và kích thước bằng chứng trung bình của nó sẽ giảm khi quy mô của bằng chứng tăng lên, tạo thành hiệu ứng mạng, tức là “S” có nghĩa là . Có thể mở rộng được đại diện. Không giống như SNARK, sử dụng các phương pháp tính toán mạch được biểu thị bằng R1CS cho số học, đòi hỏi phải thiết kế lại các mạch cho các vấn đề khác nhau, STARK sử dụng phương pháp AIR (Biểu diễn trung gian đại số), là một phương pháp tính toán máy tổng quát liên kết các mạch khác nhau thông qua các phương trình chuyển trạng thái. , hầu hết mọi vấn đề tính toán đều có thể được trừu tượng hóa thành một tập hợp các ràng buộc đa thức. Đồng thời, do phương pháp FRI được STARK sử dụng sử dụng cấu trúc đệ quy để giảm dần mức độ của đa thức khi tạo ra các chứng minh đa thức nên sự tăng trưởng của kích thước chứng minh chậm hơn nhiều so với sự tăng trưởng của kích thước bài toán (mức logarit). Do đó, nó có lợi thế đáng kể khi xử lý các hoạt động quy mô lớn. Quay lại ví dụ về điểm số và bài kiểm tra, nếu so sánh quá trình tính toán của chúng ta với một bài kiểm tra thì SNARK và STARK lần lượt giống như đề thi truyền thống và bài thi trên máy tính. Trong ngắn hạn hoặc đối với một trường học nhỏ, bài kiểm tra truyền thống rẻ và nhanh chóng, trong khi các bài kiểm tra trên máy tính đòi hỏi sự chuẩn bị về phần mềm và phần cứng, điều này có vẻ tốn kém và rắc rối. Nhưng đối với các tổ chức thi toàn cầu quy mô lớn, một máy tính có thể thực hiện các bài thi thuộc nhiều loại hình và cấp độ khác nhau. Sự phong phú và ngẫu nhiên của ngân hàng câu hỏi không còn yêu cầu giáo viên phải chuẩn bị câu hỏi cho mỗi kỳ thi, tiết kiệm rất nhiều nhân lực. Về lâu dài, khi số lượng thí sinh tích lũy, chi phí đầu tư cho phần mềm và phần cứng cũng sẽ giảm đi đáng kể. 2.3.3 Khả năng chống lại các cuộc tấn công lượng tử Ngoài những thành tựu của "S" và "T", STARK còn sử dụng các hàm băm kháng lượng tử (như Rescue hash, thường được coi là an toàn sau lượng tử, trong khi SHA truyền thống Hàm băm -256 được cho là có thể dễ vỡ trong điện toán lượng tử), các bài toán đại số bảo mật (một số bài toán đại số phức tạp mà người chứng minh cần chứng minh hiện được coi là khó giải trên máy tính lượng tử), v.v., để đạt được khả năng chống lại lượng tử các cuộc tấn công. 03 Circle STARK còn hơn thế nữa, không khó để nhận thấy SNARK là giải pháp tất yếu, nhanh chóng và khả thi trong ngắn hạn. Nhưng thời gian trôi qua, khi khối lượng giao dịch tăng lên, độ phức tạp tính toán bùng nổ và mọi người ngày càng nhận thức được rằng niềm tin thực sự là thứ xa xỉ nhất trong lĩnh vực mã hóa, tính ưu việt của STARK sẽ càng trở nên rõ ràng. Điều này cũng dần được bộc lộ trong ngành. Sử dụng phiên bản Boojum do ZkSync, ứng dụng chính của SNARKs ra mắt, chúng tôi đã bắt đầu khám phá quá trình chuyển đổi dần dần từ SNARK sang STARK. Polygon, được biết đến với tính toàn vẹn, cũng đã sớm chuyển sang STARK. Hệ thống chứng minh nâng cấp Plonky3 năm nay dựa trên Circle STARK mới nhất do Polygon Labs và StarkWare cùng phát triển. Circle STARK là giao thức chứng minh ZK thế hệ mới dựa trên bản cập nhật STARK Do sự ra đời thông minh của Circle Curve, trường số nguyên tố nhỏ M31 đã được áp dụng thành công cho hệ thống chứng minh, cải thiện đáng kể hiệu quả chứng minh. Trong hệ thống chứng minh ZK, trường số nguyên tố đóng một vai trò quan trọng. Bằng cách thực hiện trên trường số nguyên tố, phép chứng minh đạt được. Việc lựa chọn trường chính thể hiện sự cân bằng giữa hiệu quả và bảo mật. Trường số nguyên tố càng nhỏ thì số lượng thao tác cần thực hiện càng nhỏ và hiệu quả càng cao. Mặt khác, các trường số nguyên tố lớn thường thể hiện mức độ bảo mật cao hơn, đó là lý do tại sao cả STARK và SNARK trước đây đều sử dụng các trường số nguyên tố lớn. Sự đổi mới của Circle STARK được thể hiện qua việc sử dụng trường số nguyên tố nhỏ như M31 thông qua sự kết hợp đặc biệt của các đường cong tròn, không chỉ cải thiện hiệu quả chứng minh mà còn đảm bảo thành công tính bảo mật sau lượng tử. StarkWare hiện đã ra mắt và cung cấp mã nguồn mở cho bộ chứng minh thế hệ mới dựa trên Circle STARK, Stwo. Người ta kỳ vọng rằng hiệu quả chứng minh của Stwo sẽ gấp 100 lần so với bộ chứng minh thế hệ đầu tiên là Stone. Stwo sẽ hoàn toàn tương thích với Advanced Cario, Starknet Pover (SHARP Prover) hiện tại dựa trên Stone Prover, cũng sẽ sử dụng Stwo trong tương lai. Khi đó, các nhà phát triển và người dùng hệ sinh thái Starknet sẽ được hưởng lợi trực tiếp từ những cải tiến hiệu suất do Stwo mang lại mà không cần phải thực hiện bất kỳ thao tác nào. Ngoài việc cải thiện tốc độ chứng minh, Brendan Farmer, người đồng sáng lập Polygon cũng đề cập rằng việc áp dụng Circle STARK cuối cùng sẽ giảm đáng kể chi phí và mở rộng sang nhiều bằng chứng ứng dụng hơn. Eli Ben-Sasson thậm chí còn lạc quan hơn rằng việc ra mắt Circle STARK có thể được coi là một cột mốc quan trọng. Hệ thống chứng minh hiệu quả nhất sẽ ra mắt trong tương lai gần và sẽ tiếp tục có nhiều đột phá và cải tiến hơn. 04 Starknet tiếp tục nỗ lực cải thiện hiệu suất. Qua phân tích trên, chúng ta có thể thấy rõ rằng hệ thống STARK proof và phiên bản nâng cấp mới nhất của nó Circle STARK xứng đáng là những thế lực tiên tiến và là ngôi sao của ngày mai. trong ZK Rollup có một tương lai tươi sáng. Nhưng có lẽ chính vì chuyện tốt khó đến nên Starknet đã gây tranh cãi suốt một thời gian dài. Lý do bao gồm kinh nghiệm và chi phí. May mắn thay, nhờ những nỗ lực không ngừng của StarkWare, những vấn đề này lần lượt trở thành lịch sử. Dưới đây chúng tôi sẽ xem xét một số nâng cấp quan trọng gần đây của Starknet, cũng như các hành động tiếp theo được lên kế hoạch theo lộ trình. 4.1 V0.12 Starknet Alpha v0.12.0, tên mã Quantum Leap, sẽ ra mắt trên mainnet vào tháng 7 năm 2023. Trọng tâm của việc tối ưu hóa này là cải thiện hiệu suất mạng và tối ưu hóa trải nghiệm người dùng. Thông lượng và độ trễ thường được coi là thước đo hiệu suất mạng. Bằng cách tối ưu hóa bộ sắp xếp thành Rust và nâng cấp ngôn ngữ Cario, thời gian thực thi khối của Starknet đã giảm đáng kể và thông lượng đã tăng vọt từ 30.000 CSPS (Cairo bước mỗi giây, Cario bước mỗi giây) trong phiên bản v0.11.0 lên 220.000 CSPS. Hiệu suất đã được cải thiện rất nhiều. Vấn đề trải nghiệm tương tác vốn bị chỉ trích rộng rãi cũng đã được giải quyết. Tình trạng chờ xử lý từng kéo dài trung bình 20 phút để chờ xác nhận mạng chính sẽ trở thành quá khứ. Sau khi khách hàng xác nhận ở Lớp 2, giao dịch được coi là thành công nên thời gian giao dịch được rút ngắn xuống còn khoảng 10 giây và trải nghiệm được cải thiện rất nhiều. Lần nâng cấp này, được coi là một cột mốc quan trọng, đã giúp TVL của Starknet vượt mốc 100 triệu USD một cách thành công, với mức tăng hơn 43% trong một tuần. 4.2 V0.13 Phiên bản v0.13.0 ra mắt vào tháng 1 năm 2024 đã mở rộng kích thước khối, giảm đáng kể 50% chi phí tính toán và giảm 25% chi phí sẵn có của dữ liệu. V0.13.1 đã triển khai hỗ trợ trước cho Ethereum EIP-4844, vì vậy Starknet đã kích hoạt chức năng blob trong vòng vài giờ sau khi nâng cấp Cancun và trở thành L2 đầu tiên giảm đáng kể phí người dùng. Trong thời gian còn lại của năm nay, theo kế hoạch lộ trình, V0.13.2 sẽ hỗ trợ song song hóa giao dịch, có thể xử lý nhiều giao dịch hơn cùng lúc, cải thiện thông lượng mạng và giảm độ trễ. V0.13.3 sẽ tích hợp Cairo Native vào bộ sắp xếp Starknet để cải thiện hơn nữa hiệu suất của bộ sắp xếp. Tốc độ mạng khi đó sẽ được tăng tốc hơn nữa. 4.3 V0.14 và các kế hoạch nâng cấp tiếp theo Theo lộ trình, Volition rất được mong đợi dự kiến sẽ ra mắt trong bản nâng cấp V.0.14.0. Hiện tại, Tính khả dụng của dữ liệu (DA) trên Ethereum tiêu thụ phần lớn phí gas trên mạng Starknet, do đó việc giảm lưu trữ DA trên Ethereum là chìa khóa để giảm phí. Volition cho phép các nhà phát triển chọn lưu trữ một phần dữ liệu trên Starknet L2 và cuối cùng gửi gốc trạng thái (root) của phần dữ liệu này tới Ethereum L1. Bằng cách này, chi phí lưu trữ DA của L1 sẽ giảm đáng kể, giúp đạt được mục đích giảm chi phí hơn nữa. Phiên bản V.0.14.0 cũng có kế hoạch sử dụng Đệ quy ứng dụng để xử lý hàng loạt dấu chân L1 của nhiều khối cùng một lúc (dấu chân lớp 1, là dữ liệu cần được lưu trữ và xử lý trên Ethereum để hỗ trợ hoạt động và tính toán của Starknet nhiệm vụ) do đó giảm chi phí. "https://community.starknet.io/t/upcoming-feature-starknet-applicative-recursion/113868" Hiện tại, mỗi khối của Starknet đều có bằng chứng độc quyền và mỗi khối cần được chi cho Ethereum. , do đó, mạng thường phải tích lũy đủ khối lượng giao dịch để chia sẻ chi phí khối trước khi đóng gói một khối. Điều này dẫn đến sự không chắc chắn về thời gian sản xuất khối và sự kém hiệu quả trong việc sử dụng chi phí khối. Với đệ quy ứng dụng, người xác thực có thể gộp nhiều khối lại với nhau để chứng minh điều đó, điều này giúp rút ngắn thời gian tạo khối và chia sẻ chi phí. Ngoài ra, Starknet cũng sẽ khám phá thêm về mặt kỹ thuật các giải pháp nén DA để giảm chi phí. 05 Xây dựng sinh thái 5.1 Hiện trạng Với sự cải thiện ổn định về hiệu suất và liên tục giảm chi phí, cấu trúc sinh thái trên Starknet ngày càng trở nên hoàn hảo hơn. Về cơ sở hạ tầng, các dự án ví Agent Về mặt cầu nối chuỗi chéo, StarkGate bản địa chịu trách nhiệm, cũng như các bên dự án tập trung vào cầu nối chuỗi chéo, Orbiter Finance, MiniBridge và rho.fi. Dự án đứng đầu của DID, Starknet.id đảm nhận vai trò ENS trên Ethereum, hỗ trợ người dùng đúc NFT làm danh tính và truyền trên chuỗi Starknet. Xét về Defi Biển Đỏ truyền thống, các dự án hàng đầu như Nostra, Ekubo, zkLend, ZKX và Carmine Options hiện đang phát triển trên Starknet. Trong khi chúng đang nhanh chóng chiếm lĩnh các lĩnh vực kinh doanh chính của Dex, đặt cọc, cho vay và hợp đồng, nhiều lĩnh vực khác nhau. Các dự án Defi cũng đang phát triển. Chúng tôi cố gắng giới thiệu các sản phẩm mới. Ví dụ: ZKX sử dụng tương tác được trò chơi hóa và quản trị DAO để tạo ra một sàn giao dịch hợp đồng vĩnh viễn tự trị duy nhất Ekubo triển khai thiết kế một trường hợp nhằm sử dụng một hợp đồng để quản lý tất cả các nhóm quỹ nhằm giúp người dùng giảm chi phí ma sát giao dịch chỉ bằng một cú nhấp chuột của mySwap; có thể giảm thiểu một cách hiệu quả những tổn thất nhất thời khi thị trường biến động quá nhiều, v.v., điều này tiếp thêm sức sống cho hệ sinh thái. Gamefi là một lĩnh vực mà các quan chức của Starknet đặt nhiều hy vọng. Ngoài các trò chơi chiến lược toàn chuỗi được đại diện bởi Realms trong hệ sinh thái Loot của dự án đứng đầu, còn có Dope Wars và Influence theo phong cách đường phố, một trò chơi chiến lược dựa trên giữa các vì sao. khám phá, cũng như các trò chơi do nhóm bản địa của Starknet tạo ra dựa trên kiến thức vật lý có thể được gọi là bốn vị vua của trò chơi toàn chuỗi trên Starknet. Ngoài ra, xfam.tech đã xuất hiện trên Socialfi, tương tự nhưfriend.tech phổ biến trước đây, lấp đầy khoảng trống trong lĩnh vực xã hội. Kể từ đợt airdrop $STRK vào đầu năm nay, hoạt động trên Starknet đã tăng lên đáng kể. Không chỉ vậy, các dự án trong hệ sinh thái như zkLend, Ekubo và ZKX đã liên tiếp phát hành token gốc $ZEND, $EKUBO và $ZKX; nhà lãnh đạo sinh thái hàng đầu Nostra Finance cũng đã phát hành stablecoin USD gốc $UNO đầu tiên trên Starknet và cam kết thu được $STRK; $NSSTTRK. Việc phát hành mã thông báo đa cấp chắc chắn là một động lực thúc đẩy hệ sinh thái Starknet Tính đến nửa đầu năm nay, hiệu suất dữ liệu tổng thể của hệ sinh thái Starknet là tốt. Tuy nhiên, trong thời điểm ngày nay khi các vị thần của Lớp 1 và Lớp 2 đang chiến đấu, để đảm bảo sức sống liên tục, cần có sự đổi mới kép về sản phẩm và công nghệ để tạo ra một ứng dụng thực sự phổ biến, để sức sống của chuỗi có thể vững vàng đạt đến mức cao nhất. mức cao hơn. Ngoài đội ngũ chính thức, điều cần thiết đằng sau điều này là sự nỗ lực không ngừng của cộng đồng nhà phát triển. Đây là một trong những lý do khiến nhóm Starknet luôn cực kỳ thân thiện với nhà phát triển và thậm chí còn trao phần thưởng cho nhà phát triển chưa từng có trong airdrop. 5.2 Những thách thức và lựa chọn Như chúng tôi đã nói trước đây, STARK được sinh ra để đảm bảo an toàn cho các bằng chứng phức tạp quy mô lớn ngay từ đầu, và điều này cũng đúng với Starknet, một mạng có cùng nguồn gốc. Để đạt được mục tiêu đầy tham vọng và trong sáng này, không thể tránh khỏi phải nỗ lực rất nhiều, và ngôn ngữ Cairo là một trong số đó. (Lưu ý: Ngôn ngữ Cairo là ngôn ngữ lập trình được StarkWare thiết kế đặc biệt cho hệ thống chứng minh STARK. Nó có thể tạo ra các bằng chứng một cách hiệu quả, tối ưu hóa các phép tính ngoài chuỗi và bù đắp một cách hiệu quả những hạn chế của Solidity trong việc thực thi các bằng chứng.) Không giống như Lớp 2 khác, sử dụng Solidity cho trí thông minh Để phát triển hợp đồng, các nhà phát triển phải sử dụng ngôn ngữ Cairo bản địa để phát triển trên Starknet, điều này trực tiếp làm tăng chi phí học tập và rào cản gia nhập cho các nhà phát triển. Mặt khác, do Cairo VM không tương thích với EVM nên nhiều dự án trưởng thành trên Ethereum không thể được chuyển trực tiếp sang Starknet. Điều này cũng khiến Starknet khó có thể tận hưởng cổ tức của hệ sinh thái rộng lớn mặc dù đây là Ethereum Lớp 2. Hiện tại, hơn 90% dApp trên chuỗi Starknet có nguồn gốc từ chuỗi và chi phí phát triển dự án không hề nhỏ. Khi đối mặt với tình thế tiến thoái lưỡng nan này, sự lựa chọn của Starknet, chúng ta có thể tìm thấy câu trả lời từ bài viết đầu năm của Eli Ben-Sasson, “Stick or Persist”. "https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast" Bài báo trích dẫn ám chỉ "cưỡi hổ khó xuống", cho rằng nếu hy sinh sự an toàn để theo đuổi thành tích đẹp đẽ trước mắt giống như ngồi trên ô tô, sẽ gây ra vô số phiền phức. Là một người thực sự tin tưởng vào công nghệ, chúng tôi sẽ không bao giờ bán công nghệ hạng hai trong bao bì hạng nhất. Điều Starknet muốn làm là một bằng chứng thực tế có thể chịu đựng được lượng dữ liệu khổng lồ và những khu rừng tối tăm. Sự nhấn mạnh vào bằng chứng là sự nhấn mạnh vào sự an toàn. Để kiên trì, có rất nhiều ưu đãi dành cho các nhà phát triển trên Starknet Ngoài các hoạt động cộng đồng như hackathons, một Chương trình Seed Grand bằng tiền thật gần đây đã được triển khai. Các đội được chọn sẽ nhận được tới 25.000 USDC bằng tiền thật. tài trợ lợi nhuận. Pha loãng phần thưởng tài trợ để hỗ trợ xây dựng hệ sinh thái của nó trên Starknet. "https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ" Cụ thể đối với lĩnh vực trò chơi, chương trình thí điểm hỗ trợ trò chơi của tổ chức hiện tại (Chương trình thí điểm động cơ đẩy) sẽ chọn tối đa 20 trò chơi, dựa trên phần thưởng Tài trợ của họ dựa trên mức tiêu thụ Gas của mạng chính Starknet và mỗi trò chơi có thể nhận được phần thưởng lên tới 1 triệu đô la Mỹ. "https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w" Ngoài ra, nhóm phát triển khách hàng Ethereum Nethermind, đã đạt được hợp tác chiến lược sâu sắc với Starknet, cũng đưa ra kế hoạch tài trợ Starknet với tổng trị giá 1 triệu đô la Mỹ ( Starknet Grand Program), một dự án duy nhất có thể nhận được khoản tài trợ lên tới 250.000 USD và nhận được hỗ trợ kỹ thuật từ nhóm Nethermind. "https://x.com/Starknet_ZH/status/1785159198868943151" Starknet cũng đang nỗ lực để phá bỏ các rào cản với Ethereum từ hai khía cạnh. Một bên là dự án Warp do Nethermind phát triển, chuyên chuyển đổi mã Solidity thành mã Cairo để đạt được khả năng tương thích ở cấp độ ngôn ngữ cấp cao. Mặt khác, giải pháp Kakarot zkEVM do các thành viên của nhóm StarkWare phát triển sử dụng Cairo để mô phỏng môi trường EVM và cố gắng tạo ra một EVM có thể chứng minh được. Dự án vẫn đang được phát triển. 5.3 Tương lai Với những nỗ lực của StarkWare, cộng đồng nhà phát triển Cairo hiện đang phát triển. Với sự thịnh vượng của cộng đồng nhà phát triển, hệ sinh thái cũng sẽ ươm tạo thêm nhiều sản phẩm và công cụ xuất sắc, tiếp tục thu hút nhiều nhà phát triển xuất sắc hơn tham gia cộng đồng Cairo, hình thành một chu kỳ tích cực. . Ngoài việc mong chờ sự ra đời của những sản phẩm xuất sắc trong các lĩnh vực truyền thống như DeFi, kết hợp với những cải tiến về hiệu suất và lợi thế về tính toàn vẹn tính toán mà Starknet đã dần nhận ra, một số lĩnh vực xu hướng có thể đại diện cho tương lai đang dần xuất hiện trên Starknet. 5.3.1 Trò chơi hoàn toàn trên chuỗi Khái niệm Trò chơi hoàn toàn trên chuỗi (FOCG, còn được gọi là Trò chơi vô hạn) đã trở nên phổ biến kể từ khi blockchain xuất hiện và được các game thủ rất mong đợi. Nó lưu trữ hoàn toàn các quy tắc và dữ liệu của trò chơi trên chuỗi, thực hiện tất cả các hoạt động và tương tác dựa trên hợp đồng thông minh, cho phép người chơi thực sự có quyền sở hữu tài sản trò chơi, đảm bảo rằng các quy tắc là minh bạch và có thể kiểm chứng, đồng thời cung cấp một hệ thống kinh tế mở để tạo nhiều cơ hội hơn cho người chơi trải nghiệm chơi game miễn phí và công bằng. Tuy nhiên, do những hạn chế về thông lượng, chi phí và chế độ tương tác ban đầu trên chuỗi, trò chơi toàn chuỗi chỉ là một tầm nhìn đẹp đẽ trong một thời gian dài và chưa đạt được việc áp dụng đại trà. Tuy nhiên, với việc Starknet liên tục tối ưu hóa hiệu suất về mọi mặt, chúng ta có thể thấy từ những khía cạnh sau đây rằng Starknet có tiềm năng rất lớn để trở thành mảnh đất màu mỡ để nuôi dưỡng các trò chơi full-chain. 5.3.1.1 Trừu tượng hóa tài khoản gốc Trừu tượng tài khoản (AA) là một bước quan trọng để cải thiện trải nghiệm tương tác và giúp người dùng web2 truy cập web3. Nói một cách đơn giản, đó là chuyển từ tài khoản EOA trên Ethereum mà chúng tôi sử dụng với tư cách cá nhân sang tài khoản hợp đồng thông minh (CA). Do khả năng lập trình của tài khoản hợp đồng, tài khoản hiện tại có thể được đơn giản hóa dựa trên cài đặt sẵn. cài đặt đồng thời đảm bảo tính bảo mật Các bước thao tác phức tạp nhằm tối ưu hóa trải nghiệm người dùng. Thiết kế của Starknet đã biến việc trừu tượng hóa tài khoản gốc trở thành một tùy chọn bắt buộc ngay từ đầu. Mỗi tài khoản là một tài khoản hợp đồng thông minh, giúp giảm bớt sự phức tạp của việc triển khai AA ngay từ thiết kế hệ thống. Cả ví gốc dApp Agent X và Braavos đều hỗ trợ trừu tượng hóa tài khoản và có thể cung cấp cho người dùng trải nghiệm tương đương với Web2. Trong các tình huống trò chơi, vai trò của việc trừu tượng hóa tài khoản sẽ rõ ràng hơn. Ví dụ: chức năng Khóa phiên do Briq, Loot Realms và Topology khởi xướng, một số nhóm trò chơi blockchain hàng đầu trên chuỗi Starknet, hiện được sử dụng trong Loot Survivor, sử dụng thông tin đăng nhập không cần ví (Ví phiên). cần phải đăng nhập cho từng thao tác "tấn công", giúp tối ưu hóa trải nghiệm rất nhiều. 5.3.1.2 Hệ sinh thái Cairo đang dần được cải thiện. Với việc Starknet liên tục tối ưu hóa và cải thiện hiệu suất, một số lượng lớn cộng đồng trò chơi đã ổn định để xây dựng hệ sinh thái Cairo Với sự ra mắt của một loạt cơ sở hạ tầng, khuôn khổ trò chơi sinh thái hiện tại đã có. cơ bản đã được hình thành. Dojo là một công cụ trò chơi trên chuỗi có trụ sở tại Cairo. Nó được tạo ra vào tháng 2 năm 2023 và hiện được cộng đồng cùng vận hành và duy trì. Công cụ trò chơi là cơ sở để xây dựng trò chơi. Nó cung cấp cho các nhà phát triển trò chơi một khung phát triển bao gồm các hợp đồng, công cụ và thư viện mã để họ không phải xây dựng hệ thống cơ bản của trò chơi từ đầu, giúp việc xây dựng dễ dàng hơn. - trò chơi dây chuyền. (Lưu ý: Hai công cụ trò chơi phổ biến nhất dành cho trò chơi Web2 là Unity và Unreal Engine. "Hearthstone" và "Street Fighter" quen thuộc được xây dựng trên cơ sở hai công cụ trò chơi này. Hiện tại, Công cụ trò chơi Web3 vẫn đang trong quá trình phát triển giai đoạn đầu và hiện có hai công cụ trò chơi được mã hóa là MUD được xây dựng trên EVM và Dojo dựa trên Cairo.Dojo là công cụ trò chơi mã hóa đầu tiên được chứng minh. ) Cartridge là một trình khởi chạy trò chơi. Một mặt, nó cung cấp cho các nhà phát triển các công cụ và thư viện mã dựa trên Dojo để tạo và triển khai trò chơi, bao gồm logic trò chơi trên chuỗi, kiến trúc có thể mở rộng, quyền truy cập liền mạch của người dùng, phát triển mô-đun và các giải pháp hóa học. , vân vân. Mặt khác, nó đơn giản hóa quá trình tương tác cho người chơi, giúp người chơi dễ dàng khám phá và tham gia các trò chơi yêu thích của mình hơn. 5.3.1.3 Lớp 3 Starknet là Layer2 có mục đích chung sử dụng Zk Rollup. Ngoài hiệu suất bảo mật vượt trội, thông lượng cao và giảm đáng kể chi phí, để đáp ứng các nhu cầu cụ thể, nó cũng đã triển khai phát triển tùy chỉnh Layer3 Appchain. Các nhà phát triển trò chơi có thể tùy chỉnh và tối ưu hóa môi trường thực thi trên chuỗi và cơ chế đồng thuận theo nhu cầu riêng của họ để tạo ra chuỗi dành riêng cho trò chơi có hiệu suất cao, độ trễ thấp và chi phí thấp. Điều này cũng mang lại nhiều khả năng hơn cho các trò chơi toàn chuỗi. Realms và Cartridge đã hợp tác vào đầu năm để cùng phát triển "Realms World L3", dự kiến sẽ ra mắt chính thức vào quý 3 năm nay. Toàn bộ hệ sinh thái Realms sẽ được vận hành trên nền tảng Starknet. tốc độ nhanh hơn và chi phí thấp hơn cũng như tối ưu hóa hơn nữa trải nghiệm người dùng. Ngoài ra, Dope Wars cũng tuyên bố rằng họ sẽ hợp tác với Cartridge để phát hành Layer3 và sử dụng $PAPER làm token Gas. 5.3.1.4 Tóm tắt Mặc dù trong mắt công chúng, hiệu suất của Starknet trong Gamefi có thể không nổi bật, nhưng nếu bạn tập trung vào các trò chơi toàn chuỗi, tính thân thiện với môi trường của Starknet, ý thức rõ ràng về sứ mệnh toàn chuỗi và lợi thế kỹ thuật của riêng nó, Nó rất hấp dẫn đối với các nhà phát triển và người chơi. Chúng ta có thể thấy rằng các nhà phát triển trò chơi trên Starknet hiện đang rất tâm huyết với việc xây dựng hệ sinh thái Cairo. Sự hợp tác của các dự án hàng đầu đã dẫn đến việc hoàn thiện cơ sở hạ tầng quan trọng như Dojo. Nếu một ngày nào đó trò chơi toàn chuỗi có thể được hiện thực hóa hoàn toàn và ngày càng có nhiều người đam mê trò chơi tham gia vào thế giới trò chơi web3 và thực sự giành được quyền sở hữu tài sản trò chơi, thì chúng tôi có lý do để kỳ vọng rằng điều này sẽ xảy ra trên Starknet. 5.3.2 ZKML Với sự bùng nổ của AI và công nghệ blockchain, AI+Blockchain ngày càng được coi là hướng phát triển trong tương lai ZKML (Zero Knowledge Machine Learning, zero-know-proof machine learning) là một kế hoạch giải pháp. Mô hình ML truyền thống giống như một hộp đen vì nó thuộc sở hữu của một tổ chức tập trung nên người dùng thông thường không thể xác minh xem họ đang sử dụng mô hình nào và liệu nó có được đào tạo bằng dữ liệu đáng tin cậy hay không ngoại trừ việc tin tưởng vào sự chứng thực của các tổ chức lớn. Đây cũng là một trong những lý do chính khiến các mô hình lớn tập trung hiện đang bị chỉ trích. Nếu bạn chỉ tải mô hình lên chuỗi để đào tạo và vận hành theo cách phi tập trung, không chỉ chi phí gas sẽ quá cao mà do môi trường không đáng tin cậy trên chuỗi nên độ tin cậy của mô hình và dữ liệu đào tạo không thể được đảm bảo. được đảm bảo. Trong trường hợp này ZKML là rất cần thiết. Nghĩ off-chain, hành động on-chain. Bằng cách đào tạo và chạy mô hình ngoài chuỗi, đồng thời sử dụng công nghệ ZK để tạo bằng chứng và gửi chúng đến chuỗi, hai vấn đề nan giải được đề cập trước đó - chi phí và độ tin cậy - đã được giải quyết một cách hoàn hảo. Đồng thời, do đặc điểm riêng tư của ZK, ZKML cũng có triển vọng rộng lớn trong các lĩnh vực nhạy cảm như tài chính và chăm sóc y tế. Có những lợi thế tự nhiên khi xây dựng ZKML dựa trên Cairo trên Starknet. Là một ngôn ngữ phát triển sinh ra để chứng minh, Cairo có tính toàn vẹn tính toán tuyệt vời và có tính trừu tượng cao trong chứng minh. Các nhà phát triển có thể gọi trực tiếp các thành phần chứng minh mà không cần phải tự mình giải quyết các vấn đề về chứng minh, điều này giúp đơn giản hóa đáng kể quá trình phát triển. Đồng thời, nhờ lợi thế về khả năng mở rộng của STARK, nó có hiệu ứng mạng đáng kể khi xử lý dữ liệu điện toán quy mô lớn và có thể truyền tải dữ liệu khổng lồ cần thiết cho học máy một cách hiệu quả và tiết kiệm chi phí. Kết quả là ZKML dựa trên Giza Tech trên Starknet đang phát triển nhanh chóng. Giza là nền tảng phần mềm trung gian ZKML trên Starknet cung cấp khung phát triển Orion, cho phép các nhà phát triển sử dụng các khung quen thuộc (như PyTorch, TensorFlow) để đào tạo mô hình và dễ dàng triển khai trên Starknet. Đồng thời, Giza cũng ra mắt Đại lý, một khung tác nhân kết hợp ZKML với hành vi đa chuỗi. Các nhà phát triển có thể tạo các tác nhân AI trên chuỗi dựa trên ZKML, tương tác với các hợp đồng thông minh và đưa ra quyết định dựa trên các quy tắc được xác định trước. Hiện tại, Giza đã được sử dụng trong nhiều dự án như mạng xã hội, hợp tác với Circles Network, tiến hành phân tích biểu đồ xã hội và phát hiện người dùng giả mạo. Về DeFi, Yearn Finance hợp tác để cung cấp cho nó các chiến lược đầu tư thông minh và giải pháp quản lý rủi ro dựa trên ZKML. Làng ML, làng mới nhất được chọn vào chương trình tài trợ hạt giống Starknet, đã đưa ZKML vào các trò chơi chuỗi để đưa ra quyết định thông qua Giza, cho thấy triển vọng ứng dụng rộng rãi. 06 Tóm tắt Theo thông báo chính thức gần đây của Starknet, dự kiến phí gas có thể giảm xuống dưới 0,01 USD vào năm 2024, trong khi sẽ đạt được hàng trăm TPS, khiến nó trở thành Lớp 2 có TPS cao nhất. Mục tiêu này không hề tham vọng đối với Starknet. Trên thực tế, việc định vị Starknet của StarkWare không chỉ đơn thuần là Lớp 2. Về mặt lựa chọn sản phẩm và thị trường chính, Starknet giống Solana hơn, loại bỏ những lợi ích và hạn chế của EVM và xây dựng lại từ đầu. Nhưng không giống như những sai sót trong việc phân cấp của Solana, Starknet kế thừa một cách khéo léo khả năng phân quyền cực cao của Ethereum thông qua Ethereum Layer2+ZK, đồng thời đảm bảo khả năng mở rộng và bảo mật. Và kết quả tưởng chừng như hạnh phúc này, như chúng tôi đã nói lúc đầu, là một sự thực hành bám vào chủ nghĩa lâu dài, vô số lần gánh trên vai gánh nặng tiến về phía trước trong khi hy sinh cái gần và tìm kiếm cái xa. Chúng tôi mong muốn giải phóng nhiều năng lượng hơn nữa cho Starknet trong tương lai.
Xem bản gốc
Biteye: Báo cáo nghiên cứu 10.000 từ của Starknet ZK Rollup đang dần mạnh mẽ hơn?
Tuyên bố miễn trừ trách nhiệm: Bao gồm cả quan điểm của bên thứ ba. Đây không phải lời khuyên tài chính. Có thể bao gồm nội dung được tài trợ. Xem Điều khoản & Điều kiện.
0