Bản chất của kinh tế mã hóa: Sự kết hợp giữa đầu tư và công nghệ
Kinh tế mã hóa không chỉ là một cuộc cách mạng công nghệ, mà còn là một lĩnh vực cần hiểu sâu sắc quy luật đầu tư. Nhiều người làm nghề và đam mê khó có thể thích nghi với ngành này, phần lớn là do sự biến động chu kỳ quá mạnh mẽ. Trong thị trường bò, người bình thường thực sự có cơ hội nhận được lợi nhuận gấp mười hoặc thậm chí gấp trăm lần, nhưng trong thị trường gấu, thua lỗ cũng nặng nề không kém. Cuối cùng, bất kể là ai, chỉ cần bước vào lĩnh vực mã hóa, kiến thức đầu tư là môn học bắt buộc.
Nguyên nhân chính của thị trường gấu hiện tại là sự thắt chặt tiền tệ do Cục Dự trữ Liên bang Mỹ tăng lãi suất. Thời kỳ lợi suất cao điên cuồng của tài chính phi tập trung (DeFi) đã qua, tỷ lệ lợi suất của các giao thức cho vay chính thống đã giảm xuống dưới 2%. So với đó, tỷ lệ lợi suất trái phiếu chính phủ Mỹ trong thế giới thực đã vượt quá 3%, điều này đã thúc đẩy các nhà đầu tư tổ chức và các dự án stablecoin liên tục chuyển tiền từ thị trường mã hóa sang thị trường tài chính truyền thống để mua trái phiếu chính phủ.
Từ những năm 80 của thế kỷ trước đến nay, Cục Dự trữ Liên bang Mỹ đã trải qua 6 chu kỳ tăng lãi suất, mỗi chu kỳ kéo dài từ 1-3 năm, trung bình số lần tăng lãi suất lên tới 10 lần. Nhịp độ tăng lãi suất càng chậm, hiệu quả thường càng kém, lạm phát cũng càng khó kiểm soát. Ví dụ, chu kỳ tăng lãi suất thứ sáu từ 2015 đến 2018 diễn ra tương đối chậm, dẫn đến giá hàng hóa, đặc biệt là dầu thô, không giảm mà còn tăng. Sau tháng 10 năm nay, giá dầu thô tiếp tục duy trì sự vững vàng, điều này có thể thúc đẩy Cục Dự trữ Liên bang Mỹ tiếp tục thực hiện chính sách tăng lãi suất mạnh mẽ. Không còn nghi ngờ gì nữa, vào năm 2023, thị trường chứng khoán toàn cầu và thị trường mã hóa sẽ tiếp tục phải đối mặt với áp lực rút vốn từ các tổ chức, đáy của thị trường gấu vẫn chưa đến, nhà đầu tư không nên nói dễ dàng về việc bắt đáy.
Ethereum zkRollup: giải pháp mở rộng đáng期待
Bỏ qua chu kỳ lớn của thị trường vốn, chỉ từ sự đổi mới mà công nghệ mã hóa mang lại và làn sóng Web3.0 có thể xảy ra, Ethereum và giải pháp mở rộng zkRollup của nó, đặc biệt là giải pháp zkRollup dựa trên zkEVM thế hệ mới, vẫn xứng đáng để chúng ta giữ thái độ lạc quan.
Người đồng sáng lập Ethereum, Vitalik Buterin, đã nói trong một cuộc họp vào ngày 30 tháng 9: "Mục tiêu tiếp theo của Ethereum sau khi hợp nhất là khả năng mở rộng." Khả năng mở rộng là vấn đề cốt lõi cản trở nhiều đồng tiền mã hóa và ứng dụng blockchain trở thành phổ biến. zkRollups đạt được khả năng mở rộng bằng cách gộp hàng trăm giao dịch vào một nhiệm vụ thực hiện và xác minh tất cả các giao dịch trong một nhiệm vụ đơn lẻ.
Dưới sự hỗ trợ mạnh mẽ của Vitalik, Rollup đã trở thành giải pháp chính cho khả năng mở rộng của Ethereum. Các giải pháp Rollup được chia thành hai loại là Optimistic Rollup và zkRollup, điểm khác biệt chính nằm ở cách đảm bảo tính hợp lệ của giao dịch. Optimistic Rollup sử dụng phương pháp chứng minh gian lận, trong khi zkRollup áp dụng chứng minh không biết bằng toán học.
Trong mạng lưới Rollup lạc quan có vai trò của người thách thức, có thể chứng minh dữ liệu được gửi lên Ethereum có gian lận, sau đó thông qua sự đồng thuận của mạng để lùi lại các giao dịch không hợp lệ. Ngược lại, zkRollup sử dụng công nghệ chứng minh không kiến thức khi xử lý dữ liệu giao dịch, trên cơ sở đảm bảo tính hợp lệ của dữ liệu giao dịch, trực tiếp gửi chứng minh lên Ethereum, đạt được sự nhất quán trạng thái cuối cùng ngay lập tức.
So với Rollup lạc quan, zkRollup sử dụng bằng chứng không kiến thức để thực hiện xác minh toán học, có nhiều lợi thế kỹ thuật hơn. Một số dự án đã tiến hành khám phá trước trong lĩnh vực này trong vài năm.
Tuy nhiên, một vấn đề then chốt là EVM( máy ảo Ethereum) không được thiết kế để hỗ trợ chứng minh không kiến thức, điều này khiến việc xây dựng máy ảo tương thích với Solidity và hỗ trợ chứng minh không kiến thức trở nên rất khó khăn. Ví dụ, một số dự án không thể hỗ trợ việc sử dụng Solidity để viết hợp đồng thông minh.
Để giải quyết vấn đề này, nhiều đội ngũ đang phát triển máy ảo hỗ trợ tính toán chứng minh không biết và tương thích với Solidity, tức là zkEVM. Khác với máy ảo thông thường, zkEVM có thể chứng minh tính chính xác của việc thực thi, bao gồm tính hợp lệ của các đầu vào và đầu ra được sử dụng trong quá trình thực thi.
Sự cần thiết phải thiết kế lại zkEVM
Các nhóm khác nhau đã áp dụng các giải pháp triển khai zkEVM khác nhau. Một số nhóm biên dịch mã byte thành mã vi hoạt động, sử dụng STARK để tạo ra bằng chứng tính hợp lệ của chuyển trạng thái, và sau đó sử dụng SNARK để xác minh tính chính xác của bằng chứng trước khi gửi lên Ethereum để xác minh. Một số giải pháp tương tự ở một mức độ nào đó, nhưng chỉ sử dụng Halo 2 làm phương pháp chứng minh không biết.
Còn có đội ngũ biên dịch mã hợp đồng được viết bằng Solidity thành Yul(, một ngôn ngữ trung gian, có thể biên dịch thành bytecode của các máy ảo khác nhau), sau đó biên dịch lại bytecode Yul thành một tập hợp bytecode tùy chỉnh, tương thích với mạch được thiết kế đặc biệt cho zkEVM.
Các hệ thống này có đủ trưởng thành để đưa vào sản xuất không? Chúng ta có cần thiết kế lại một zkEVM tốt hơn không? zkRollup thường sử dụng giao thức zero-knowledge để chứng minh và tổng hợp tất cả các giao dịch trước khi phát hành chứng nhận tổng hợp lên chuỗi chính. Về lý thuyết, điều này có nghĩa là chuỗi lớp 1 có thể xác minh các "chứng minh" ngắn gọn bao gồm hàng nghìn giao dịch phức tạp mà không có khả năng gian lận. Tuy nhiên, sau khi một số mạng thử nghiệm zkEVM được phát hành, người ta phát hiện ra thực tế không lý tưởng — việc xử lý vài giao dịch có thể mất hàng chục phút, tốc độ rất chậm.
Một nhóm đã tối ưu hóa cấu trúc zkEVM, thiết kế lại zkEVM, làm cho hiệu suất cao hơn tất cả các giải pháp zkEVM hiện có. Nguyên nhân chính là do áp dụng cấu trúc phân lớp được thiết kế tốt, nén không gian lãng phí dư thừa trong mạch và kích thước đa thức được gửi, từ đó rút ngắn thời gian cần thiết để tạo ra chứng minh. Đồng thời, Sequencer của nó chạy một nút Ethereum, nhận giao dịch của người dùng, tạo trạng thái mới và Trace thân thiện với zkEVM đặc biệt. Trình tạo chứng minh lấy Trace này từ bộ sắp xếp và sử dụng một lượng lớn bảng nhỏ ( thay vì một bảng khổng lồ ) để xử lý nó, điều này giảm thiểu đáng kể sự dư thừa và tăng tốc độ sinh chứng minh.
Tầm quan trọng của chứng minh không kiến thức nhanh hơn
SNARK mặc dù đơn giản, nhưng hiệu suất không bằng STARK. Tuy nhiên, với sự xuất hiện của công nghệ mới, lợi thế của STARK cũng không còn rõ ràng. Vì tốc độ là nút thắt cổ chai của zkEVM, nên việc so sánh hiệu suất tính toán có ý nghĩa quan trọng. STARK đã đạt được thời gian chứng minh và thời gian xác minh gần tuyến tính, nhanh hơn SNARK, nhưng rõ ràng chậm hơn các hệ thống chứng minh mới nổi.
Một số hệ thống chứng minh mới là hệ thống chứng minh không kiến thức đầu tiên trên thế giới đạt được thời gian chứng minh tuyến tính và thời gian xác minh phụ tuyến tính, điều này đã đạt đến giới hạn lý thuyết. Chúng thường là minh bạch, không cần bất kỳ thiết lập đáng tin cậy nào, do đó giữ được mức độ an toàn cao nhất.
Các hệ thống mới này dựa trên mã có thể mã hóa theo thời gian tuyến tính, nhanh nhất trong tất cả các kế hoạch chứng minh không kiến thức hiện có. Hơn nữa, nhờ vào việc sử dụng công nghệ đệ quy, kích thước chứng minh giảm xuống còn 1/7 so với các kế hoạch hiện có, điều này cho phép người dùng cuối chỉ tốn một khoản chi phí rất nhỏ để tận hưởng dịch vụ mạng lớp hai Ethereum.
Sự cần thiết của lớp dữ liệu có sẵn độc lập
Hiện tại zkRollup chủ yếu tập trung vào việc giảm gánh nặng tính toán xác minh giao dịch. Điều này đặc biệt quan trọng đối với Ethereum vì chi phí thực thi các hợp đồng thông minh phức tạp rất cao. Tuy nhiên, các nút Ethereum vẫn cần lưu trữ dữ liệu giao dịch gốc đồng thời. Điều này không lý tưởng, vì Ethereum thích hợp hơn với vai trò là lớp đồng thuận hơn là lớp lưu trữ, điều này có nghĩa là nút thắt mở rộng vẫn tồn tại — khi băng thông và dung lượng lưu trữ của các nút không đủ ( chứ không phải là khả năng tính toán không đủ ), hiệu suất mạng sẽ bị ảnh hưởng.
Đây là lý do tại sao Ethereum cần một lớp dữ liệu độc lập để lưu trữ những dữ liệu giao dịch gốc này, nhằm ngăn chặn việc toàn bộ hệ thống hợp đồng thông minh bị đóng băng do sự cố của máy chủ zkRollup hoặc nút Ethereum. Quan trọng hơn, nó sẽ tách rời chi phí của mạng lớp hai với mạng lớp một, giảm thêm chi phí giao dịch zkRollup dựa trên zkEVM, có thể giảm hơn 50%.
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.
Tiến triển mới trong mở rộng zkEVM của Ethereum: Chứng minh nhanh hơn và lớp dữ liệu độc lập
Bản chất của kinh tế mã hóa: Sự kết hợp giữa đầu tư và công nghệ
Kinh tế mã hóa không chỉ là một cuộc cách mạng công nghệ, mà còn là một lĩnh vực cần hiểu sâu sắc quy luật đầu tư. Nhiều người làm nghề và đam mê khó có thể thích nghi với ngành này, phần lớn là do sự biến động chu kỳ quá mạnh mẽ. Trong thị trường bò, người bình thường thực sự có cơ hội nhận được lợi nhuận gấp mười hoặc thậm chí gấp trăm lần, nhưng trong thị trường gấu, thua lỗ cũng nặng nề không kém. Cuối cùng, bất kể là ai, chỉ cần bước vào lĩnh vực mã hóa, kiến thức đầu tư là môn học bắt buộc.
Nguyên nhân chính của thị trường gấu hiện tại là sự thắt chặt tiền tệ do Cục Dự trữ Liên bang Mỹ tăng lãi suất. Thời kỳ lợi suất cao điên cuồng của tài chính phi tập trung (DeFi) đã qua, tỷ lệ lợi suất của các giao thức cho vay chính thống đã giảm xuống dưới 2%. So với đó, tỷ lệ lợi suất trái phiếu chính phủ Mỹ trong thế giới thực đã vượt quá 3%, điều này đã thúc đẩy các nhà đầu tư tổ chức và các dự án stablecoin liên tục chuyển tiền từ thị trường mã hóa sang thị trường tài chính truyền thống để mua trái phiếu chính phủ.
Từ những năm 80 của thế kỷ trước đến nay, Cục Dự trữ Liên bang Mỹ đã trải qua 6 chu kỳ tăng lãi suất, mỗi chu kỳ kéo dài từ 1-3 năm, trung bình số lần tăng lãi suất lên tới 10 lần. Nhịp độ tăng lãi suất càng chậm, hiệu quả thường càng kém, lạm phát cũng càng khó kiểm soát. Ví dụ, chu kỳ tăng lãi suất thứ sáu từ 2015 đến 2018 diễn ra tương đối chậm, dẫn đến giá hàng hóa, đặc biệt là dầu thô, không giảm mà còn tăng. Sau tháng 10 năm nay, giá dầu thô tiếp tục duy trì sự vững vàng, điều này có thể thúc đẩy Cục Dự trữ Liên bang Mỹ tiếp tục thực hiện chính sách tăng lãi suất mạnh mẽ. Không còn nghi ngờ gì nữa, vào năm 2023, thị trường chứng khoán toàn cầu và thị trường mã hóa sẽ tiếp tục phải đối mặt với áp lực rút vốn từ các tổ chức, đáy của thị trường gấu vẫn chưa đến, nhà đầu tư không nên nói dễ dàng về việc bắt đáy.
Ethereum zkRollup: giải pháp mở rộng đáng期待
Bỏ qua chu kỳ lớn của thị trường vốn, chỉ từ sự đổi mới mà công nghệ mã hóa mang lại và làn sóng Web3.0 có thể xảy ra, Ethereum và giải pháp mở rộng zkRollup của nó, đặc biệt là giải pháp zkRollup dựa trên zkEVM thế hệ mới, vẫn xứng đáng để chúng ta giữ thái độ lạc quan.
Người đồng sáng lập Ethereum, Vitalik Buterin, đã nói trong một cuộc họp vào ngày 30 tháng 9: "Mục tiêu tiếp theo của Ethereum sau khi hợp nhất là khả năng mở rộng." Khả năng mở rộng là vấn đề cốt lõi cản trở nhiều đồng tiền mã hóa và ứng dụng blockchain trở thành phổ biến. zkRollups đạt được khả năng mở rộng bằng cách gộp hàng trăm giao dịch vào một nhiệm vụ thực hiện và xác minh tất cả các giao dịch trong một nhiệm vụ đơn lẻ.
Dưới sự hỗ trợ mạnh mẽ của Vitalik, Rollup đã trở thành giải pháp chính cho khả năng mở rộng của Ethereum. Các giải pháp Rollup được chia thành hai loại là Optimistic Rollup và zkRollup, điểm khác biệt chính nằm ở cách đảm bảo tính hợp lệ của giao dịch. Optimistic Rollup sử dụng phương pháp chứng minh gian lận, trong khi zkRollup áp dụng chứng minh không biết bằng toán học.
Trong mạng lưới Rollup lạc quan có vai trò của người thách thức, có thể chứng minh dữ liệu được gửi lên Ethereum có gian lận, sau đó thông qua sự đồng thuận của mạng để lùi lại các giao dịch không hợp lệ. Ngược lại, zkRollup sử dụng công nghệ chứng minh không kiến thức khi xử lý dữ liệu giao dịch, trên cơ sở đảm bảo tính hợp lệ của dữ liệu giao dịch, trực tiếp gửi chứng minh lên Ethereum, đạt được sự nhất quán trạng thái cuối cùng ngay lập tức.
So với Rollup lạc quan, zkRollup sử dụng bằng chứng không kiến thức để thực hiện xác minh toán học, có nhiều lợi thế kỹ thuật hơn. Một số dự án đã tiến hành khám phá trước trong lĩnh vực này trong vài năm.
Tuy nhiên, một vấn đề then chốt là EVM( máy ảo Ethereum) không được thiết kế để hỗ trợ chứng minh không kiến thức, điều này khiến việc xây dựng máy ảo tương thích với Solidity và hỗ trợ chứng minh không kiến thức trở nên rất khó khăn. Ví dụ, một số dự án không thể hỗ trợ việc sử dụng Solidity để viết hợp đồng thông minh.
Để giải quyết vấn đề này, nhiều đội ngũ đang phát triển máy ảo hỗ trợ tính toán chứng minh không biết và tương thích với Solidity, tức là zkEVM. Khác với máy ảo thông thường, zkEVM có thể chứng minh tính chính xác của việc thực thi, bao gồm tính hợp lệ của các đầu vào và đầu ra được sử dụng trong quá trình thực thi.
Sự cần thiết phải thiết kế lại zkEVM
Các nhóm khác nhau đã áp dụng các giải pháp triển khai zkEVM khác nhau. Một số nhóm biên dịch mã byte thành mã vi hoạt động, sử dụng STARK để tạo ra bằng chứng tính hợp lệ của chuyển trạng thái, và sau đó sử dụng SNARK để xác minh tính chính xác của bằng chứng trước khi gửi lên Ethereum để xác minh. Một số giải pháp tương tự ở một mức độ nào đó, nhưng chỉ sử dụng Halo 2 làm phương pháp chứng minh không biết.
Còn có đội ngũ biên dịch mã hợp đồng được viết bằng Solidity thành Yul(, một ngôn ngữ trung gian, có thể biên dịch thành bytecode của các máy ảo khác nhau), sau đó biên dịch lại bytecode Yul thành một tập hợp bytecode tùy chỉnh, tương thích với mạch được thiết kế đặc biệt cho zkEVM.
Các hệ thống này có đủ trưởng thành để đưa vào sản xuất không? Chúng ta có cần thiết kế lại một zkEVM tốt hơn không? zkRollup thường sử dụng giao thức zero-knowledge để chứng minh và tổng hợp tất cả các giao dịch trước khi phát hành chứng nhận tổng hợp lên chuỗi chính. Về lý thuyết, điều này có nghĩa là chuỗi lớp 1 có thể xác minh các "chứng minh" ngắn gọn bao gồm hàng nghìn giao dịch phức tạp mà không có khả năng gian lận. Tuy nhiên, sau khi một số mạng thử nghiệm zkEVM được phát hành, người ta phát hiện ra thực tế không lý tưởng — việc xử lý vài giao dịch có thể mất hàng chục phút, tốc độ rất chậm.
Một nhóm đã tối ưu hóa cấu trúc zkEVM, thiết kế lại zkEVM, làm cho hiệu suất cao hơn tất cả các giải pháp zkEVM hiện có. Nguyên nhân chính là do áp dụng cấu trúc phân lớp được thiết kế tốt, nén không gian lãng phí dư thừa trong mạch và kích thước đa thức được gửi, từ đó rút ngắn thời gian cần thiết để tạo ra chứng minh. Đồng thời, Sequencer của nó chạy một nút Ethereum, nhận giao dịch của người dùng, tạo trạng thái mới và Trace thân thiện với zkEVM đặc biệt. Trình tạo chứng minh lấy Trace này từ bộ sắp xếp và sử dụng một lượng lớn bảng nhỏ ( thay vì một bảng khổng lồ ) để xử lý nó, điều này giảm thiểu đáng kể sự dư thừa và tăng tốc độ sinh chứng minh.
Tầm quan trọng của chứng minh không kiến thức nhanh hơn
SNARK mặc dù đơn giản, nhưng hiệu suất không bằng STARK. Tuy nhiên, với sự xuất hiện của công nghệ mới, lợi thế của STARK cũng không còn rõ ràng. Vì tốc độ là nút thắt cổ chai của zkEVM, nên việc so sánh hiệu suất tính toán có ý nghĩa quan trọng. STARK đã đạt được thời gian chứng minh và thời gian xác minh gần tuyến tính, nhanh hơn SNARK, nhưng rõ ràng chậm hơn các hệ thống chứng minh mới nổi.
Một số hệ thống chứng minh mới là hệ thống chứng minh không kiến thức đầu tiên trên thế giới đạt được thời gian chứng minh tuyến tính và thời gian xác minh phụ tuyến tính, điều này đã đạt đến giới hạn lý thuyết. Chúng thường là minh bạch, không cần bất kỳ thiết lập đáng tin cậy nào, do đó giữ được mức độ an toàn cao nhất.
Các hệ thống mới này dựa trên mã có thể mã hóa theo thời gian tuyến tính, nhanh nhất trong tất cả các kế hoạch chứng minh không kiến thức hiện có. Hơn nữa, nhờ vào việc sử dụng công nghệ đệ quy, kích thước chứng minh giảm xuống còn 1/7 so với các kế hoạch hiện có, điều này cho phép người dùng cuối chỉ tốn một khoản chi phí rất nhỏ để tận hưởng dịch vụ mạng lớp hai Ethereum.
Sự cần thiết của lớp dữ liệu có sẵn độc lập
Hiện tại zkRollup chủ yếu tập trung vào việc giảm gánh nặng tính toán xác minh giao dịch. Điều này đặc biệt quan trọng đối với Ethereum vì chi phí thực thi các hợp đồng thông minh phức tạp rất cao. Tuy nhiên, các nút Ethereum vẫn cần lưu trữ dữ liệu giao dịch gốc đồng thời. Điều này không lý tưởng, vì Ethereum thích hợp hơn với vai trò là lớp đồng thuận hơn là lớp lưu trữ, điều này có nghĩa là nút thắt mở rộng vẫn tồn tại — khi băng thông và dung lượng lưu trữ của các nút không đủ ( chứ không phải là khả năng tính toán không đủ ), hiệu suất mạng sẽ bị ảnh hưởng.
Đây là lý do tại sao Ethereum cần một lớp dữ liệu độc lập để lưu trữ những dữ liệu giao dịch gốc này, nhằm ngăn chặn việc toàn bộ hệ thống hợp đồng thông minh bị đóng băng do sự cố của máy chủ zkRollup hoặc nút Ethereum. Quan trọng hơn, nó sẽ tách rời chi phí của mạng lớp hai với mạng lớp một, giảm thêm chi phí giao dịch zkRollup dựa trên zkEVM, có thể giảm hơn 50%.