Thời đại mở rộng Ethereum mới: Chứng minh thời gian thực và Rollup gốc
Ethereum đang bước vào kỷ nguyên mở rộng mới, công nghệ chứng minh không biết sẽ trở thành động lực chính. Bài viết này sẽ khám phá những khó khăn kỹ thuật của chứng minh thời gian thực, logic tham gia của người chứng minh, những thách thức an ninh trong quá trình chuyển đổi L1, và cách Rollup gốc có thể trở thành hình thái tối thượng của mở rộng ZK.
Chứng minh thời gian thực: Mảnh ghép quan trọng trong việc mở rộng Ethereum
Chứng minh thời gian thực là bước đột phá quan trọng trong việc nâng cao hiệu suất của Ether. Nó đề cập đến quá trình tạo chứng minh ZK cho một khối trên mạng chính Ethereum trong vòng chưa đầy 12 giây. Khi đạt được, Ethereum có thể tích hợp logic xác minh khối vào chính giao thức, đảm bảo tính khả chứng trong khi tăng đáng kể giới hạn Gas, thực hiện mở rộng quy mô L1.
Việc triển khai chứng minh thời gian thực không chỉ cần công nghệ zkVM mà còn cần thay đổi ở tầng giao thức Ethereum. Dự kiến, bản nâng cấp Glamsterdam vào năm tới sẽ giới thiệu cơ chế "tách biệt xác thực khối và thực thi ngay lập tức", cung cấp cho người chứng minh nhiều thời gian hơn để tạo ra chứng minh zkEVM.
Một đội ngũ kỹ thuật đã phát hành SP1 Hypercube zkVM mới nhất, có khả năng tạo chứng minh cho 93% các khối mạng chính trong thời gian thực dưới cụm 200 GPU. Họ tự tin sẽ nâng cao tỷ lệ thành công lên 99% trước cuối năm nay.
Ethereum còn xem xét việc rút ngắn thời gian khối từ 12 giây xuống 6 giây, điều này sẽ nâng cao trải nghiệm người dùng và tốc độ xác nhận giao dịch, nhưng cũng sẽ gây thêm áp lực cho những người chứng minh. Tuy nhiên, với việc công nghệ ZK có thể cải thiện hiệu suất gấp 10 lần mỗi năm, tin rằng có thể đối phó với thách thức này.
Yêu cầu phần cứng cho người chứng minh ZK Ethereum
Việc tạo ra chứng minh ZK theo thời gian thực cần có tài nguyên tính toán mạnh mẽ. Mục tiêu kỹ thuật ban đầu mà Quỹ Ethereum đặt ra cho các chứng nhân là: chi phí phần cứng được kiểm soát dưới 100.000 đô la, tiêu thụ điện năng thấp hơn 10 kilowatt.
Có người cho rằng yêu cầu này quá cao, nhưng thực tế là trách nhiệm của người chứng thực và người xác minh là khác nhau. Người xác minh chạy nút để tham gia vào sự đồng thuận, trong khi nhiệm vụ của người chứng thực là tạo ra ZK chứng minh. Một khi chứng minh đã được tạo ra, mạng chỉ cần xác minh chứng minh đó có đúng hay không, không cần thực hiện lại giao dịch.
Hiện tại, cấu hình phần cứng 100.000 USD chỉ là mục tiêu ban đầu. Dự kiến đến đầu năm sau, nhu cầu GPU có thể giảm xuống còn khoảng 16 card đồ họa, tổng chi phí được kiểm soát trong khoảng từ 10.000 đến 30.000 USD.
Một nhóm đã xây dựng một mạng lưới phi tập trung gồm hàng trăm người chứng thực trên mạng thử nghiệm. Hệ thống sử dụng cơ chế chứng thực cạnh tranh, cho phép những người tham gia có thời gian ngắn hơn và chi phí thấp hơn chiến thắng, tạo ra cơ chế tương tự như đấu giá sức mạnh tính toán. Điều này có nghĩa là, trong tương lai Ethereum được điều khiển bởi ZK, tinh thần thợ mỏ sẽ tái hiện dưới một hình thức khác.
Chuyển mạng chính sang kiến trúc ZK: Thách thức trong việc di chuyển hệ thống
Việc chuyển đổi mạng chính L1 của Ethereum sang kiến trúc ZK là một thách thức kỹ thuật lớn, cần phải tái cấu trúc lớp giao thức và xem xét nhiều rủi ro tiềm ẩn. Các rủi ro có thể bao gồm kẻ tấn công độc hại chèn "kẻ giết chứng minh" dẫn đến cơ chế xác thực bị mất hiệu lực, hoặc sự sụt giảm đột ngột về hoạt động mạng ảnh hưởng đến tính bền vững, v.v.
Toàn bộ quá trình chuyển tiếp có thể mất vài năm. Máy ảo ZK với tư cách là công nghệ ban đầu có thể có lỗ hổng, nhưng khi hệ sinh thái trưởng thành, có thể nâng cao tính khả thi và độ bền của nó thông qua các hệ thống chứng minh đa dạng, cơ chế khuyến khích hoàn thiện, và xác minh hình thức.
Ethereum còn có kế hoạch tái cấu trúc kiến trúc của lớp đồng thuận, xây dựng một cấu trúc mới có tên gọi "Beam Chain", với mục tiêu tối ưu hóa ZK ngay từ giai đoạn thiết kế ban đầu. Trong tương lai, toàn bộ công việc xác thực dữ liệu của Ethereum có thể được thực hiện trên CPU của một chiếc laptop thông thường.
Mainnet "Snark hóa": Triển vọng của Rollup gốc
Với việc tích hợp zkEVM vào mạng chính Ethereum, khái niệm Rollup gốc bắt đầu xuất hiện. Rollup hiện tại sử dụng hệ thống chứng minh độc lập, giữa nó và mạng chính Ethereum có một số giả định về niềm tin. Tầm nhìn của Rollup gốc là cho phép các người xác minh L1 của Ethereum trực tiếp xác minh chứng minh chuyển đổi trạng thái của Rollup, đạt được L2 thực sự được xác minh bởi mạng chính và đảm bảo an toàn bởi mạng chính.
Điều này cần thêm mã "execute precompile" vào khách hàng L1 của Ethereum, cho phép các xác nhận viên trực tiếp xác minh các chứng nhận chuyển trạng thái ZK được tạo ra từ L2. Nếu được thực hiện, trong tương lai bất kể giao dịch trên L1 hay Rollup gốc, việc thanh toán cuối cùng và tính bảo mật sẽ được đảm bảo bởi cùng một nhóm xác nhận viên Ethereum, mức độ tin cậy hoàn toàn tương đương.
Rollup gốc có thể là dị thể, cung cấp trải nghiệm ứng dụng đa dạng và khác biệt cho người dùng. Mặc dù chưa được chính thức ghi vào lộ trình của Ethereum, nhưng với sự ra mắt của zkEVM và việc cấu trúc lại kiến trúc L1, việc thiết lập giao diện và logic biên dịch trước cho nó đã trở thành xu hướng kỹ thuật có thể dự đoán.
Trong việc Snark hóa EVM và thúc đẩy Rollup gốc, Ethereum có sự phối hợp công nghệ cao. Quá trình này vẫn cần thông qua quản trị cộng đồng, hình thành các đề xuất cải tiến Ethereum và được triển khai trong các hard fork. Dưới kỳ vọng lạc quan, có thể các đề xuất liên quan sẽ được nộp vào cuối năm và được ra mắt trong fork sau nâng cấp Glamsterdam. Tuy nhiên, lịch trình này vẫn mang tính không chắc chắn cao, cần được xem xét một cách thận trọng.
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.
6 thích
Phần thưởng
6
5
Đăng lại
Chia sẻ
Bình luận
0/400
GasFeeNightmare
· 17giờ trước
Cuối cùng không còn phải dựa vào chữ khắc lowb để chơi đùa với mọi người nữa.
Xem bản gốcTrả lời0
MindsetExpander
· 23giờ trước
唉 一看就是紫砂为了 chơi đùa với mọi người đồ ngốc tuyệt vời
Xem bản gốcTrả lời0
MEVictim
· 23giờ trước
Đây là phí gas lại phải To da moon rồi...
Xem bản gốcTrả lời0
ImpermanentPhobia
· 23giờ trước
Vitalik Buterin mau chóng làm cho xong đi, bao giờ mới xong?
Xem bản gốcTrả lời0
DeFiGrayling
· 23giờ trước
Ethereum mở rộng còn phải chờ bao lâu nữa, tôi đã mệt mỏi.
Chương mới trong mở rộng Ethereum: Đột phá công nghệ chứng minh thời gian thực và Rollup gốc
Thời đại mở rộng Ethereum mới: Chứng minh thời gian thực và Rollup gốc
Ethereum đang bước vào kỷ nguyên mở rộng mới, công nghệ chứng minh không biết sẽ trở thành động lực chính. Bài viết này sẽ khám phá những khó khăn kỹ thuật của chứng minh thời gian thực, logic tham gia của người chứng minh, những thách thức an ninh trong quá trình chuyển đổi L1, và cách Rollup gốc có thể trở thành hình thái tối thượng của mở rộng ZK.
Chứng minh thời gian thực: Mảnh ghép quan trọng trong việc mở rộng Ethereum
Chứng minh thời gian thực là bước đột phá quan trọng trong việc nâng cao hiệu suất của Ether. Nó đề cập đến quá trình tạo chứng minh ZK cho một khối trên mạng chính Ethereum trong vòng chưa đầy 12 giây. Khi đạt được, Ethereum có thể tích hợp logic xác minh khối vào chính giao thức, đảm bảo tính khả chứng trong khi tăng đáng kể giới hạn Gas, thực hiện mở rộng quy mô L1.
Việc triển khai chứng minh thời gian thực không chỉ cần công nghệ zkVM mà còn cần thay đổi ở tầng giao thức Ethereum. Dự kiến, bản nâng cấp Glamsterdam vào năm tới sẽ giới thiệu cơ chế "tách biệt xác thực khối và thực thi ngay lập tức", cung cấp cho người chứng minh nhiều thời gian hơn để tạo ra chứng minh zkEVM.
Một đội ngũ kỹ thuật đã phát hành SP1 Hypercube zkVM mới nhất, có khả năng tạo chứng minh cho 93% các khối mạng chính trong thời gian thực dưới cụm 200 GPU. Họ tự tin sẽ nâng cao tỷ lệ thành công lên 99% trước cuối năm nay.
Ethereum còn xem xét việc rút ngắn thời gian khối từ 12 giây xuống 6 giây, điều này sẽ nâng cao trải nghiệm người dùng và tốc độ xác nhận giao dịch, nhưng cũng sẽ gây thêm áp lực cho những người chứng minh. Tuy nhiên, với việc công nghệ ZK có thể cải thiện hiệu suất gấp 10 lần mỗi năm, tin rằng có thể đối phó với thách thức này.
Yêu cầu phần cứng cho người chứng minh ZK Ethereum
Việc tạo ra chứng minh ZK theo thời gian thực cần có tài nguyên tính toán mạnh mẽ. Mục tiêu kỹ thuật ban đầu mà Quỹ Ethereum đặt ra cho các chứng nhân là: chi phí phần cứng được kiểm soát dưới 100.000 đô la, tiêu thụ điện năng thấp hơn 10 kilowatt.
Có người cho rằng yêu cầu này quá cao, nhưng thực tế là trách nhiệm của người chứng thực và người xác minh là khác nhau. Người xác minh chạy nút để tham gia vào sự đồng thuận, trong khi nhiệm vụ của người chứng thực là tạo ra ZK chứng minh. Một khi chứng minh đã được tạo ra, mạng chỉ cần xác minh chứng minh đó có đúng hay không, không cần thực hiện lại giao dịch.
Hiện tại, cấu hình phần cứng 100.000 USD chỉ là mục tiêu ban đầu. Dự kiến đến đầu năm sau, nhu cầu GPU có thể giảm xuống còn khoảng 16 card đồ họa, tổng chi phí được kiểm soát trong khoảng từ 10.000 đến 30.000 USD.
Một nhóm đã xây dựng một mạng lưới phi tập trung gồm hàng trăm người chứng thực trên mạng thử nghiệm. Hệ thống sử dụng cơ chế chứng thực cạnh tranh, cho phép những người tham gia có thời gian ngắn hơn và chi phí thấp hơn chiến thắng, tạo ra cơ chế tương tự như đấu giá sức mạnh tính toán. Điều này có nghĩa là, trong tương lai Ethereum được điều khiển bởi ZK, tinh thần thợ mỏ sẽ tái hiện dưới một hình thức khác.
Chuyển mạng chính sang kiến trúc ZK: Thách thức trong việc di chuyển hệ thống
Việc chuyển đổi mạng chính L1 của Ethereum sang kiến trúc ZK là một thách thức kỹ thuật lớn, cần phải tái cấu trúc lớp giao thức và xem xét nhiều rủi ro tiềm ẩn. Các rủi ro có thể bao gồm kẻ tấn công độc hại chèn "kẻ giết chứng minh" dẫn đến cơ chế xác thực bị mất hiệu lực, hoặc sự sụt giảm đột ngột về hoạt động mạng ảnh hưởng đến tính bền vững, v.v.
Toàn bộ quá trình chuyển tiếp có thể mất vài năm. Máy ảo ZK với tư cách là công nghệ ban đầu có thể có lỗ hổng, nhưng khi hệ sinh thái trưởng thành, có thể nâng cao tính khả thi và độ bền của nó thông qua các hệ thống chứng minh đa dạng, cơ chế khuyến khích hoàn thiện, và xác minh hình thức.
Ethereum còn có kế hoạch tái cấu trúc kiến trúc của lớp đồng thuận, xây dựng một cấu trúc mới có tên gọi "Beam Chain", với mục tiêu tối ưu hóa ZK ngay từ giai đoạn thiết kế ban đầu. Trong tương lai, toàn bộ công việc xác thực dữ liệu của Ethereum có thể được thực hiện trên CPU của một chiếc laptop thông thường.
Mainnet "Snark hóa": Triển vọng của Rollup gốc
Với việc tích hợp zkEVM vào mạng chính Ethereum, khái niệm Rollup gốc bắt đầu xuất hiện. Rollup hiện tại sử dụng hệ thống chứng minh độc lập, giữa nó và mạng chính Ethereum có một số giả định về niềm tin. Tầm nhìn của Rollup gốc là cho phép các người xác minh L1 của Ethereum trực tiếp xác minh chứng minh chuyển đổi trạng thái của Rollup, đạt được L2 thực sự được xác minh bởi mạng chính và đảm bảo an toàn bởi mạng chính.
Điều này cần thêm mã "execute precompile" vào khách hàng L1 của Ethereum, cho phép các xác nhận viên trực tiếp xác minh các chứng nhận chuyển trạng thái ZK được tạo ra từ L2. Nếu được thực hiện, trong tương lai bất kể giao dịch trên L1 hay Rollup gốc, việc thanh toán cuối cùng và tính bảo mật sẽ được đảm bảo bởi cùng một nhóm xác nhận viên Ethereum, mức độ tin cậy hoàn toàn tương đương.
Rollup gốc có thể là dị thể, cung cấp trải nghiệm ứng dụng đa dạng và khác biệt cho người dùng. Mặc dù chưa được chính thức ghi vào lộ trình của Ethereum, nhưng với sự ra mắt của zkEVM và việc cấu trúc lại kiến trúc L1, việc thiết lập giao diện và logic biên dịch trước cho nó đã trở thành xu hướng kỹ thuật có thể dự đoán.
Trong việc Snark hóa EVM và thúc đẩy Rollup gốc, Ethereum có sự phối hợp công nghệ cao. Quá trình này vẫn cần thông qua quản trị cộng đồng, hình thành các đề xuất cải tiến Ethereum và được triển khai trong các hard fork. Dưới kỳ vọng lạc quan, có thể các đề xuất liên quan sẽ được nộp vào cuối năm và được ra mắt trong fork sau nâng cấp Glamsterdam. Tuy nhiên, lịch trình này vẫn mang tính không chắc chắn cao, cần được xem xét một cách thận trọng.