mã hóa kinh tế không chỉ là sự thay đổi công nghệ, mà còn cần sự thông minh đầu tư
Đối với nhiều người làm việc trong ngành mã hóa hoặc quan tâm đến nó, việc thích nghi với lĩnh vực này không phải là điều dễ dàng. Nguyên nhân chính là do chu kỳ thị trường rõ ràng, biến động mạnh. Nhà đầu tư bình thường có thể đạt được lợi nhuận gấp mười hoặc thậm chí trăm lần trong thị trường tăng giá, nhưng cũng có thể chịu tổn thất nặng nề trong thị trường giảm giá. Bất kỳ ai, chỉ cần bước vào lĩnh vực mã hóa, kiến thức đầu tư đều 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. Lợi suất của các giao thức cho vay chủ đạo đã giảm xuống dưới 2%, trong khi 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 chuyển vốn sang mua trái phiếu chính phủ.
Kể từ những năm 1980, 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 tăng lãi suất 10 lần. Nhịp độ tăng lãi suất càng chậm, hiệu quả càng kém, lạm phát càng khó kiểm soát. Ví dụ, quá trình tăng lãi suất lần thứ 6 từ 2015-2018 diễn ra chậm chạp, giá nguyên liệu 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ì ở mức cao, có thể thúc đẩy Cục Dự trữ Liên bang tiếp tục áp dụng chính sách tăng lãi suất mạnh mẽ. 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 đố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, không nên tùy ý nói về việc bắt đáy.
Tin tưởng vào giải pháp zkRollup của Ethereum
Bỏ qua chu kỳ lớn của thị trường vốn, chỉ từ góc độ biến đổi công nghệ mã hóa và làn sóng Web3.0 có thể xuất hiện, Ethereum và các giải pháp mở rộng zkRollup của nó, đặc biệt là các giải pháp zkRollup dựa trên zkEVM thế hệ mới, đáng được chú ý.
Nhà sáng lập đồng sáng lập Ethereum Vitalik Buterin cho biết, bước tiếp theo của Ethereum sau khi hợp nhất là nâng cao khả năng mở rộng. Việc mở rộng là vấn đề cốt lõi cản trở nhiều 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 lại và xác thực tất cả các giao dịch trong một tác vụ duy nhất.
Dưới sự hỗ trợ của Vitalik, Rollup đã trở thành giải pháp chính cho khả năng mở rộng của Ethereum. Rollup được chia thành hai loại: Optimistic Rollup và zkRollup. Sự 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 chứng minh gian lận, trong khi zkRollup sử dụng chứng minh không kiến thức.
So với Optimistic Rollup, zkRollup sử dụng bằng chứng không kiến thức để xác minh toán học, có nhiều lợi thế kỹ thuật hơn. Một số dự án đã khám phá lĩnh vực này trong nhiều năm.
Tuy nhiên, EVM 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ột 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 khó khăn. Để giải quyết vấn đề này, một số đội ngũ đang phát triển máy ảo hỗ trợ tính toán chứng minh không kiến thức và tương thích với Solidity, được gọi 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
Một số dự án sử dụng các phương pháp khác nhau để triển khai zkEVM. Một số sẽ biên dịch mã byte thành mã vi hoạt động, sử dụng STARK để tạo ra chứng minh tính hợp lệ của việc chuyển trạng thái và sử dụng SNARK để xác minh tính chính xác của chứng minh trước khi gửi đến Ethereum. Một số giải pháp biên dịch mã hợp đồng Solidity thành ngôn ngữ trung gian Yul, sau đó biên dịch lại thành tập hợp mã byte tương thích được thiết kế đặc biệt.
Những hệ thống này có đủ tốt để đưa vào sản xuất không? Chúng ta có cần thiết kế lại zkEVM tốt hơn không? Về nguyên tắc, chuỗi lớp 1 có thể xác minh "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 rằng tình hình thực tế không lý tưởng - việc xử lý một vài giao dịch mất hàng chục phút.
Có một đội ngũ đã tối ưu hóa cấu trúc zkEVM và thiết kế một zkEVM hiệu quả hơn. Nguyên nhân chính là do việc áp dụng một cấu trúc phân tầng được thiết kế tốt, nén không gian dư thừa trong mạch và kích thước của đa thức nộp, rút ngắn thời gian cần thiết để tạo ra chứng minh. Đồng thời, Sequencer của nó vận hành nút Ethereum, tiếp nhận giao dịch của người dùng, tạo ra trạng thái mới và Trace thân thiện với zkEVM đặc biệt. Bộ 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ỏ trong zkEVM, giảm thiểu đáng kể độ dư thừa và tăng tốc độ tạo 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 quả không bằng STARK. Tuy nhiên, với sự xuất hiện của công nghệ mới, STARK cũng trở nên lỗi thời. Do tốc độ là nút thắt cổ chai của zkEVM, việc so sánh hiệu suất tính toán trở nên rất quan trọng. STARK có thời gian chứng minh và thời gian xác minh gần như tuyến tính, nhanh hơn SNARK nhưng rõ ràng chậm hơn một số công nghệ mới. Có các phương án chứng minh không kiến thức mớ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, đạt được cực trị lý thuyết. Các phương án này là trong suốt, không cần bất kỳ thiết lập đáng tin cậy nào, giữ được mức độ an toàn cao nhất.
Dựa trên mã có thể mã hóa theo thời gian tuyến tính, một số phương pháp chứng minh không kiến thức mới là nhanh nhất trong tất cả các phương pháp ZKP hiện có. Hơn nữa, do 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 phương pháp hiện tại, giúp người dùng cuối chỉ cần chi tiêu rất ít để tận hưởng dịch vụ lớp hai của Ethereum.
Sự cần thiết của lớp dữ liệu độc lập có sẵn
Hiện tại, zkRollup chủ yếu tập trung vào việc giảm bớt gánh nặng tính toán trong việc xác thực giao dịch. Điều này đặc biệt quan trọng đối với Ethereum, vì chi phí thực hiện 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 hợp lý, vì Ethereum phù hợp hơn với vai trò là lớp đồng thuận hơn là lớp lưu trữ, nghĩa là nút thắt mở rộng vẫn tồn tại - khi băng thông và lưu trữ của các nút không đủ, chúng sẽ bị ảnh hưởng.
Đây là lý do tại sao Ethereum cần một lớp dữ liệu khả dụng độc lập để lưu trữ dữ liệu giao dịch gốc, nhằm ngăn chặn việc đóng băng toàn bộ hợp đồng thông minh do sự cố của máy chủ zkRollup hoặc nút Ethereum. Quan trọng hơn, nó sẽ tách chi phí lớp hai khỏi lớp một, giảm hơn một nửa chi phí giao dịch dựa trên zkEVM của zkRollup.
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.
7 thích
Phần thưởng
7
3
Đăng lại
Chia sẻ
Bình luận
0/400
FlippedSignal
· 13giờ trước
Thị trường Bear thật sự không thể giao dịch được nữa.
Xem bản gốcTrả lời0
CommunityWorker
· 14giờ trước
đồ ngốc không xứng để giao dịch tiền điện tử phải không
Ethereum zkRollup dẫn đầu làn sóng Web3.0 Tối ưu hóa hiệu suất zkEVM mới
mã hóa kinh tế không chỉ là sự thay đổi công nghệ, mà còn cần sự thông minh đầu tư
Đối với nhiều người làm việc trong ngành mã hóa hoặc quan tâm đến nó, việc thích nghi với lĩnh vực này không phải là điều dễ dàng. Nguyên nhân chính là do chu kỳ thị trường rõ ràng, biến động mạnh. Nhà đầu tư bình thường có thể đạt được lợi nhuận gấp mười hoặc thậm chí trăm lần trong thị trường tăng giá, nhưng cũng có thể chịu tổn thất nặng nề trong thị trường giảm giá. Bất kỳ ai, chỉ cần bước vào lĩnh vực mã hóa, kiến thức đầu tư đều 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. Lợi suất của các giao thức cho vay chủ đạo đã giảm xuống dưới 2%, trong khi 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 chuyển vốn sang mua trái phiếu chính phủ.
Kể từ những năm 1980, 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 tăng lãi suất 10 lần. Nhịp độ tăng lãi suất càng chậm, hiệu quả càng kém, lạm phát càng khó kiểm soát. Ví dụ, quá trình tăng lãi suất lần thứ 6 từ 2015-2018 diễn ra chậm chạp, giá nguyên liệu 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ì ở mức cao, có thể thúc đẩy Cục Dự trữ Liên bang tiếp tục áp dụng chính sách tăng lãi suất mạnh mẽ. 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 đố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, không nên tùy ý nói về việc bắt đáy.
Tin tưởng vào giải pháp zkRollup của Ethereum
Bỏ qua chu kỳ lớn của thị trường vốn, chỉ từ góc độ biến đổi công nghệ mã hóa và làn sóng Web3.0 có thể xuất hiện, Ethereum và các giải pháp mở rộng zkRollup của nó, đặc biệt là các giải pháp zkRollup dựa trên zkEVM thế hệ mới, đáng được chú ý.
Nhà sáng lập đồng sáng lập Ethereum Vitalik Buterin cho biết, bước tiếp theo của Ethereum sau khi hợp nhất là nâng cao khả năng mở rộng. Việc mở rộng là vấn đề cốt lõi cản trở nhiều 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 lại và xác thực tất cả các giao dịch trong một tác vụ duy nhất.
Dưới sự hỗ trợ của Vitalik, Rollup đã trở thành giải pháp chính cho khả năng mở rộng của Ethereum. Rollup được chia thành hai loại: Optimistic Rollup và zkRollup. Sự 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 chứng minh gian lận, trong khi zkRollup sử dụng chứng minh không kiến thức.
So với Optimistic Rollup, zkRollup sử dụng bằng chứng không kiến thức để xác minh toán học, có nhiều lợi thế kỹ thuật hơn. Một số dự án đã khám phá lĩnh vực này trong nhiều năm.
Tuy nhiên, EVM 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ột 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 khó khăn. Để giải quyết vấn đề này, một số đội ngũ đang phát triển máy ảo hỗ trợ tính toán chứng minh không kiến thức và tương thích với Solidity, được gọi 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
Một số dự án sử dụng các phương pháp khác nhau để triển khai zkEVM. Một số sẽ biên dịch mã byte thành mã vi hoạt động, sử dụng STARK để tạo ra chứng minh tính hợp lệ của việc chuyển trạng thái và sử dụng SNARK để xác minh tính chính xác của chứng minh trước khi gửi đến Ethereum. Một số giải pháp biên dịch mã hợp đồng Solidity thành ngôn ngữ trung gian Yul, sau đó biên dịch lại thành tập hợp mã byte tương thích được thiết kế đặc biệt.
Những hệ thống này có đủ tốt để đưa vào sản xuất không? Chúng ta có cần thiết kế lại zkEVM tốt hơn không? Về nguyên tắc, chuỗi lớp 1 có thể xác minh "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 rằng tình hình thực tế không lý tưởng - việc xử lý một vài giao dịch mất hàng chục phút.
Có một đội ngũ đã tối ưu hóa cấu trúc zkEVM và thiết kế một zkEVM hiệu quả hơn. Nguyên nhân chính là do việc áp dụng một cấu trúc phân tầng được thiết kế tốt, nén không gian dư thừa trong mạch và kích thước của đa thức nộp, rút ngắn thời gian cần thiết để tạo ra chứng minh. Đồng thời, Sequencer của nó vận hành nút Ethereum, tiếp nhận giao dịch của người dùng, tạo ra trạng thái mới và Trace thân thiện với zkEVM đặc biệt. Bộ 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ỏ trong zkEVM, giảm thiểu đáng kể độ dư thừa và tăng tốc độ tạo 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 quả không bằng STARK. Tuy nhiên, với sự xuất hiện của công nghệ mới, STARK cũng trở nên lỗi thời. Do tốc độ là nút thắt cổ chai của zkEVM, việc so sánh hiệu suất tính toán trở nên rất quan trọng. STARK có thời gian chứng minh và thời gian xác minh gần như tuyến tính, nhanh hơn SNARK nhưng rõ ràng chậm hơn một số công nghệ mới. Có các phương án chứng minh không kiến thức mớ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, đạt được cực trị lý thuyết. Các phương án này là trong suốt, không cần bất kỳ thiết lập đáng tin cậy nào, giữ được mức độ an toàn cao nhất.
Dựa trên mã có thể mã hóa theo thời gian tuyến tính, một số phương pháp chứng minh không kiến thức mới là nhanh nhất trong tất cả các phương pháp ZKP hiện có. Hơn nữa, do 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 phương pháp hiện tại, giúp người dùng cuối chỉ cần chi tiêu rất ít để tận hưởng dịch vụ lớp hai của Ethereum.
Sự cần thiết của lớp dữ liệu độc lập có sẵn
Hiện tại, zkRollup chủ yếu tập trung vào việc giảm bớt gánh nặng tính toán trong việc xác thực giao dịch. Điều này đặc biệt quan trọng đối với Ethereum, vì chi phí thực hiện 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 hợp lý, vì Ethereum phù hợp hơn với vai trò là lớp đồng thuận hơn là lớp lưu trữ, nghĩa là nút thắt mở rộng vẫn tồn tại - khi băng thông và lưu trữ của các nút không đủ, chúng sẽ bị ảnh hưởng.
Đây là lý do tại sao Ethereum cần một lớp dữ liệu khả dụng độc lập để lưu trữ dữ liệu giao dịch gốc, nhằm ngăn chặn việc đóng băng toàn bộ hợp đồng thông minh do sự cố của máy chủ zkRollup hoặc nút Ethereum. Quan trọng hơn, nó sẽ tách chi phí lớp hai khỏi lớp một, giảm hơn một nửa chi phí giao dịch dựa trên zkEVM của zkRollup.