Mặc dù đáy thị trường gấu Crypto chưa xuất hiện, nhưng tôi vẫn kiên định lạc quan về ZK Rollup của Ethereum
Tuyển chọn TechFlowTuyển chọn TechFlow
Mặc dù đáy thị trường gấu Crypto chưa xuất hiện, nhưng tôi vẫn kiên định lạc quan về ZK Rollup của Ethereum
Nếu chỉ đơn thuần coi kinh tế mã hóa là một cuộc cách mạng công nghệ, thì e rằng vẫn chưa đủ.
Chuyên sâu báo cáo Web3Nếu chỉ đơn thuần coi kinh tế mã hóa là một cuộc cách mạng công nghệ thì e rằng vẫn chưa đủ.
Rất nhiều người làm trong ngành Crypto hoặc những người yêu thích lĩnh vực này cảm thấy khó thích nghi, nguyên nhân lớn nhất là chu kỳ ở đây quá rõ rệt, biến động quá mạnh. Người bình thường hoàn toàn có thể kiếm được gấp mười thậm chí hàng trăm lần tiền trong thị trường tăng giá của Crypto, nhưng lại thua lỗ thảm hại trong thị trường giảm giá. Tóm lại, bất kể là ai, chỉ cần bước chân vào Crypto, khóa học đầu tư chắc chắn là điều không thể tránh khỏi.
Việc Cục Dự trữ Liên bang Mỹ (FED) tăng lãi suất, khiến nguồn vốn thắt chặt, là nguyên nhân chính dẫn đến đợt thị trường gấu hiện nay. DeFi đã sớm từ bỏ mức lợi suất điên rồ 20%, hiện tại lợi suất của các giao thức cho vay chủ đạo phổ biến dưới 2%, trong khi lợi suất trái phiếu kho bạc Mỹ trên thực tế đã vượt quá 3%. Đây chính là động lực chính khiến các nhà đầu tư tổ chức và các dự án stablecoin liên tục chuyển vốn từ thị trường Crypto sang thế giới thực để mua trái phiếu chính phủ.
Kể từ những năm 1980, FED đã trải qua tổng cộng 6 chu kỳ tăng lãi suất, mỗi chu kỳ kéo dài từ 1 đến 3 năm, trung bình có tới 10 lần tăng lãi suất. Việc tăng lãi suất càng chậm chạp thì hiệu quả càng kém, lạm phát càng khó kiểm soát, ví dụ như chu kỳ tăng lãi suất thứ 6 từ năm 2015 đến 2018 diễn ra rất chậm, khiến giá nguyên liệu thô chủ đạo là dầu mỏ không những không giảm mà còn tiếp tục tăng cao. Giá dầu sau tháng 10 vẫn duy trì vững chắc, điều này sẽ khiến FED tiếp tục thực hiện chính sách tăng lãi suất mạnh tay. Không nghi ngờ gì nữa, cả thị trường chứng khoán toàn cầu và thị trường Crypto đều sẽ tiếp tục chịu áp lực do dòng vốn tổ chức rút ra trong năm 2023, đáy của thị trường gấu vẫn chưa xuất hiện, không nên vội vàng tuyên bố "bắt đáy".
Hình 1: Thống kê các lần tăng lãi suất của FED; Nguồn dữ liệu: FED
Kiên định lạc quan về giải pháp zkRollup của Ethereum
Tuy nhiên, nếu chúng ta không bàn đến chu kỳ lớn của thị trường vốn, mà chỉ xét riêng về mặt đổi mới công nghệ do Crypto mang lại, cùng với khả năng xảy ra làn sóng Web3.0 trong tương lai, chúng tôi kiên định lạc quan về Ethereum và 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.
Vitalik Buterin tại hội nghị Converge22 của Circle ngày 30 tháng 9 đã phát biểu: "Sau hợp nhất (The Merge), bước tiếp theo của Ethereum 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 tiền mã hóa và ứng dụng blockchain trở thành dòng chính. Như đã biết, zkRollup có thể mở rộng bằng cách đóng gói hàng trăm giao dịch vào một tác vụ thực thi và xác minh tất cả các giao dịch nằm trong một nhiệm vụ duy nhất.
Dưới sự ủng hộ mạnh mẽ của Vitalik, Rollup đã trở thành giải pháp mở rộng chính thống cho Ethereum. Các giải pháp Rollup được chia thành Optimistic Rollup và zkRollup tùy theo loại công nghệ. Sự khác biệt chính giữa hai loại này nằm ở phương án đảm bảo tính hợp lệ của giao dịch.Optimistic Rollup sử dụng phương án bằng chứng gian lận (fraud proof), trong khi zkRollup sử dụng bằng chứng kiến thức không (zero-knowledge proof) dạng toán học.
Mạng Optimistic Rollup có vai trò của bên thách thức, có thể chứng minh dữ liệu gửi lên Ethereum là gian lận, sau đó thông qua đồng thuận mạng để hoàn tác các giao dịch vô hiệu. Trong khi đó, zkRollup sử dụng công nghệ bằng chứng kiến thức không khi xử lý hàng loạt 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, nó trực tiếp gửi bằng chứng lên Ethereum, đạt được ngay lập tức tính nhất quán trạng thái cuối cùng.
So với Optimistic Rollup, zkRollup sử dụng phương pháp xác minh toán học bằng bằng chứng kiến thức không, mang lại nhiều ưu thế kỹ thuật hơn. Starkware và zkSync đã là những dự án tiên phong khám phá lĩnh vực này trong vài năm qua.
Tuy nhiên, tồn tại một vấn đề: EVM không được thiết kế để hỗ trợ bằng chứng kiến thức không, điều này khiến việc xây dựng máy ảo vừa tương thích Solidity vừa hỗ trợ bằng chứng kiến thức không trở nên cực kỳ khó khăn. Ví dụ, Starkware không thể hỗ trợ viết hợp đồng thông minh bằng Solidity.
Để giải quyết vấn đề này,Scroll, Polygon và Fox Tech đang phát triển một máy ảo hỗ trợ phép tính bằng chứng kiến thức không 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 đúng đắn của việc thực thi, bao gồm cả tính hợp lệ của đầu vào và đầu ra được sử dụng trong quá trình thực thi.
Hình 2: So sánh các giải pháp mở rộng
Tại sao cần phải thiết kế lại zkEVM?
-
Polygon biên dịch mã bytecode thành mã vi vận hành, dùng STARK để tạo bằng chứng tính hợp lệ của việc chuyển trạng thái, sau đó dùng SNARK để xác minh tính đúng đắn của bằng chứng trước khi gửi lên Ethereum để xác thực.
-
Scroll có phần tương tự phương án của Polygon, nhưng chỉ sử dụng Halo 2 làm phương pháp bằng chứng kiến thức không của mình.
-
ZkSync biên dịch mã hợp đồng viết bằng Solidity thành Yul, một ngôn ngữ trung gian có thể biên dịch thành bytecode cho các máy ảo khác nhau, sau đó biên dịch lại bytecode Yul thành tập bytecode tùy chỉnh, tương thích mạch điện, được thiết kế riêng cho zkEVM của ZkSync.
Những hệ thống trên đã tốt đến mức có thể đưa vào sản xuất chưa? 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 kiến thức không để chứng minh và tập hợp tất cả các giao dịch trước khi công bố bằng chứng tổng hợp lên chuỗi.
Về nguyên tắc, điều này có nghĩa là chuỗi lớp 1 có thể xác minh một "bằng chứng" ngắn gọn bao trùm hàng ngàn giao dịch phức tạp, mà không có khả năng gian lận nào.
Tuy nhiên, sau khi mạng thử nghiệm Scroll và Polygon zkEVM ra mắt, mọi người cuối cùng đã biết thực tế —— nó rất chậm, cần hàng chục phút để thực hiện vài giao dịch.
Fox đã tối ưu cấu trúc zkEVM, thiết kế lại zkEVM để làm cho nó hiệu quả hơn mọi zkEVM hiện có. Nguyên nhân chính là do nó áp dụng 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 đa thức gửi, từ đó rút ngắn thời gian tạo bằng chứng. Đồng thời, Sequencer của nó chạy một nút Ethereum, nhận các giao dịch từ người dùng, tạo trạng thái mới và một Trace đặc biệt thân thiện với zkEVM.
Fox Folder là bộ tạo bằng chứng, lấy Trace này từ sequencer và xử lý nó trong zkEVM bằng rất nhiều bảng nhỏ (thay vì một bảng khổng lồ kinh ngạc), điều này sẽ giảm đáng kể sự dư thừa và tăng tốc độ tạo bằng chứng.
Tại sao cần bằng chứng kiến thức không nhanh hơn?
SNARK tuy gọn nhẹ nhưng hiệu suất không bằng STARK. Tuy nhiên, STARK cũng sẽ lỗi thời khi FOAKS xuất hiện. Vì tốc độ là điểm nghẽn của zkEVM, nên so sánh hiệu quả tính toán là rất quan trọng. STARK đạt được thời gian tạo bằng chứng và thời gian xác minh gần tuyến tính. Nó nhanh hơn SNARK, nhưng rõ ràng chậm hơn FOAKS. FOAKS là ZKP đầu tiên trên thế giới đạt được thời gian tạo bằng chứng tuyến tính và thời gian xác minh dưới tuyến tính, điều này đã đạt đến giới hạn lý thuyết. FOAKS là minh bạch, không cần bất kỳ thiết lập tin cậy nào, nghĩa là nó giữ được mức độ an toàn cao nhất.
FOAKS là viết tắt của Fast Objective Argument of Knowledges, nghĩa là Bằng chứng Kiến thức Khách quan Nhanh, do Fox Tech thiết kế. FOAKS dựa trên mã có thể mã hóa trong thời gian tuyến tính, là ZKP nhanh nhất trong tất cả các giải pháp hiện có. Ngoài ra, nhờ sử dụng kỹ thuật đệ quy, kích thước bằng chứng FOAKS giảm xuống còn 1/7 so với các giải pháp hiện tại, giúp người dùng cuối chỉ cần chi một xu Mỹ để sử dụng dịch vụ lớp 2 của Ethereum.
Hình 3: Ma trận bằng chứng kiến thức không
Tại sao cần một lớp sẵn sàng dữ liệu độc lập?
Các zkRollup hiện tại chủ yếu tập trung vào việc giảm gánh nặng tính toán khi xác minh giao dịch. Điều này đặc biệt quan trọng đối với Ethereum vì việc xác minh thực thi hợp đồng thông minh phức tạp là rất tốn kém.
Tuy nhiên, các nút Ethereum vẫn cần lưu trữ dữ liệu giao dịch gốc. Điều này là chưa hợp lý, bởi vì Ethereum phù hợp hơn để làm lớp đồng thuận chứ không phải lớp lưu trữ, có nghĩa là điểm nghẽn mở rộng vẫn tồn tại —— khi băng thông và dung lượng lưu trữ của nút không đủ (chứ không phải thiếu sức mạnh tính toán), chúng sẽ bị ảnh hưởng.
Đây chính là lý do tại sao Ethereum cần một lớp sẵn sàng 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 tình trạng đóng băng toàn bộ hợp đồng thông minh do lỗi của máy chủ zkRollup hoặc nút Ethereum.
Quan trọng hơn, điều này tách chi phí của Layer 2 khỏi Layer 1 và tiếp tục giảm hơn một nửa chi phí giao dịch của zkRollup dựa trên zkEVM.
Hình 4: Cấu trúc phân tầng của Ethereum
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
