Nuffle: Ethereum's Finality-As-A-Service Layer

Nâng cao1/7/2025, 6:27:55 AM
Bài viết khám phá NFFL, một giao thức xác minh trạng thái chéo nhanh chóng sử dụng ETH đã được restaked của EigenLayer và DA gần như của NEAR, cho phép ứng dụng chéo chuỗi an toàn, hiệu quả và có khả năng mở rộng với độ chính xác cao.

Giới thiệu

Nhìn lại, rollups đã trở thành giải pháp mở rộng xác định cho Ethereum và công nghệ phi tập trung như một tổng thể. Chín tháng sau nâng cấp Dencun của Ethereum, nhằm mục tiêu mở rộng khả năng cung cấp dữ liệu rollup, khả năng xử lý giao dịch đã vượt quá.hai trăm giao dịch mỗi giây—đại diện cho một tăng gấp năm lần so với năm nay. Hai nền tảng lớn nhất, Arbitrum và OP Mainnet, đã đạt được sự phi tập trung giai đoạn 1—vượt qua một số mạng lưới Layer 1 thay thế nổi bậttrong các chỉ số phi tập trung - với thêm các rollup có thể nhắm đến tập trung giai đoạn 2 vào năm 2025. Công nghệ chứng minh không biết dần dần tiến bộ để cho phép xác minh giao dịch tương đương Ethereum với chi phí dưới một xu, tạo ra một con đường để xác minh hiệu quả hàng ngàn giao dịch người dùng tiêu chuẩn trên blockchain Ethereum hiện đại.

Tuy nhiên, sự tiến bộ này đặt ra những thách thức mới. Nhiều nhóm đang phát triển các blockchain độc lập trên đỉnh Ethereum, với khả năng tương tác hạn chế giữa chúng. Hạn chế này chủ yếu bắt nguồn từ việc hoàn thiện không thường xuyên của các bản tổng hợp, điều này cản trở giao tiếp chuỗi chéo có ý nghĩa. Hơn nữa, các rollup lạc quan, hiện đang lưu trữ phần lớn hoạt động của hệ sinh thái và Total Value Locked (TVL), phải đối mặt với những hạn chế kỹ thuật vốn có ngăn cản giao tiếp trực tiếp bên ngoài các cầu nối chung, tạo ra một rào cản đáng kể đối với khả năng tương tác giữa các mạng lớn như Arbitrum và Base. Cộng đồng đã đề xuất nhiều giải pháp khác nhau, từ cầu nối dựa trên mục đích và hoán đổi nguyên tử đến trừu tượng hóa chuỗi toàn diện. Bất chấp sự khác biệt của chúng, các giải pháp này chia sẻ một yêu cầu cơ bản: một nguồn sự thật đáng tin cậy — một giao thức cho phép xác minh trạng thái an toàn giữa các bản tổng hợp vừa nhanh chóng vừa tiết kiệm chi phí.

Trong số những giải pháp nổi bật, thường phụ thuộc vào các oracles lạc quan (Across), sự đồng thuận của các nhà điều hành chuyên biệt (Stargate qua LayerZero), hoặc niềm tin vào sequencer tập trung (Polymer Hub), Fast Finality Layer (NFFL) của Nuffle Labs mang đến sự cân bằng hấp dẫn giữa hiệu suất, an ninh, và sự phù hợp với Ethereum. Bài báo này xem xét cách tiếp cận đổi mới của NFFL trong việc kích hoạt xác minh trạng thái cross-rollup thông qua cơ chế restaking của EigenLayer và NEAR DA, khám phá thiết kế kiến trúc và lộ trình phát triển, và phân tích các ứng dụng tiềm năng và hàm ý của chúng đối với hệ sinh thái.

Cạnh của bạn trên Ethereum

Nhận nghiên cứu từ nguồn tin cậy do đội ngũ chuyên gia của chúng tôi thực hiện.

Địa chỉ email của bạn

Nền tảng

Để hiểu các thách thức mà NFFL định địa chỉ, hãy xem xét kiến trúc cơ bản của rollups, mục tiêu của chúng và các hạn chế bẩm sinh của chúng.

Rollups 101

Rollup là một blockchainsử dụng một chuỗi khối độc lập khác để sắp xếp giao dịch, tính sẵn có dữ liệu và đồng thuận, trong khi thực hiện các giao dịch bên ngoài một cách có thể xác minh bởi chuỗi cha. Trong khi nhiều định nghĩa đề cập đến chuỗi cha như Lớp 1 (L1) và rollup như Lớp 2 (L2), một số khung không yêu cầu L2 sử dụng L1 cho tính sẵn có dữ liệu. Để rõ ràng, bài báo này tập trung vào rollups cụ thể hơn là loại L2 phổ biến hơn.

Một ví dụ về sự phân biệt này - tất cả các rollup đều là L2, nhưng không phải tất cả các L2 đều necessarily là rollup. Nguồn: blog.thirdweb.com

Tất nhiên, trong trường hợp của chúng tôi, L1 cha là chuỗi khối Ethereum. Nó chịu trách nhiệm chia sẻ sự đồng thuận của nó với rollups (chúng tôi sẽ trình bày thêm về điều này sau). Hãy phân tích cách rollups tận dụng Ethereum cho các chức năng chính của chúng: sắp xếp giao dịch, khả năng cung cấp dữ liệu và đồng thuận.

Sắp xếp giao dịch

Rollups bao gồm một thực thể được gọi là sequencer, có trách nhiệm quản lý việc bao gồm và sắp xếp giao dịch thông qua mạng L1. Sequencer hoạt động tương tự như một nhà sản xuất khối trong các blockchain truyền thống. Cụ thể, nó chấp nhận giao dịch đến từ người dùng theo thứ tự, tổng hợp chúng thành các lô (tương đương với các khối L1) và định kỳ công bố các lô này đến một hợp đồng thông minh được chỉ định trên L1.

Một hợp đồng thông minh trên L1 duy trì một bản ghi có uy quyền về tất cả các giao dịch đã được xuất bản và thứ tự của chúng. Các nút Rollup phải theo dõi hợp đồng này để lấy các khối và thông tin giao dịch mới. Khi một lô được bao gồm trong một khối L1 và khối đó đạt được tính cuối cùng thông qua sự đồng thuận L1, sự bao gồm và thứ tự của tất cả các giao dịch trong lô đó được đảm bảo bởi các thuộc tính bảo mật của L1.

Một mức độ nào đó, sequencer là một “starter” của rollup - nó giúp rollup thực sự chấp nhận giao dịch mới trong mạng, tạo điều kiện để di chuyển trạng thái tiến lên. Một số rollups thực hiện việc xếp hàng phi tập trung - tập hợp các thực thể chuyên dụng xoay vòng giảm rủi ro mất thời gian chạy của sequencer trung tâm - và dựa trên việc xếp hàng, không sử dụng bất kỳ sequencer nào như nguồn tin cậy trước khi xuất bản lô giao dịch ra L1. Thay vào đó, dựa trên việc xếp hàng cho phép bất kỳ ai cũng có thể là sequencer, nhưng các lô của họ chỉ được sử dụng bởi các nút khi xuất bản ra L1. Điều này không gây rủi ro gì về thời gian chạy sequencer nhưng giá trị là thời gian bao gồm giao dịch chậm hơn (tình huống tốt nhất là 12 giây mỗi khối của L1).

Tuy nhiên, các trình tự không quyết định trạng thái mới của mọi thứ trong bản tổng hợp, ngay cả sau khi thực hiện các lô của riêng họ. Do đó, các trình tự “bắt đầu” nhưng không nhất thiết phải “chạy” bản tổng hợp, vì hành động của chúng không thể trực tiếp dẫn đến quá trình chuyển đổi trạng thái độc hại.

Một bộ khởi động động cơ. Mặc dù nó không chạy động cơ, nhưng nếu không có nó thì động cơ cũng không hoạt động. Hãy nghĩ về rollup như là động cơ và nghĩ về sequencer như là bộ khởi động.

Khả năng truy cập dữ liệu

Tuy nhiên, thông tin về việc đặt hàng của một số giao dịch không đều định đủ cho các nó rollup, vì chúng không sở hữu sắc các giao dịch đó. Để thực hiện các giao dịch này và xác định kết quả của chúng trong blockchain rollup, các nó phải có quyền truy cập đầy đủ và không bị hạn chế đến tất cả các giao dịch trong lỗi.

Do đó, các bộ xử lý rollup phải công bố dữ liệu giao dịch toàn diện cho L1 một cách cho phép hợp đồng thông minh của rollup xác minhkhả năng truy cập dữ liệu. Sau khi dữ liệu giao dịch cho một lô hàng được bao gồm và hoàn thiện trên L1, sự sẵn có của nó được đảm bảo cho tất cả các nút tham gia.

Trước khi nâng cấp Dencun, các Ethereum rollups đã đăng dữ liệu giao dịch trong dữ liệu đầu vào (calldata) của các cuộc gọi theo thứ tự trên L1. Do đó, tất cả các giao dịch phải được đăng lên blockchain của L1 mãi mãi. Điều này có thể nghe có lý, vì chúng ta muốn tất cả các nút, bao gồm cả các nút trong tương lai, có thể tái tạo lại trạng thái của rollup. Tuy nhiên, điều này rất không hiệu quả, vì Ethereum L1 không thể lưu trữ dữ liệu lớn trên sổ cái của mình, trong khi rollups, là làn đường cao tốc của Ethereum, rất tốn dữ liệu. Thay vào đó, chúng ta có thể làm cho hợp đồng thông minh của rollup xác minh tính hợp lệ của các giao dịch được sắp xếp, để các nút theo dõi trạng thái trong hợp đồng, thay vì tái tạo nó từ tất cả các giao dịch bắt đầu từ nguồn gốc.

Cầu Enshrined (Consensus)

Để đơn giản hóa, chúng tôi đã đảo ngược định nghĩa của rollup - thường, tất cả các giải thích bắt đầu bằng cầu hai chiều giữa rollup và L1 của nó. Điều này khá phổ biến trong rollups để sử dụng tiền tệ bản địa của L1 như là của chính mình, để đơn giản hóa việc ước lượng phí gas dựa trên chi phí của sequencers và proposers. Hơn nữa, nhiều rollup muốn có được các token phổ biến trong hệ sinh thái của họ từ ngày đầu tiên, cho việc nối chúng từ L1 của họ là lựa chọn tốt nhất.

Việc triển khai hợp đồng thông minh cầu nối từ L1 đến rollup khá đơn giản - các nút rollup đã lắng nghe mọi thứ xảy ra trong hợp đồng của nó, do đó chúng ta có thể triển khai chức năng gửi tiền L1 mà tất cả các nút sẽ hiểu là một lệnh để phát hành token tương ứng trên rollup.

Tuy nhiên, việc rút tiền không tin cậy yêu cầu hợp đồng cầu nối xác nhận tất cả các giao dịch rollup và xác định kết quả hợp lệ của chúng. Điều này cho phép cầu nối xử lý yêu cầu rút tiền hợp lệ bằng cách giải phóng quỹ cho các người khởi xướng được ủy quyền trên L1. Cơ chế xác nhận này làm cho cầu nối trở thành nguồn thông tin chính thức về trạng thái cơ bản của rollup - các nút sẽ tuân thủ quá trình chuyển tiếp trạng thái của cầu nối bất kể các nhánh chuỗi thay thế. Khác với các blockchain truyền thống, rollup không áp dụng quy tắc đồng thuận độc lập để chọn chuỗi. Hợp đồng cầu nối trên L1 là điều xác định chuỗi cơ bản.

Blobs

Cập nhật Dencun của Ethereum tháng 3 năm ngoái đã giới thiệu “blob” – các ô dữ liệu tạm thời được lưu trữ bên ngoài blockchain và được tưới tỉa (bị xóa bỏ bởi các máy chủ xác nhận của mạng) sau khoảng ~18 ngày. Khi cầu nối rollup giúp tái tạo trạng thái mà không cần thực hiện lại các giao dịch, tính năng này trở nên rất hữu ích cho rollup, chúng đã chuyển từ calldata sang blobs ngay sau cập nhật. Nói về số liệu, trước Dencun, tổng TPS của rollups là khoảng 50. Ngày nay, nó đã vượt quá 200, với giới hạn lý thuyết ở 400-800 TPS tùy thuộc vào rollup.

Nguồn:L2BEAT

Ngoài việc cải thiện hiệu suất, blobs đã loại bỏ yêu cầu phải trả chi phí gas EVM cho việc lưu trữ dữ liệu giao dịch, thiết lập một kênh riêng với lưu trữ tạm thời chuyên biệt và giá cước độc lập. Sự thay đổi kiến trúc này đã giảm đáng kể chi phí giao dịch trong rollups, với phí giảm từ 10-40 xu mỗi giao dịch xuống cấp độ dưới một xu trong các mạng như Base.

Nguồn: growthepie.xyz

Giải quyết Rollup

Trong khi các trình tự quản lý thứ tự giao dịch và xuất bản, chúng chỉ đại diện cho một phần của kiến trúc rollup. Rollups cũng tích hợp các thực thể gọi là “người đề xuất” có trách nhiệm thuyết phục cầu nối L1 về các đầu ra trạng thái cụ thể kết quả từ các lô được xếp hàng mới. Về bản chất, trong khi các trình tự thiết lập sự xuất hiện và thứ tự giao dịch, người đề xuất chứng minh kết quả của các giao dịch này theo logic xử lý của rollup, chẳng hạn như máy ảo của nó.

Vai trò của người đề xuất thay đổi đáng kể dựa trên phương pháp xác thực trạng thái của rollup. Có hai phương pháp hoàn toàn khác nhau tồn tại, định nghĩa hai loại rollups: Lạc quan và Zero-Knowledge (ZK).

Tối Ưu Hóa Rollups

Trong optimistic rollups, người đề xuất thường xuyên gửi cập nhật trạng thái đến cầu L1, thông thường cùng hoặc ngay sau khi sequencer công bố lô giao dịch. Các cập nhật trạng thái này bao gồm gốc trạng thái mới (một cam kết mật mã đến toàn bộ trạng thái mới của rollup) sau khi thực hiện tất cả giao dịch trong các lô mới nhất.

Để ngăn chặn cập nhật trạng thái không hợp lệ, cầu đường thực hiện một giai đoạn thách thức (thường là 7 ngày) trong đó các diễn viên chuyên gia được gọi là “người thách thức” có thể tranh chấp đề xuất bằng cách gửi một bằng chứng gian lận. Bằng chứng này chứng minh rằng các giao dịch đã được thực thi không đúng bằng cách thực hiện lại giao dịch bị tranh chấp trên L1 và so sánh kết quả.

Nếu một người thách thức thành công chứng minh rằng người đề xuất đã gửi một chuyển tiếp trạng thái không hợp lệ, kết quả trạng thái sẽ bị đảo ngược và người thách thức sẽ được thưởng (thường từ một khoản ký quỹ mà người đề xuất phải đăng). Điều này tạo ra một trò chơi kinh tế mà người đề xuất được khích lệ để chỉ gửi các chuyển tiếp trạng thái hợp lệ.

Zero-Knowledge Rollups

Trong ZK rollups, người đề xuất tạo ra chứng minh toán học (được gọi là “chứng minh tính hợp lệ” hoặc, chính xác hơn, “chứng minh ZK”) để chứng minh tính đúng đắn của mọi chuyển đổi trạng thái. Những chứng minh này cho thấy rằng tất cả giao dịch trong một lô đã được thực hiện theo quy tắc của rollup mà không tiết lộ chi tiết cụ thể về việc thực hiện chúng.

Cầu L1 có thể nhanh chóng xác minh những bằng chứng này bằng cách sử dụng các hoạt động mật mã hiệu quả, với chi phí tương đương với việc trao đổi token. Một khi bằng chứng được xác minh, cầu chấp nhận cập nhật trạng thái đã giải quyết. Điều này có nghĩa là những người đề xuất phải thực hiện công việc tính toán đáng kể trước khi gửi cập nhật trạng thái, nhưng cập nhật đó được giải quyết nhanh hơn rất nhiều so với optimistic rollups.

Giải quyết, tính chất cuối cùng và tương thích

Thời gian thanh toán thông qua các cầu nối chuẩn khác nhau giữa các loại rollup khác nhau — từ 7 ngày cho rollup lạc quan do thời gian thách thức của chúng, đến vài giờ cho rollup ZK do chi phí tạo chứng minh và chi phí xuất bản hàng loạt. Trong khi mô hình này hoạt động tốt để bảo vệ các giao dịch có giá trị cao có thể chịu đựng độ trễ, nó tạo ra sự cản trở đáng kể cho hệ sinh thái DeFi rộng lớn.

Hãy xem điều này ảnh hưởng đến việc sử dụng thực tế như thế nào: người dùng muốn sử dụng tài sản đảm bảo dựa trên Arbitrum để vay tiền trên Base phải trước tiên chuyển tài sản của họ và đợi đến 7 ngày trước khi sử dụng được. Một nhà giao dịch phát hiện cơ hội kinh doanh chênh lệch giữa các mạng lưới Uniswap trên các rollup khác nhau sẽ thấy cơ hội biến mất trước khi họ có thể thực hiện. Một ứng dụng chơi game muốn cho phép người chơi giao dịch vật phẩm trên các triển khai rollup khác nhau sẽ đối mặt với UX không chấp nhận được với những sự chậm trễ kéo dài như vậy.

Thật đáng chú ý ở đây là các nút rollup thực sự có thể quan sát được các thay đổi trạng thái nhanh chóng hơn rất nhiều - thường chỉ trong vài giây sau khi xác nhận khối L1. Trong khi trạng thái này chưa được giải quyết hoàn toàn trong cầu nối chuẩn, nó dựa trên dữ liệu giao dịch đã được sắp xếp và hoàn thành trên Ethereum. Rất nhiều sàn giao dịch tập trung đã sử dụng tính chất này, ghi nhận tiền gửi người dùng từ rollups sau chỉ vài xác nhận khối bằng cách chạy các nút của riêng họ và xác minh sự hoàn thiện giao dịch trên L1.

Điều này tạo ra một sự phân đôi thú vị trong hệ sinh thái rollup. Mặc dù các bản tổng hợp đã mở rộng thành công thông lượng giao dịch của Ethereum, nhưng chúng đã gây ra sự phân mảnh nghiêm trọng về trạng thái và thanh khoản. Mỗi bản tổng hợp hoạt động hiệu quả như một blockchain độc lập không thể xác minh hiệu quả trạng thái của các bản tổng hợp khác mà không cần chờ giải quyết cầu nối, mặc dù tất cả chúng đều có được bảo mật từ cùng một chuỗi cơ bản — Ethereum.

Giải pháp hiện có

Hệ sinh thái đã phát triển nhiều phương pháp khác nhau để vượt qua những hạn chế này, từ các cầu nối tập trung đến các mạng ngoại chuỗi chuyên biệt. Những giải pháp này thường thực hiện các sự thương lượng khác nhau giữa ba thuộc tính chính:

  • Bảo mật - Bảo mật mạnh mẽ đến đâu đảm bảo rằng việc xác minh trạng thái là chính xác
  • Tốc độ - Tốc độ xác minh trạng thái trên các chuỗi
  • Chi phí - Độ đắt đỏ của việc duy trì và sử dụng giải pháp

Hầu hết các giải pháp hiện có tối ưu hóa về tốc độ và chi phí nhưng đánh đổi bằng an ninh - thường phụ thuộc vào các nhà điều hành đáng tin cậy, multisigs, hoặc cơ chế lạc quan với sự hỗ trợ kinh tế tối thiểu. Điều này đã dẫn đến nhiều vụ hack cầu nối nổi tiếng, đặc biệt là vụ khai thác Ronin cầu trên 625 triệu đô la, làm nổi bật các rủi ro của việc hy sinh an ninh vì tiện lợi.

Thách thức cơ bản là xác định một “nguồn tin cậy” an toàn về trạng thái rollup có thể:

  • Xác minh thay đổi trạng thái trong vài giây hoặc vài phút thay vì vài giờ hoặc vài ngày
  • Cung cấp đảm bảo an ninh cryptoeconomic mạnh mẽ
  • Vận hành hiệu quả chi phí cho cả nhà cung cấp cơ sở hạ tầng và người dùng
  • Tích hợp một cách mượt mà với kiến trúc rollup hiện có

Cơ hội này để cho phép xác minh trạng thái nhanh và an toàn giữa các rollups đã gây ra sự đột phá đáng kể. Các nhóm khác nhau tiếp cận vấn đề từ các góc độ khác nhau, tìm cách tạo ra cơ sở hạ tầng có thể cung cấp năng lượng cho thế hệ tiếp theo của các ứng dụng qua chuỗi mà không phải mất tính bảo mật.

Trong các phần tiếp theo, chúng tôi sẽ tìm hiểu cách NFFL tiếp cận thách thức này thông qua sự kết hợp mới lạ của việc tái đặt cược của EigenLayer và NEAR DA, tạo ra một lớp sự chắc chắn nhanh chóng mà đạt được sự cân nhắc cẩn thận giữa bảo mật, tốc độ và hiệu quả về chi phí.

NFFL Deep Dive

Nhận định Cốt lõi

Nuffle Fast Finality Layer (NFFL) đại diện cho một phương pháp mới để cho phép tương tác an toàn giữa các chuỗi bằng cách cung cấp xác minh trạng thái nhanh chóng giữa các rollup. Thay vì buộc các nhà phát triển phải lựa chọn giữa bảo mật và tốc độ, NFFL tận dụng ETH được đặt cược lại của EigenLayer để tạo ra một lớp xác minh cuối cùng nhanh chóng được bảo mật bằng cryptoeconomical có thể chứng thực trạng thái rollup trong vòng vài giây.

Ở cốt lõi, NFFL hoạt động như một Dịch vụ Được Xác thực Hành động (AVS) chạy trên EigenLayer. Một mạng lưới phi tập trung của các nhà điều hành, mỗi người chạy các nút đầy đủ cho các rollups tham gia, xác minh và chứng nhận cập nhật trạng thái. Những chứng nhận này được hậu thuẫn bởi ETH đã đầu tư lại của các nhà điều hành, tạo ra động lực kinh tế mạnh mẽ cho hành vi trung thực. Bằng cách kết hợp điều này với lớp Khả năng Cung cấp Dữ liệu của NEAR để lưu trữ dữ liệu khối một cách hiệu quả, NFFL cho phép ứng dụng xác minh trạng thái qua các chuỗi mạng trong 2-3 giây - nhanh gấp hàng trăm lần so với việc thanh toán cầu nối cổ điển.

Kiến trúc thiết kế đơn giản của NFFL

Điều làm cho NFFL đặc biệt hấp dẫn là phương pháp thiết kế thiết thực của nó. Thay vì cố gắng thay thế hoặc cạnh tranh với mô hình bảo mật của Ethereum, nó cung cấp một lớp bổ sung được tối ưu hóa cho các trường hợp sử dụng yêu cầu tốc độ hoàn tất nhanh hơn. Ứng dụng có thể lựa chọn liệu dựa trên bảo mật cryptoeconomic của NFFL hay đợi đến khi giải quyết L1 đầy đủ dựa trên nhu cầu cụ thể của họ. Tính linh hoạt này cho phép NFFL cải thiện trải nghiệm người dùng cho nhiều tương tác qua chuỗi khác nhau trong khi vẫn đảm bảo bảo mật mạnh mẽ.

Hệ thống giới thiệu ba đổi mới chính:

  1. Mạng quản trị phi tập trung (operator) đạt được sự nhất quán về trạng thái rollup bằng cách so sánh những chuyển đổi trạng thái được thực hiện cục bộ với dữ liệu khối được đăng lên NEAR DA
  2. Hệ thống nhiệm vụ dựa trên điểm kiểm tra cho phép tổng hợp và xác minh hiệu quả các chứng nhận của người vận hành trong khi duy trì trách nhiệm thông qua cơ chế cắt giảm của EigenLayer
  3. Một cơ chế lưu trữ dữ liệu sử dụng NEAR DA cho phép việc truy xuất dữ liệu rollup được chứng thực dễ dàng trên tất cả các rollup

Thiết kế này cho phép NFFL đạt được sự cân bằng cẩn thận giữa bảo mật, tốc độ và hiệu quả chi phí - ba thuộc tính truyền thống mâu thuẫn trong cơ sở hạ tầng chuỗi chéo. Bằng cách cung cấp xác minh trạng thái nhanh chóng nhưng an toàn, NFFL mở ra những khả năng mới cho các ứng dụng chuỗi chéo, từ các giao thức cho vay đến các công cụ tổng hợp thanh khoản.

Trong các phần tiếp theo, chúng ta sẽ khám phá kiến trúc của NFFL chi tiết, xem xét cách các thành phần khác nhau hoạt động cùng nhau để cho phép tương tác giữa các chuỗi chéo mới này. Chúng ta cũng sẽ phân tích mô hình bảo mật của nó, thảo luận về các ứng dụng tiềm năng và xem xét lộ trình phát triển trong tương lai của giao thức.

Các thành phần cốt lõi

Bộ toán tử

Tại trái tim của NFFL nằm mạng lưới điều hành của nó - một hệ thống phi tập trung mở rộng tính bảo mật của Ethereum để cho phép xác minh chéo rollup nhanh chóng. Thay vì tạo ra một mạng lưới khép kín khác yêu cầu giả định bảo mật riêng của mình, NFFL được xây dựng như một Dịch vụ Được Xác minh Hoạt động (AVS) trên EigenLayer, cho phép nó tiếp cận trực tiếp vào hệ sinh thái xác minh hiện có của Ethereum.

Sự lựa chọn kiến trúc này là rất quan trọng để hiểu mô hình bảo mật của NFFL. Những nhà xác thực cùng nhau bảo vệ sự thống nhất của Ethereum có thể đặt cược lại ETH của họ thông qua EigenLayer để trở thành các nhà điều hành NFFL. Khi làm như vậy, họ đặt ETH đã đặt cược của họ vào rủi ro để hỗ trợ các sự chứng nhận về trạng thái rollup. Điều này tạo ra một cầu nối bảo mật mạnh mẽ giữa sự thống nhất của Ethereum và lớp hoàn chỉnh nhanh của NFFL.

Khi một rollup xuất bản dữ liệu khối mới đến L1, người chuyển tiếp chuyển nó đến NEAR DA. Các nhà điều hành truy xuất dữ liệu khối thông qua cả hai nguồn và đảm bảo chúng tương đương. Chúng tôi sẽ giải thích thêm vì sao việc xuất bản dữ liệu rollup trên NEAR DA là cần thiết để làm cho việc sử dụng ứng dụng sử dụng NFFL thuận tiện hơn đối với người dùng và nhà phát triển.

Sau khi thu thập các lô rollup mới, các nhà điều hành thực thi chúng trong các nút rollup của họ. Vì tất cả đều chạy cùng phần mềm nút, chúng sẽ luôn xuất hiện với cùng một đầu ra trạng thái, và đúng. Đầu ra trạng thái này sau đó được ký bởi tất cả các nhà điều hành. Khi đa số các nhà điều hành đồng ý với một trạng thái cụ thể, nó được chấp nhận bởi hệ thống và có thể được truyền đến các hợp đồng đăng ký trên tất cả các rollup.

An ninh kinh tế của hệ thống như vậy có một thuộc tính rất thú vị xuất phát từ cơ chế cắt giảm của EigenLayer:

Trong EigenLayer, Dịch vụ Được Xác thực Hoạt động có thể triển khai cơ chế xác minh có khả năng phát hiện các chứng nhận không hợp lệ từ các nhà điều hành, và cắt giảm (thanh lý) tiền gửi của họ sau đó. Khi NFFL một cách nào đó “giải quyết sơ bộ” trạng thái rollup ngoại tuyến trước khi nó được giải quyết trên cầu, có thể mục đích phát hiện gian lận một cách khách quan bằng cách chờ đợi trễ giải quyết và thông báo cho hợp đồng AVS về sự không nhất quán trong chứng nhận và trên cầu. Điều này tạo ra động cơ kinh tế không khuyến khích chứng nhận gian lận, vì chúng có thể được phát hiện và cắt giảm bởi bất kỳ tổ chức nào theo dõi trạng thái L1 và NFFL, ngay cả khi họ không chạy các nút rollup. Nói cách khác, NFFL “bảo hiểm” cho các yêu cầu của mạng — các nhà điều hành đang đặt vốn đáng kể vào việc hỗ trợ các yêu cầu của họ về trạng thái rollup.

Điều làm cho điều này đặc biệt mạnh mẽ là cách nó điều chỉnh động cơ thúc đẩy trên toàn bộ hệ thống. Các nhà điều hành kiếm phí cho sự tham gia trung thực trong khi rủi ro thua lỗ đáng kể do sự không trung thực. Càng nhiều ETH được đặt cược vào NFFL, các động cơ thúc đẩy này càng mạnh mẽ hơn. Và vì bảo mật này được phát sinh từ Ethereum qua EigenLayer, nó một phần hưởng lợi từ cùng một mô hình bảo mật kinh tế mạnh mẽ như đã bảo vệ hàng trăm tỷ đôla giá trị trên Ethereum chính.

Luồng Tin Nhắn

Hệ thống tin nhắn của NFFL đại diện cho một phương pháp đổi mới để xử lý xác minh trạng thái giữa các chuỗi giao dịch quy mô. Thay vì ghi lại mọi xác nhận trạng thái trên chuỗi giao dịch, điều này sẽ quá tốn kém, NFFL giới thiệu một hệ thống hai tầng gồm Tin nhắn và Nhiệm vụ cho phép hoạt động ngoại chuỗi hiệu quả trong khi vẫn đảm bảo bảo mật trên chuỗi giao dịch khi cần thiết.

Tin nhắn là đơn vị cơ bản của giao tiếp trong NFFL. Khi các nhà điều hành xác minh một trạng thái mới, họ tạo ra và ký một Tin nhắn chứng nhận trạng thái đó. Những Tin nhắn này tồn tại chủ yếu ngoài chuỗi, lưu thông giữa các nhà điều hành và bộ tổng hợp mà không tốn phí gas trên chuỗi. Có hai loại Tin nhắn khác nhau lưu thông qua hệ thống:

  • Thông báo cập nhật gốc trạng thái chứa xác nhận của một nhà điều hành về trạng thái rollup tại một độ cao khối cụ thể. Mỗi Thông báo không chỉ bao gồm gốc trạng thái mà còn có một tham chiếu đến giao dịch NEAR DA chứa dữ liệu khối, tạo ra một liên kết có thể xác minh giữa trạng thái được xác nhận và dữ liệu cơ bản của nó.
  • Thông báo cập nhật Bộ điều khiển Theo dõi thay đổi trong bộ điều khiển của NFFL. Những thông báo này rất quan trọng đối với bảo mật của hệ thống vì chúng cho phép các hợp đồng đăng ký rollup duy trì một bản ghi cập nhật về các nhà điều hành hợp lệ, đảm bảo rằng các xác nhận chỉ được chấp nhận từ các thành viên được ủy quyền có tiền đặt cược.

Trong khi Tin nhắn cho phép xác minh trạng thái hiệu quả, chúng không đủ để đảm bảo an ninh kinh tế của hệ thống một cách đáng tin cậy. Đó là lúc Nhiệm vụ ra đời. Nhiệm vụ là các đơn vị làm việc trên chuỗi mà kiểm tra điểm trạng thái của hệ thống theo khoảng thời gian định kỳ. Thay vì gửi mỗi Tin nhắn đến Ethereum, nhà điều hành định kỳ xây dựng một Sparse Merkle Tree chứa tất cả Tin nhắn từ một khoảng thời gian cụ thể. Gốc của cây này sau đó được gửi dưới dạng phản hồi Nhiệm vụ, tạo thành cam kết hiệu quả trên chuỗi đối với tất cả các chứng thực ngoại chuỗi.

Hệ thống điểm kiểm tra này rất thông minh vì nó cho phép xác minh lựa chọn của bất kỳ tin nhắn nào mà không yêu cầu tất cả các tin nhắn được lưu trữ trên chuỗi. Thông qua chứng minh Merkle, bất kỳ ai cũng có thể xác minh rằng một Tin nhắn cụ thể đã được bao gồm trong một điểm kiểm tra, cho phép cơ chế thách thức hiệu quả trong khi giữ chi phí cơ bản thấp. Bạn có thể nghĩ đến nó như là tạo ra một “blockchain của chứng nhận” nơi các điểm kiểm tra phục vụ như các tiêu đề khối cam kết cho tất cả các Tin nhắn trong một khoảng thời gian.

Aggregator đóng vai trò quan trọng trong hệ thống này bằng cách thu thập chữ ký của nhà điều hành và làm cho chúng có sẵn thông qua API. Khi nhà điều hành ký các tin nhắn, họ gửi chúng đến bộ tổng hợp để xác minh rằng chữ ký đã đạt đến đa số (được cân bằng theo ETH đặt cược) trước khi tiết lộ chúng để sử dụng bởi các ứng dụng. Điều này tạo ra một giao diện sạch cho các nhà phát triển trong khi duy trì các tính chất bảo mật phi tập trung của hệ thống. Chúng tôi sẽ trình bày về dịch vụ tổng hợp trong phần tiếp theo.

Dịch vụ tổng hợp

Trình tổng hợp hoạt động như lớp phối hợp của NFFL, hiệu quả quản lý luồng Tin nhắn giữa các nhà điều hành và ứng dụng. Mặc dù khá đơn giản về mặt khái niệm, thiết kế của nó phản ánh sự cân nhắc tỉ mỉ đến cả nhu cầu thực tế của nhà phát triển và nguyên tắc phi tập trung.

Ở cốt lõi của nó, bộ thu thập giải quyết vấn đề “thảm kịch của quần chúng” trong việc tổng hợp chữ ký. Nếu thiếu một dịch vụ chuyên dụng, mỗi ứng dụng sử dụng NFFL sẽ cần thu thập và xác minh chữ ký từ tất cả các nhà điều hành một cách độc lập - một quá trình không hiệu quả và tốn kém. Thay vào đó, bộ thu thập cung cấp một điểm thu thập duy nhất cho chữ ký của người điều hành, xác minh quorum và tiết lộ các chứng nhận đã được xác minh thông qua một API đơn giản.

Quá trình tổng hợp chữ ký hoạt động như sau:

  • Các nhà khai thác ký độc lập Tin nhắn chứng thực các bản cập nhật trạng thái
  • Những chữ ký này được gửi đến bộ tập hợp để thu thập
  • Bộ tổng hợp xác minh tính hợp lệ của chữ ký và theo dõi sự đồng thuận
  • Khi đạt được đủ trọng số cổ phần, chữ ký tổng hợp sẽ trở nên khả dụng
  • Ứng dụng có thể truy xuất những chứng nhận này thông qua API của trình tổng hợp

Thiết kế này giảm đáng kể sự phức tạp cho các nhà phát triển tích hợp NFFL. Thay vì quản lý các hoạt động mật mã phức tạp hoặc theo dõi cổ phần của người vận hành, ứng dụng chỉ cần yêu cầu xác nhận cho các cập nhật trạng thái cụ thể thông qua giao diện API sạch sẽ. Trình tổng hợp xử lý tất cả sự phức tạp của việc thu thập chữ ký, xác minh và tổng hợp BLS ẩn sau cảnh.

Kết hợp Chữ ký

Hãy khám phá việc tổng hợp BLS được sử dụng bởi NFFL thêm. Các chữ ký BLS có một thuộc tính toán học mạnh mẽ cho phép nhiều chữ ký được kết hợp thành một chữ ký duy nhất. Thay vì xác minh N chữ ký cá nhân từ các nhà điều hành, điều này sẽ tốn nhiều tài nguyên tính toán và gas, ứng dụng có thể xác minh một chữ ký tổng hợp duy nhất chứng minh sự đồng thuận toàn cầu.

Những lợi ích về hiệu suất ở đây là đáng kể. Khi các nhà điều hành NFFL ký một Tin nhắn, họ tạo ra chữ ký BLS tiêu chuẩn bằng cách sử dụng khóa riêng của họ. Sau đó, bộ tập hợp có thể kết hợp những chữ ký cá nhân này thành một chữ ký gọn nhẹ chứng minh sự đồng thuận của quần thể. Kích thước và chi phí xác minh của chữ ký tổng hợp này vẫn không đổi bất kể số lượng nhà điều hành tham gia - một đặc tính khiến hệ thống có khả năng mở rộng cao.

Ngoài ra, chữ ký tổng hợp có thể được xác minh thông qua các khóa công cộng kết hợp của các nhà điều hành ký, được cân đối theo số tiền đã gửi cược của họ để đảm bảo rằng an ninh kinh tế được tính đúng. Hợp đồng đăng ký sau đó chỉ cần thực hiện một hoạt động xác minh chữ ký để xác nhận rằng trạng thái cập nhật đã được đủ trọng số cược chứng thực.

Aggregator và Checkpoints

Lưu ý rằng, trong khi bộ tổng hợp cung cấp sự tiện lợi, nó không đ compromní mô hình bảo mật của NFFL. Các chữ ký mà nó thu thập có thể được xác minh công khai và vai trò của nó chỉ đơn thuần là tổ chức chứ không phải là chủ quyền. Các ứng dụng luôn có thể độc lập xác minh rằng các chữ ký được tổng hợp đại diện cho quyền lực hợp lệ từ các nhà điều hành đã đặt cược. Bộ tổng hợp không thể giả mạo chữ ký hoặc ẩn các chứng chỉ hợp lệ - nó chỉ đơn giản là làm cho chúng trở nên dễ tiếp cận hơn.

Bộ tổng hợp cũng đóng một vai trò quan trọng trong hệ thống điểm kiểm tra. Bằng cách thu thập tất cả các thông điệp theo thời gian, nó có thể xây dựng cây Merkle thưa được sử dụng trong các nhiệm vụ kiểm tra điểm kiểm tra. Điều này tạo ra một bản ghi hiệu quả về tất cả các xác nhận đã đi qua hệ thống, cho phép xác minh sau này nếu cần thiết cho các thách thức về bảo mật hoặc mục đích kiểm toán.

Hợp đồng Đăng ký

Hợp đồng Registry, triển khai trên mỗi rollup tham gia, đóng vai trò là cây cầu quan trọng giữa các chứng thực ngoại chuỗi của NFFL và xác minh trạng thái trên chuỗi. Những hợp đồng này cho phép các ứng dụng xác minh trạng thái của các rollup khác một cách đáng tin cậy bằng cách xác thực các chứng thực được bảo mật bằng cryptoeconomic của NFFL.

Điều làm cho Registry trở nên đặc biệt là cách nó duy trì tính bảo mật của NFFL trên các chuỗi khác nhau. Mỗi hợp đồng Registry giữ một bản sao cục bộ của tập toán tử của NFFL, theo dõi các thay đổi thông qua các chứng thực cập nhật tập toán tử. Điều này có nghĩa là trong khi tập toán tử được quản lý thông qua EigenLayer trên Ethereum, trạng thái của nó được sao chép đáng tin cậy trên tất cả các rollups tham gia, cho phép chúng độc lập xác minh các chứng thực.

Khi một ứng dụng cần xác minh trạng thái của một rollup khác - ví dụ, một giao protokol cho vay kiểm tra tài sản thế chấp trên Arbitrum từ Optimism - nó gửi chứng nhận liên quan đến hợp đồng Registry cục bộ của mình. Chứng nhận này bao gồm chữ ký BLS được tổng hợp chúng ta đã thảo luận trước đó, cùng với gốc trạng thái cụ thể đang được chứng nhận và tham chiếu giao dịch NEAR DA liên quan của nó.

Quá trình xác minh trong Registry rất hiệu quả nhờ việc tổng hợp chữ ký BLS. Hợp đồng chỉ cần thực hiện một xác minh chữ ký duy nhất đối với các khóa công khai có trọng số của bộ điều khiển hiện tại. Nếu chữ ký hợp lệ và đại diện cho trọng lượng cổ phần đủ, Registry chấp nhận trạng thái được chứng thực như đã được xác minh. Điều này tạo ra một cầu nối không đáng tin cậy giữa các rollup vừa an toàn vừa tiết kiệm chi phí.

Bảng đăng ký tạo ra một cầu nối tối thiểu tin cậy giữa các rollups vừa an toàn vừa hiệu quả về chi phí. Thông qua việc xác minh chữ ký tổng hợp so với các khóa công khai có trọng số của bộ điều khiển, nó có thể xác nhận rằng một cập nhật trạng thái đã nhận đủ trọng số chứng thực để được coi là hợp lệ. Điều này cho phép các ứng dụng xác minh trạng thái một cách đáng tin cậy trên các rollups khác nhau trong khi kế thừa các cam kết bảo mật kinh tế của NFFL.

Bảng đăng ký cũng đóng vai trò quan trọng trong hệ thống thách thức của NFFL. Nếu một bằng chứng sau này được chứng minh là gian lận thông qua hệ thống thách thức, Bảng đăng ký có thể vô hiệu hóa nó, bảo vệ các ứng dụng khỏi việc dựa vào trạng thái không chính xác. Điều này tạo ra nhiều lớp bảo mật - cam kết cryptoeconomic ngay lập tức từ ETH đã đặt cược kết hợp với bảo vệ gian lận dài hạn thông qua thách thức.

Phân loại lỗi & Thiết kế bảo mật

Mô hình bảo mật của NFFL tập trung vào việc phát hiện và trừng phạt hai loại lỗi chính của người vận hành: Lỗi An toàn và Lỗi Sống.

Lỗi An Toàn là vi phạm ảnh hưởng đến tính toàn vẹn của mạng bằng cách tạo ra trạng thái không chính xác hoặc kết quả không nhất quán với các quy tắc hệ thống. Có hai loại lỗi an toàn chính mà các nhà điều hành có thể phạm phải:

  • Sự hai lòng xảy ra khi một nhà điều hành ký nhiều thông điệp xung đột cho cùng một sự kiện. Ví dụ, ký các chứng chỉ cho các gốc trạng thái khác nhau cùng một độ cao khối, hoặc chứng minh nhiều thời điểm khác nhau cho cùng một khối. Hành vi như vậy làm suy yếu khả năng của mạng để đạt được sự nhất quán về trạng thái tiêu chuẩn.
  • Invalid Attestation xảy ra khi một nhà điều hành ký vào một tuyên bố sai lệ. Điều này có thể là việc chứng thực một cập nhật của bộ điều khiển không khớp với delta trạng thái trên chuỗi, hoặc ký vào một rễ trạng thái không tương ứng với việc thực thi chính xác các giao dịch trong khối. Các lỗi này có thể được xác minh một cách khách quan thông qua dữ liệu trên chuỗi.

Trong khi lỗi an toàn tác động trực tiếp vào tính chính xác, lỗi liveness ảnh hưởng đến khả năng sẵn có và hiệu suất của mạng. Nếu các nhà điều hành liên tục không tham gia vào việc ký tin nhắn, điều này ảnh hưởng đến cả khả năng sẵn có mạng và tăng chi phí xác minh cho người dùng cần nhiều chữ ký hơn để đạt quorum. Giao thức theo dõi sự tham gia của nhà điều hành thông qua các nhiệm vụ kiểm tra điểm để xác định và trừ tiền cho hành vi như vậy.

Quá trình thách thức phụ thuộc vào loại lỗi và tin nhắn đang bị thách thức:

Đối với các nhiệm vụ điểm kiểm tra, người thách thức có thể chứng minh sai lệch bao gồm hoặc không bao gồm tin nhắn. Nếu một tin nhắn với các chứng nhận hợp lệ từ thời gian của điểm kiểm tra bị bỏ qua, hoặc một tin nhắn không hợp lệ/ngoài thời kỳ được bao gồm, thách thức sẽ thành công. Điều này được xác minh thông qua chứng minh Merkle trên cây tin nhắn của điểm kiểm tra.

Các tin nhắn riêng lẻ có thể bị thách thức sau khoảng thời gian điểm kiểm tra của chúng bằng cách chứng minh nội dung của tin nhắn không hợp lệ. Chẳng hạn:

  • Các thông báo cập nhật tập hợp toán tử có thể bị vô hiệu hóa bằng cách hiển thị ID cập nhật được tuyên bố hoặc delta của toán tử không khớp với trạng thái trên chuỗi
  • Thông điệp cập nhật gốc trạng thái có thể bị thách thức bằng cách chứng minh rằng gốc trạng thái được tuyên bố không nhất quán với việc thực hiện giao dịch chính xác.

Hệ thống xác minh đa tầng này cho phép giao thức duy trì hoạt động nhanh chóng thông qua thông điệp ngoại chuỗi trong khi bảo vệ đáng tin cậy thông qua các cơ chế cryptoeconomic. Bằng cách làm cho hành vi không hợp lệ có thể được phát hiện và phạt kinh tế thông qua việc cắt giảm của EigenLayer, NFFL tạo ra động lực mạnh mẽ cho hoạt động trung thực trong khi cho phép các thách thức hiệu quả khi vi phạm xảy ra.

Ví dụ Luồng Thực Tế

Bằng cách thiết lập một cách để đọc trạng thái giữa các lớp nhanh chóng và rẻ tiền, NFFL mở ra một loạt ứng dụng mà không thể thực hiện được với cấu trúc công nghệ hiện tại của hệ sinh thái. Hãy khám phá một số ý tưởng, từ những cái lý thuyết và đơn giản đến các ứng dụng phức tạp và cụ thể hơn, hữu ích trong các lĩnh vực phổ biến nhất của hệ sinh thái Ethereum hiện nay.

Hello Protocol

Hãy bắt đầu với một ví dụ đơn giản, được mô tả trong tài liệu chính thức của Nuffle Labs - một giao thức cho phép người dùng gửi thông điệp “xin chào” giữa các rollup khác nhau. Mặc dù cơ bản, điều này cho thấy cơ chế cốt lõi của ứng dụng có thể tận dụng NFFL để giao tiếp giữa các chuỗi khác nhau.

Hãy xem xét một người dùng muốn gửi một tin nhắn trên Mạng # 1 sẽ được đọc trên Mạng # 2. Quá trình bắt đầu khi họ gửi một giao dịch trên Mạng # 1 ghi lại tin nhắn “xin chào!” của họ ở trạng thái của mạng. Tại thời điểm này, thông báo chỉ tồn tại trên Mạng #1 và thông thường sẽ yêu cầu đợi giải quyết cầu nối chính tắc (có thể là vài giờ hoặc vài ngày) trước khi nó có thể được xác minh bởi các bản tổng hợp khác.

Đây là nơi NFFL thực hiện. Khi khối chứa thông điệp này được tạo ra, nó được đăng lên NEAR DA bởi người truyền tải của mạng. Các nhà điều hành NFFL, chạy các nút đầy đủ cho cả hai mạng, xác minh dữ liệu khối này khớp với những gì mà nút Mạng #1 của họ tính toán cục bộ. Sau khi xác minh, họ ký các thông điệp chứng thực cho gốc trạng thái mới.

Các chứng thực này chảy qua dịch vụ tổng hợp của NFFL, dịch vụ này thu thập chữ ký cho đến khi đủ trọng lượng cổ phần được chứng thực cho tiểu bang. Sau khi đạt được số đại biểu, chữ ký tổng hợp sẽ có sẵn thông qua API của NFFL, thường trong vòng vài giây sau khi sản xuất khối ban đầu.

Bây giờ đến phần thú vị - tiêu thụ tin nhắn trên Mạng #2. Hợp đồng Giao thức Hello trên Mạng #2 có thể chấp nhận giao dịch chứa:

  • Chứng minh lưu trữ cho thấy thông điệp tồn tại trong trạng thái của Mạng #1
  • Giấy chứng nhận NFFL chứng minh trạng thái này là hợp lệ
  • Một tham chiếu đến giao dịch NEAR DA chứa dữ liệu khối

Giao thức sẽ định tuyến dữ liệu này đến hợp đồng Registry của Mạng #2, hợp đồng này xác minh chữ ký của chứng nhận so với hồ sơ của các nhà điều hành NFFL. Nếu hợp lệ, điều này chứng minh rằng tin nhắn tồn tại trong trạng thái được xác minh của Mạng #1, cho phép giao thức xử lý nó một cách an toàn.

Điều làm cho điều này mạnh mẽ là sự kết hợp giữa tốc độ và bảo mật. Toàn bộ quá trình từ việc nộp tin nhắn đến xác minh xuyên chuỗi có thể hoàn thành trong vài giây, thay vì trong vài giờ hoặc vài ngày với cầu nối chuẩn. Tuy nhiên, an ninh đến từ các cam kết cryptoeconomic được hỗ trợ bằng ETH được restaked thông qua EigenLayer, thay vì Toán tử đáng tin cậyhoặc giả định lạc quan.

Mặc dù việc gửi tin nhắn “xin chào” có vẻ không quan trọng, mẫu hình này cho phép ứng dụng chéo chuỗi phức tạp hơn nhiều. Khả năng xác minh trạng thái trên các rollups một cách nhanh chóng và đáng tin cậy tạo ra các khối xây dựng cho mọi thứ từ DeFi chéo chuỗi đến trải nghiệm người dùng trừu tượng hóa chuỗi.

Cầu nối Token Nhanh và Rẻ

Dựa trên những nguyên tắc cơ bản này, chúng ta hãy khám phá một ứng dụng thực tế hơn - một cầu nối mã thông báo tận dụng NFFL để chuyển đổi chéo nhanh chóng. Cảnh quan cầu hiện tại buộc phải đánh đổi khó khăn giữa tốc độ, chi phí và an ninh. Hãy xem xét cách NFFL có thể định hình lại những động lực này.

Cầu nối hàng đầu ngày nay minh họa rõ những sự hy sinh này. Stargate, được cung cấp bởi LayerZero, đạt được chi phí tương đối thấp nhưng mất 10-30 phút để hoàn thành việc chuyển giao do mạng điều hành cần phải đạt được và truyền tải sự đồng thuận trên nhiều chuỗi. Across cung cấp việc chuyển giao gần như tức thì nhưng với chi phí cao gấp 10-100 lần, chủ yếu do đầu ra của bộ giao diện người dùng UMA đắt tiền và chu kỳ cân bằng chậm (6 giờ) ảnh hưởng đến hiệu suất thanh khoản.

NFFL giới thiệu một mô hình mới ở đây. Bằng cách tận dụng khung AVS của EigenLayer thay vì duy trì một mạng toán tử riêng biệt, NFFL có thể đạt được sự đồng thuận về trạng thái rollup trong vòng vài giây. Sự đồng thuận này có thể được truyền thông hiệu quả thông qua các hợp đồng đăng ký trên tất cả các rollup tham gia, cho phép thiết kế cầu nối kết hợp hiệu quả chi phí của Stargate với khả năng hoàn thành nhanh hơn cả Cross.

Khi người dùng chuyển ETH từ Arbitrum sang Base, khi token bị khóa trong hợp đồng cầu nối trên Arbitrum, các nhà điều hành NFFL sẽ nhanh chóng xác minh và chứng nhận việc thay đổi trạng thái này thông qua các node đầy đủ của họ. Sau khi bộ tổng hợp thu thập đủ các chứng nhận, hợp đồng cầu nối trên Base có thể ngay lập tức xác minh khóa token thông qua hợp đồng Registry của nó và phát hành tiền cho người dùng.

Tốc độ và hiệu suất này làm cho nhiều tối ưu hóa hiện có của cầu không còn quan trọng. Ví dụ, hệ thống cầu dựa trên ý định thường được đề xuất để làm việc xung quanh việc chậm chạp - người dùng gửi ý định để cầu các token, và những ý định này được khớp và thực thi bởi các diễn viên chuyên nghiệp. Nhưng với NFFL cung cấp sự nhất quán gần như nhanh chóng như việc khớp ý định, các cầu có thể thay thế bằng các thiết kế hồ chứa thanh khoản hiệu quả hơn tương tự Stargate, nhưng không có giới hạn về tốc độ của nó.

Lợi ích về chi phí ở đây là đáng kể. Các nhà điều hành cầu không cần duy trì cơ sở hạ tầng đồng thuận riêng biệt hoặc trả tiền cho đầu ra của oracle đắt đỏ. Người dùng nhận được mã thông báo trên chuỗi đích trong vài giây trong khi chủ yếu trả phí cho các chi phí khí gas cơ bản của việc xác minh. Nhà cung cấp thanh khoản có thể quản lý vị trí hiệu quả hơn với chu kỳ cân bằng lại nhanh hơn.

Như một lợi ích bổ sung, hệ thống duy trì an ninh mạnh mẽ thông qua cơ chế chặt chém của EigenLayer. Bất kỳ sự chứng thực gian lận nào sẽ dẫn đến các nhà điều hành mất ETH đã đặt cược của họ, trong khi những cây cầu vẫn có thể xác minh việc thanh quyết toán cuối cùng thông qua các cây cầu chuẩn như một lớp an toàn bổ sung.

Giao protocôl cho vay đa chuỗi

Cho vay xuyên chuỗi có thể coi là ứng dụng cấp bách nhất của NFFL. Các giao thức cho vay hiện tại đối mặt với các hạn chế đáng kể do sự phân mảnh chuỗi. Hãy lấy Aave làm ví dụ - mặc dù được triển khai trên nhiều rollup, mỗi triển khai hoạt động độc lập. Người dùng muốn sử dụng tài sản thế chấp trên các chuỗi phải cầu nối tài sản và chờ đợi, phân mảnh thanh khoản và làm giảm hiệu suất vốn. Hơn nữa, một số triển khai trên các rollup nhỏ hơn thậm chí không có đủ thanh khoản cho bất kỳ cho vay có ý nghĩa nào, đặt vấn đề về vị trí tiếp thị của Aave là cho vay đơn giản cho mọi người với bất kỳ quy mô nào. “Chỉ việc sử dụng Aave” … nhưng chỉ trên các triển khai lớn nhất của nó.

NFFL cho phép một cách tiếp cận hoàn toàn khác biệt. Hãy xem xét một giao thức cho vay duy trì các pool trên nhiều rollups khác nhau nhưng sử dụng NFFL để chia sẻ trạng thái tài sản đảm bảo giữa chúng. Người dùng có thể gửi USDC làm tài sản đảm bảo trên Base, sau đó ngay lập tức vay USDT trên Arbitrum dựa trên tài sản đảm bảo đó — ngay cả khi USDT hoàn toàn không triển khai trên Base. Hợp đồng Arbitrum của giao thức đơn giản xác minh vị thế tài sản đảm bảo trên Base thông qua các chứng nhận NFFL, mà không cần yêu cầu cầu nối.

Điều này tạo ra những khả năng mới mạnh mẽ cho hiệu quả vốn. Người dùng có thể truy cập vào tỷ lệ tốt nhất trên bất kỳ rollup được hỗ trợ nào mà không cần di chuyển tài sản. Các nhà cung cấp thanh khoản có thể triển khai vốn ở nơi cần thiết nhất mà không cần duy trì vị trí riêng biệt trên mỗi chuỗi. Và vì vị trí có thể được theo dõi gần như trong thời gian thực thông qua các chứng nhận NFFL, các giao thức có thể cung cấp tỷ lệ tốt hơn trong khi duy trì an ninh.

Các lợi ích vượt xa hơn so với cho vay cơ bản. Hãy xem xét một giao thức giao dịch ký quỹ cho phép người dùng mở vị thế trên nhiều sàn DEX. Một nhà giao dịch có thể gửi tài sản thế chấp trên Arbitrum, sau đó sử dụng nó để mở vị thế ký quỹ trên cả các sàn DEX của Arbitrum và Base cùng một lúc. Giao thức có thể giám sát tất cả các vị thế thông qua các chứng thực NFFL, cho phép thanh lý nhanh chóng nếu cần thiết trong khi đưa cho nhà giao dịch truy cập vào các giá tốt nhất trên toàn hệ sinh thái.

Mô hình này đơn giản và hiệu quả hơn đáng kể so với các phương pháp hiện có. Thay vì cơ chế cầu nối phức tạp hoặc nguồn cung cấp giá trung tâm, các giao thức có thể xác minh vị trí trực tiếp thông qua hợp đồng đăng ký. Tính nhanh chóng và hoàn toàn từ NFFL có nghĩa là họ có thể hoạt động với các ranh giới an toàn thấp hơn trong khi vẫn duy trì bảo mật. Và người dùng có trải nghiệm liền mạch khi truy cập tính thanh khoản trên toàn hệ sinh thái.

Cross-DEX: Triển khai một lần, Sử dụng ở mọi nơi

Cách tiếp cận hiện tại để mở rộng sàn giao dịch phi tập trung trên các rollup thường dẫn đến hiệu suất kém cỏi. Khi các giao thức như Uniswap triển khai lên một rollup mới, người dùng ban đầu sẽ gặp phải các pool không có thanh khoản và thiếu các cặp giao dịch quan trọng. Hãy xem xét việc triển khai Uniswap V3 mới nhất trên ZKsync - mặc dù có sự hào hứng lớn và luồng tiền từ một lần airdrop ZK gần đây, nhiều pool vẫn không sử dụng được trong nhiều ngày sau khi ra mắt do thiếu thanh khoản. Trong khi đó, các triển khai của cùng một giao thức trên Arbitrum, Base và các chuỗi đã được xác lập khác vẫn duy trì thanh khoản sâu, phí thấp và giá cả hiệu quả cho hàng nghìn cặp giao dịch.

Sự phân mảnh này tạo ra sự ma sát trong toàn hệ sinh thái. Người cung cấp thanh khoản phải chia tách vốn của họ trên các chuỗi, dẫn đến giá cả tồi tệ hơn và độ trượt cao hơn ở mọi nơi. Người dùng cần chuyển đổi token và chờ đợi mỗi khi họ muốn truy cập thanh khoản tốt hơn trên một chuỗi khác. Các nhóm giao thức phải quản lý nhiều triển khai, mỗi triển khai đòi hỏi bảo trì và giám sát riêng biệt.

Bạn đã đoán đúng rồi: NFFL cho phép một cách tiếp cận hoàn toàn khác biệt. Hãy khám phá điều này qua hai mẫu mạnh mẽ ngày càng tăng:

Hãy cân nhắc một DEX mới triển khai độc quyền trên Arbitrum, được chọn vì hệ sinh thái DeFi đã được thiết lập và chi phí gas thuận lợi. Thay vì triển khai các phiên bản riêng biệt trên các chuỗi, nó duy trì các hồ bơi thanh khoản thống nhất trên Arbitrum trong khi cho phép truy cập giao dịch từ bất kỳ rollup nào. Đây là cách mà một người dùng trên Base có thể tương tác với nó:

  1. Alice muốn đổi 10.000 USDC sang ETH trên Base
  2. Giao diện cơ sở DEX truy vấn trạng thái hồ bơi Arbitrum qua các quyết định NFFL
  3. Alice nhìn thấy cô ấy có thể nhận được giá tốt hơn so với các mạng lưới phân mảnh của Base cung cấp
  4. Cô ấy chấp thuận giao dịch trên Base
  5. Giao dịch được thực thi trên Arbitrum, với kết quả được chứng thực trở lại Base

Lợi ích của thanh khoản thống nhất này là đáng kể. Các nhà cung cấp thanh khoản có thể tập trung vốn của họ vào một nơi, dẫn đến định giá tốt hơn và trượt giá thấp hơn. Nhóm giao thức chỉ cần quản lý một lần triển khai, đơn giản hóa việc phát triển và giảm chi phí vận hành. Và người dùng có quyền truy cập nhất quán vào thanh khoản sâu bất kể họ đang sử dụng bản tổng hợp nào.

Một giao thức như vậy có thể sử dụng mô hình bắc cầu mà chúng ta đã khám phá trước đó để quản lý liền mạch luồng hoán đổi. Với thời gian chờ đợi chỉ vài giây, thực tế bắc cầu có thể được trừu tượng hóa hoàn toàn. Điều này đưa chúng ta đến gần với luận điểm “trừu tượng chuỗi” gần đây đã trở nên khá phổ biến trong cộng đồng tiền điện tử: nếu nó không quan trọng đối với dapp bạn đang ở chuỗi nào, tại sao bạn lại quan tâm bạn và tất cả các ứng dụng này đang ở chuỗi nào? Người dùng có thể chỉ cần truy cập trang web của ứng dụng, kết nối ví của họ và thực hiện hành động mong muốn. Xong rồi.

Nhưng NFFL cho phép một mô hình thậm chí còn mạnh mẽ hơn - gói các giao thức DeFi hiện có để truy cập chuỗi chéo. Thay vì xây dựng các nhóm thanh khoản cạnh tranh, các nhà phát triển có thể tạo các giao thức “trợ giúp” giúp các nhóm Uniswap khổng lồ của Arbitrum có thể truy cập được từ bất kỳ bản tổng hợp nào.

Triển khai Uniswap với TVL lớn nhất. Base và Arbitrum dẫn đầu bảng xếp hạng, với Optimism có TVL nhỏ gấp 6 lần so với cả hai, và các rollup khác thuộc danh mục “Khác”. Nguồn: DefiLlama

Ví dụ, hãy xem xét Bob cần hoán đổi một cặp token long-tail trên Base. Hiện tại, các lựa chọn của anh ấy bị hạn chế - hoặc là kết nối với mạng khác và chờ đợi, hoặc chấp nhận độ trượt cực đoan từ tính thanh khoản mỏng của Base. Với một lớp bọc được cung cấp bởi NFFL xung quanh việc triển khai Uniswap của Arbitrum, Bob có thể:

  1. Truy vấn tổng lượng thanh khoản có sẵn trên tất cả các hồ bơi Arbitrum Uniswap qua các chứng nhận NFFL
  2. Tìm thanh khoản sâu cho cặp mong muốn của mình trong một nhóm Arbitrum đã được thiết lập
  3. Thực hiện giao dịch từ Base thông qua giao thức wrapper
  4. Nhận token của anh ấy trên Gate khi NFFL xác nhận hoàn tất trao đổi

Mẫu này có tính chất biến đổi vì nó biến những triển khai thành công hiện có thành cơ sở hạ tầng phổ quát. Thay vì chờ đợi một vài tháng hoặc nhiều năm để tích lũy thanh khoản trên các nền tảng mới, các giao thức có thể ngay lập tức tiếp cận các hồ bơi đã được thiết lập. Điều này hiệu quả vốn đầu tư hơn rất nhiều và tạo ra trải nghiệm người dùng tốt hơn.

Các khả năng mở rộng xa hơn việc đơn giản hoán đổi. Với việc xác minh trạng thái thời gian thực của NFFL, các giao thức có thể cung cấp các tính năng phức tạp như các lệnh giới hạn qua các chuỗi chéo. Người dùng có thể đặt một lệnh giới hạn trên Base so với thanh khoản của Arbitrum, với giao thức bao bọc theo dõi biến động giá thông qua các chứng nhận NFFL và thực hiện khi điều kiện được đáp ứng.

Mô hình này có thể thay đổi cách chúng ta nghĩ về triển khai giao thức trên các rollup. Thay vì tự động triển khai ở mọi nơi hoặc tham gia vào hiệu ứng mạng của một chuỗi cụ thể, giao thức có thể chọn một chuỗi chính chiến lược dựa trên những yếu tố như:

  • Chi phí gas cho các hoạt động cụ thể của họ
  • Các công nghệ cơ bản - máy ảo, AA, loại xếp hàng, DA, vv.
  • Xem xét quy định

Sau đó thông qua NFFL, họ vẫn có thể phục vụ người dùng trên toàn hệ sinh thái rollup trong khi duy trì hoạt động đơn giản, hiệu quả hơn.

Hậu quả đối với MEV cũng thú vị. Với thanh khoản thống nhất có thể truy cập trên các chuỗi, những người tìm kiếm MEV sẽ cần theo dõi và tương tác với ít hơn các triển khai. Điều này có thể dẫn đến việc phát hiện giá hiệu quả hơn và thực hiện tốt hơn cho người dùng trên tất cả các rollup.

Như bạn có thể đã nhận thấy, mô hình triển khai đơn giản này với quyền truy cập đa chuỗi thông qua NFFL có thể mở rộng ra ngoài DEX. Bất kỳ giao thức nào có lợi từ sự sâu sắc về thanh khoản hoặc tác động mạng đều có thể áp dụng mô hình này - giao thức cho vay, nền tảng tùy chọn, thị trường NFT và nhiều hơn nữa. Một thông tin quan trọng là NFFL làm cho việc truy cập qua chuỗi gần như mượt mà như tương tác trên cùng một chuỗi, giúp các giao thức tối ưu hóa chiến lược triển khai của mình mà không đánh đổi tính khả dụng. Nói cách khác, NFFL làm cho Ethereum trở thành một hệ sinh thái một lần nữa.

Lộ trình và phát triển trong tương lai

Trong khi NFFL đã cho phép các ứng dụng cross-chain mới mạnh mẽ, giao thức vẫn tiếp tục phát triển. Lộ trình phát triển của NFFL tập trung vào ba lĩnh vực chính:

Bảo mật giao thức

  • Triển khai các cơ chế thách thức và cắt giảm toàn diện thông qua EigenLayer
  • Kích hoạt sự tham gia của người vận hành không cần phép với quản lý cổ phần mạnh mẽ
  • Tăng cường xác minh trạng thái chuỗi chéo với các nguyên thủy mật mã được cải thiện (BLS → ECDSA)

Khả năng mở rộng mạng

  • Tối ưu hóa các hệ thống chữ ký và truyền tải trạng thái
  • Cải thiện hiệu suất kiểm tra và chi phí xác minh

Kinh nghiệm phát triển

  • Xây dựng SDK và công cụ để dễ dàng tích hợp
  • Mở rộng hỗ trợ cho các loại rollup và máy ảo khác nhau
  • Tạo tài liệu và ví dụ cho các trường hợp sử dụng phổ biến

Trong các phần tiếp theo, chúng ta sẽ tìm hiểu chi tiết về một số cải tiến đáng kể được lên kế hoạch.

BLS sang ECDSA

Một trong những thay đổi dự kiến quan trọng nhất là chuyển từ chữ ký BLS sang ECDSA. Hiện tại, NFFL sử dụng chữ ký BLS để kích hoạt việc kết hợp hiệu quả—nhiều chữ ký của người vận hành có thể được kết hợp thành một chữ ký duy nhất chứng minh sự đồng thuận của đa số. Mặc dù điều này giảm chi phí xác minh, nhưng tạo ra thách thức cho quản lý bộ điều khiển người vận hành trên các chuỗi.

Vấn đề bắt nguồn từ cách xác minh chữ ký BLS hoạt động. Khi xác minh chữ ký BLS tổng hợp, người xác minh phải sử dụng chính xác cùng một bộ khóa công khai đã tạo ra nó. Điều này có nghĩa là khi nhà điều hành đặt thay đổi trên Ethereum, tất cả các bản tổng hợp phải cập nhật lên cùng một toán tử chính xác được đặt trước khi họ có thể xác minh các chứng thực mới. Ngay cả một sự không khớp nhỏ trong các bộ toán tử giữa các chuỗi cũng có thể ngăn chặn việc xác minh chữ ký và yêu cầu đồng bộ hóa tất cả các thông báo về các thay đổi của bộ toán tử.

Chữ ký ECDSA, mặc dù yêu cầu nhiều không gian và tính toán để xác minh, nhưng cung cấp linh hoạt hơn. Các chữ ký của từng nhà điều hành có thể được xác minh độc lập, cho phép chuyển đổi mượt mà khi tập hợp nhà điều hành thay đổi. Rollups có thể xác minh các chứng thực miễn là chúng nhận ra các nhà điều hành ký, ngay cả khi quan điểm của chúng về tập hợp nhà điều hành hoàn chỉnh tạm thời khác với Ethereum. Sự linh hoạt lớn hơn này có thể đáng giá những chi phí xác minh tăng lên nhỏ.

Bộ Tổ Hợp Toán Tử Động

Thay đổi chữ ký này liên quan trực tiếp đến một cải tiến giao thức lớn khác - thực hiện bộ sưu tập nhà điều hành động. Hệ thống hiện tại sử dụng một tập hợp các nhà điều hành tĩnh được phép. Trong khi điều này đơn giản hoá quá trình phát triển ban đầu, nó hạn chế tính phi tập trung và khả năng mở rộng của giao thức.

Hệ thống toán tử động sẽ cho phép các toán tử mới tham gia mạng mà không cần sự cho phép bằng cách đặt cược thông qua EigenLayer. Điều này đưa ra một số thách thức kỹ thuật cần được giải quyết một cách cẩn thận:

Đầu tiên, giao thức phải quản lý hàng đợi truy cập và rời khỏi của các nhà điều hành. Khi các nhà điều hành muốn tham gia hoặc rời mạng, những thay đổi này cần được phối hợp trên tất cả các chuỗi tham gia. Hệ thống hàng đợi đảm bảo chuyển đổi mượt mà mà không làm gián đoạn khả năng xác minh của mạng.

Thứ hai, giao thức cần có cơ chế để theo dõi hiệu suất của người vận hành và trọng lượng cổ phần. Khi các người vận hành tham gia và rời đi, hệ thống phải duy trì các hồ sơ chính xác về cổ phần của mỗi người vận hành và quyền tham gia vào sự nhất trí. Điều này trở nên phức tạp hơn với một tập hợp linh hoạt so với phương pháp hiện tại được cho phép trong danh sách cho phép.

Cuối cùng, giao thức phải xử lý việc cập nhật tập toán tử trên các chuỗi một cách hiệu quả. Khi tập toán tử thay đổi trên Ethereum, những cập nhật này cần phải lan truyền đến tất cả các rollups tham gia thông qua hợp đồng đăng ký của chúng. Việc chuyển đổi ECDSA dự kiến sẽ giúp ở đây bằng cách làm cho những cập nhật này linh hoạt hơn.

Bỏ bánh xe phụ

Một lĩnh vực phát triển quan trọng khác là kích hoạt cơ chế thách thức không cần phép và cắt giảm. Các cơ chế này là cần thiết để thúc đẩy hành vi trung thực và cung cấp các cam kết về an ninh kinh tế mà NFFL dựa trên.

Hệ thống thử thách xoay quanh cơ chế nhiệm vụ trạm kiểm soát. Khi các nhà khai thác gửi các điểm kiểm tra có chứa Tin nhắn hợp nhất từ một khoảng thời gian, bất kỳ ai cũng có thể thách thức các điểm kiểm tra này nếu họ tin rằng chúng chứa các chứng thực không hợp lệ. Một thách thức thành công có thể phát sinh từ một số loại lỗi:

  • Đầu tiên, các lỗi an toàn trực tiếp ảnh hưởng đến tính nguyên vẹn của mạng. Điều này bao gồm sự mâu thuẫn - khi một nhà điều hành ký nhiều Tin nhắn mâu thuẫn cho cùng một trường hợp, như chứng minh cho các gốc trạng thái khác nhau cho cùng một khối. Chúng cũng bao gồm các chứng minh không hợp lệ, khi một nhà điều hành ký nhận các chuyển đổi trạng thái hoặc cập nhật bộ điều hành có thể chứng minh là không chính xác.
  • Thứ hai, lỗi liveness ảnh hưởng đến tính sẵn có của mạng. Nếu các nhà điều hành liên tục không tham gia vào việc ký tin nhắn, điều này ảnh hưởng đến khả năng của mạng trong việc xác minh trạng thái một cách hiệu quả. Cơ chế thách thức phải cân nhắc việc trừng phạt hành vi như vậy trong khi tính đến thời gian chết hợp pháp.

Giao thức sẽ triển khai một hệ thống thách thức dựa trên tài sản đảm bảo. Những người thách thức phải khóa tài sản đảm bảo khi nộp một thách thức, mà họ sẽ mất nếu thách thức được chứng minh là không hợp lệ. Tuy nhiên, nếu họ thành công chứng minh lỗi của nhà điều hành, họ sẽ nhận được phần thưởng từ sự cắt giảm cổ phần của nhà điều hành. Điều này tạo ra động cơ kinh tế để giám sát hành vi của nhà điều hành trong khi ngăn chặn những thách thức vô nghĩa.

Đối với việc cập nhật state root, quá trình thách thức rất thú vị. Sau khi một nhà điều hành chứng thực trạng thái của một rollup, điều này có thể bị thách thức bằng cách chứng minh rằng dữ liệu khối liên quan không được đăng đúng cách vào NEAR DA, hoặc rằng trạng thái đã được chứng thực không khớp với trạng thái chính thức sau quyết định. Điều này đòi hỏi người thách thức cung cấp chứng minh thông qua Rainbow Bridge để xác minh NEAR DA, tạo ra nhiều lớp bảo mật.

Cơ chế cắt giảm chính sẽ được thực hiện thông qua các hợp đồng trung gian của EigenLayer. Khi thách thức thành công, các nhà điều hành sẽ mất một phần của ETH đã đặt cược. Các tham số cắt giảm được thiết kế sao cho tổn thất tiềm năng vượt quá đáng kể bất kỳ lợi ích nào từ hành vi độc hại. Một phần của số ETH bị cắt giảm này được trao cho những người thách thức thành công, trong khi số còn lại có thể được phân phối cho các nhà điều hành trung thực hoặc sử dụng cho phát triển giao thức.

Các cơ chế này tạo ra một khuôn khổ bảo mật toàn diện. Các nhà khai thác phải đối mặt với các hình phạt tài chính đáng kể cho hành vi sai trái, những người thách thức được khuyến khích giám sát mạng và các ứng dụng có thể dựa vào các đảm bảo kinh tế tiền điện tử được hỗ trợ bởi ETH được khôi phục. Thời gian thử thách ngắn hơn nhiều so với bằng chứng gian lận tổng hợp lạc quan, trong khi vẫn cung cấp bảo mật mạnh mẽ thông qua cơ chế cắt giảm của EigenLayer.

Tương lai của tính cuối cùng nhanh

Trong khi NFFL cung cấp một giải pháp ngay lập tức cho việc xác minh trạng thái chéo rollup, đáng đáng xem xét là giao thức này phù hợp với lộ trình mở rộng tổng quát của Ethereum hay không. Câu hỏi quan trọng mà nhiều người đặt ra là: “Liệu NFFL có còn phù hợp khi công nghệ rollup tiến bộ?”

Câu trả lời trở nên rõ ràng khi chúng ta xem xét các hạn chế về việc thanh toán cơ bản trong các thiết kế rollup khác nhau. Rollup lạc quan, mặc dù phổ biến và trưởng thành, nhưng cơ bản không thể thanh toán nhanh hơn cửa sổ chứng minh gian lận của họ - thông thường là 7 ngày. Trong khi các giải pháp như Superchain của Optimism và Arbitrum Orbit cho phép giao tiếp nhanh hơn giữa các rollups chia sẻ một cầu nối, chúng không giúp đỡ về tính tương thích bên ngoài các hệ sinh thái cụ thể của họ - ví dụ, giữa hai hệ sinh thái đó.

ZK rollups đối mặt với các ràng buộc khác nhau nhưng cũng không kém phần quan trọng. Dù công nghệ ZK proof cải tiến đáng kể, vẫn có giới hạn thực tế về tốc độ thanh toán. Dù chúng ta đạt được một điểm mà chứng minh có thể được tạo ra cho mỗi khối L1, Ethereum vẫn phải có khả năng xác minh nhiều ZK proofs trên mỗi khối bao gồm các rollups khác nhau. Khi điều này trở thành khả thi, việc thanh toán vẫn sẽ bị ràng buộc bởi thời gian khối L1 - ít nhất là 12 giây trong các tham số hiện tại.

NFFL cung cấp một phương pháp khác bằng cách sử dụng chứng thực chuỗi đã ký từ rollups. Thay vì chờ đợi các lô được xuất bản trên L1, các nhà điều hành NFFL có thể xác minh và chứng thực các thay đổi trạng thái ngay khi chúng được tạo ra bởi sequencer. Điều này cho phép xác minh trạng thái qua chuỗi trong vài giây trong khi duy trì an ninh cryptoeconomic mạnh mẽ thông qua EigenLayer.

Quan trọng là, NFFL không nên được xem như là đối thủ hoặc đe dọa đến mô hình bảo mật rollup của Ethereum. Thay vào đó, nó cung cấp một công cụ bổ sung cho phép những khả năng mới trong hệ sinh thái Ethereum theo mô đun. Ứng dụng có thể sử dụng NFFL để xác minh trạng thái nhanh chóng trong khi vẫn dựa vào việc thanh toán chuẩn thông qua L1 khi cần thiết. Điều này tạo ra một bộ công cụ phong phú cho nhà phát triển để xây dựng ứng dụng xuyên chuỗi với mô hình bảo mật phù hợp với nhu cầu cụ thể của họ.

Kết luận

NFFL đại diện cho một phương pháp mới để giải quyết một trong những thách thức cấp bách nhất trong hệ sinh thái modular của Ethereum - cho phép xác minh trạng thái chéo-rollup an toàn và hiệu quả. Bằng cách tận dụng ETH được đặt cọc lại của EigenLayer để bảo mật kinh tế và NEAR DA để lưu trữ dữ liệu hiệu quả, NFFL tạo ra một lớp hoàn thiện nhanh chóng có thể xác minh trạng thái rollup trong vài giây thay vì trong vài giờ hoặc ngày.

Các lựa chọn thiết kế chu đáo của giao thức phản ánh sự hiểu biết sâu sắc về những thách thức trong cơ sở hạ tầng cross-chain. Thay vì cố gắng thay thế mô hình bảo mật của rollups, NFFL cung cấp một lớp bổ sung được tối ưu hóa cho các trường hợp sử dụng cụ thể yêu cầu sự hoàn thành nhanh hơn. Hệ thống nhiệm vụ dựa trên điểm kiểm tra cho phép vận hành hiệu quả ngoại chuỗi trong khi duy trì các cam kết bảo mật mạnh mẽ trên chuỗi. Và kiến trúc hợp đồng đăng ký cho phép rollups xác minh trạng thái một cách đáng tin cậy trong khi kế thừa sự bảo mật kinh tế của NFFL.

Quan trọng nhất, NFFL cho phép một thế hệ mới của các ứng dụng cross-chain mà trước đây là không thực tế. Từ giao thức cho vay thống nhất chia sẻ tài sản thế chấp trên toàn hệ thống rollups cho DEX wrappers giúp truy cập thanh khoản đã được thiết lập trở nên phổ biến, việc xác minh trạng thái nhanh của NFFL tạo ra các khối xây dựng cho trừu tượng hóa chuỗi thực sự. Điều này có ý nghĩa sâu sắc đối với hiệu suất vốn và trải nghiệm người dùng trên toàn hệ sinh thái.

Lộ trình của giao thức thể hiện sự cam kết với việc cải thiện liên tục. Các nâng cấp được kế hoạch như việc chuyển đổi sang chữ ký ECDSA và triển khai bộ quy tắc của người điều hành linh hoạt sẽ nâng cao tính phân quyền và khả năng mở rộng. Việc kích hoạt cơ chế thách thức và cắt giảm toàn diện sẽ tăng cường các cam kết về bảo mật. Và tích hợp với các giải pháp DA bổ sung ngoài NEAR sẽ làm cho NFFL trở nên phổ cập hơn nữa.

Khi hệ sinh thái tổng hợp của Ethereum tiếp tục phát triển, nhu cầu xác minh trạng thái chuỗi chéo an toàn sẽ chỉ tăng lên. Cách tiếp cận của NFFL trong việc mở rộng bảo mật của Ethereum thông qua việc lấy lại trong khi tối ưu hóa tốc độ và hiệu quả chi phí định vị tốt để phục vụ nhu cầu này. Bằng cách cho phép các hình thức tương tác chuỗi chéo mới trong khi vẫn duy trì đảm bảo bảo mật mạnh mẽ, NFFL góp phần biến tầm nhìn mô-đun của Ethereum thành hiện thực.

Tuyên bố từ chối trách nhiệm:

  1. Bài viết này được sao chép lại từ [[](https://research.2077.xyz/nuffle-ethereums-finality-as-a-service-layer#introduction)[Nghiên cứu 2077](https://research.2077.xyz/)\]. Tất cả bản quyền thuộc về tác giả gốc [Alex Hook]. Nếu có bất kỳ ý kiến ​​phản đối nào về việc tái in này, vui lòng liên hệ Cổng họcđội ngũ của chúng tôi sẽ xử lý nó một cách nhanh chóng.
  2. Tuyên bố từ chối trách nhiệm: Các quan điểm và ý kiến được trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn bản dịch là không được phép.

Nuffle: Ethereum's Finality-As-A-Service Layer

Nâng cao1/7/2025, 6:27:55 AM
Bài viết khám phá NFFL, một giao thức xác minh trạng thái chéo nhanh chóng sử dụng ETH đã được restaked của EigenLayer và DA gần như của NEAR, cho phép ứng dụng chéo chuỗi an toàn, hiệu quả và có khả năng mở rộng với độ chính xác cao.

Giới thiệu

Nhìn lại, rollups đã trở thành giải pháp mở rộng xác định cho Ethereum và công nghệ phi tập trung như một tổng thể. Chín tháng sau nâng cấp Dencun của Ethereum, nhằm mục tiêu mở rộng khả năng cung cấp dữ liệu rollup, khả năng xử lý giao dịch đã vượt quá.hai trăm giao dịch mỗi giây—đại diện cho một tăng gấp năm lần so với năm nay. Hai nền tảng lớn nhất, Arbitrum và OP Mainnet, đã đạt được sự phi tập trung giai đoạn 1—vượt qua một số mạng lưới Layer 1 thay thế nổi bậttrong các chỉ số phi tập trung - với thêm các rollup có thể nhắm đến tập trung giai đoạn 2 vào năm 2025. Công nghệ chứng minh không biết dần dần tiến bộ để cho phép xác minh giao dịch tương đương Ethereum với chi phí dưới một xu, tạo ra một con đường để xác minh hiệu quả hàng ngàn giao dịch người dùng tiêu chuẩn trên blockchain Ethereum hiện đại.

Tuy nhiên, sự tiến bộ này đặt ra những thách thức mới. Nhiều nhóm đang phát triển các blockchain độc lập trên đỉnh Ethereum, với khả năng tương tác hạn chế giữa chúng. Hạn chế này chủ yếu bắt nguồn từ việc hoàn thiện không thường xuyên của các bản tổng hợp, điều này cản trở giao tiếp chuỗi chéo có ý nghĩa. Hơn nữa, các rollup lạc quan, hiện đang lưu trữ phần lớn hoạt động của hệ sinh thái và Total Value Locked (TVL), phải đối mặt với những hạn chế kỹ thuật vốn có ngăn cản giao tiếp trực tiếp bên ngoài các cầu nối chung, tạo ra một rào cản đáng kể đối với khả năng tương tác giữa các mạng lớn như Arbitrum và Base. Cộng đồng đã đề xuất nhiều giải pháp khác nhau, từ cầu nối dựa trên mục đích và hoán đổi nguyên tử đến trừu tượng hóa chuỗi toàn diện. Bất chấp sự khác biệt của chúng, các giải pháp này chia sẻ một yêu cầu cơ bản: một nguồn sự thật đáng tin cậy — một giao thức cho phép xác minh trạng thái an toàn giữa các bản tổng hợp vừa nhanh chóng vừa tiết kiệm chi phí.

Trong số những giải pháp nổi bật, thường phụ thuộc vào các oracles lạc quan (Across), sự đồng thuận của các nhà điều hành chuyên biệt (Stargate qua LayerZero), hoặc niềm tin vào sequencer tập trung (Polymer Hub), Fast Finality Layer (NFFL) của Nuffle Labs mang đến sự cân bằng hấp dẫn giữa hiệu suất, an ninh, và sự phù hợp với Ethereum. Bài báo này xem xét cách tiếp cận đổi mới của NFFL trong việc kích hoạt xác minh trạng thái cross-rollup thông qua cơ chế restaking của EigenLayer và NEAR DA, khám phá thiết kế kiến trúc và lộ trình phát triển, và phân tích các ứng dụng tiềm năng và hàm ý của chúng đối với hệ sinh thái.

Cạnh của bạn trên Ethereum

Nhận nghiên cứu từ nguồn tin cậy do đội ngũ chuyên gia của chúng tôi thực hiện.

Địa chỉ email của bạn

Nền tảng

Để hiểu các thách thức mà NFFL định địa chỉ, hãy xem xét kiến trúc cơ bản của rollups, mục tiêu của chúng và các hạn chế bẩm sinh của chúng.

Rollups 101

Rollup là một blockchainsử dụng một chuỗi khối độc lập khác để sắp xếp giao dịch, tính sẵn có dữ liệu và đồng thuận, trong khi thực hiện các giao dịch bên ngoài một cách có thể xác minh bởi chuỗi cha. Trong khi nhiều định nghĩa đề cập đến chuỗi cha như Lớp 1 (L1) và rollup như Lớp 2 (L2), một số khung không yêu cầu L2 sử dụng L1 cho tính sẵn có dữ liệu. Để rõ ràng, bài báo này tập trung vào rollups cụ thể hơn là loại L2 phổ biến hơn.

Một ví dụ về sự phân biệt này - tất cả các rollup đều là L2, nhưng không phải tất cả các L2 đều necessarily là rollup. Nguồn: blog.thirdweb.com

Tất nhiên, trong trường hợp của chúng tôi, L1 cha là chuỗi khối Ethereum. Nó chịu trách nhiệm chia sẻ sự đồng thuận của nó với rollups (chúng tôi sẽ trình bày thêm về điều này sau). Hãy phân tích cách rollups tận dụng Ethereum cho các chức năng chính của chúng: sắp xếp giao dịch, khả năng cung cấp dữ liệu và đồng thuận.

Sắp xếp giao dịch

Rollups bao gồm một thực thể được gọi là sequencer, có trách nhiệm quản lý việc bao gồm và sắp xếp giao dịch thông qua mạng L1. Sequencer hoạt động tương tự như một nhà sản xuất khối trong các blockchain truyền thống. Cụ thể, nó chấp nhận giao dịch đến từ người dùng theo thứ tự, tổng hợp chúng thành các lô (tương đương với các khối L1) và định kỳ công bố các lô này đến một hợp đồng thông minh được chỉ định trên L1.

Một hợp đồng thông minh trên L1 duy trì một bản ghi có uy quyền về tất cả các giao dịch đã được xuất bản và thứ tự của chúng. Các nút Rollup phải theo dõi hợp đồng này để lấy các khối và thông tin giao dịch mới. Khi một lô được bao gồm trong một khối L1 và khối đó đạt được tính cuối cùng thông qua sự đồng thuận L1, sự bao gồm và thứ tự của tất cả các giao dịch trong lô đó được đảm bảo bởi các thuộc tính bảo mật của L1.

Một mức độ nào đó, sequencer là một “starter” của rollup - nó giúp rollup thực sự chấp nhận giao dịch mới trong mạng, tạo điều kiện để di chuyển trạng thái tiến lên. Một số rollups thực hiện việc xếp hàng phi tập trung - tập hợp các thực thể chuyên dụng xoay vòng giảm rủi ro mất thời gian chạy của sequencer trung tâm - và dựa trên việc xếp hàng, không sử dụng bất kỳ sequencer nào như nguồn tin cậy trước khi xuất bản lô giao dịch ra L1. Thay vào đó, dựa trên việc xếp hàng cho phép bất kỳ ai cũng có thể là sequencer, nhưng các lô của họ chỉ được sử dụng bởi các nút khi xuất bản ra L1. Điều này không gây rủi ro gì về thời gian chạy sequencer nhưng giá trị là thời gian bao gồm giao dịch chậm hơn (tình huống tốt nhất là 12 giây mỗi khối của L1).

Tuy nhiên, các trình tự không quyết định trạng thái mới của mọi thứ trong bản tổng hợp, ngay cả sau khi thực hiện các lô của riêng họ. Do đó, các trình tự “bắt đầu” nhưng không nhất thiết phải “chạy” bản tổng hợp, vì hành động của chúng không thể trực tiếp dẫn đến quá trình chuyển đổi trạng thái độc hại.

Một bộ khởi động động cơ. Mặc dù nó không chạy động cơ, nhưng nếu không có nó thì động cơ cũng không hoạt động. Hãy nghĩ về rollup như là động cơ và nghĩ về sequencer như là bộ khởi động.

Khả năng truy cập dữ liệu

Tuy nhiên, thông tin về việc đặt hàng của một số giao dịch không đều định đủ cho các nó rollup, vì chúng không sở hữu sắc các giao dịch đó. Để thực hiện các giao dịch này và xác định kết quả của chúng trong blockchain rollup, các nó phải có quyền truy cập đầy đủ và không bị hạn chế đến tất cả các giao dịch trong lỗi.

Do đó, các bộ xử lý rollup phải công bố dữ liệu giao dịch toàn diện cho L1 một cách cho phép hợp đồng thông minh của rollup xác minhkhả năng truy cập dữ liệu. Sau khi dữ liệu giao dịch cho một lô hàng được bao gồm và hoàn thiện trên L1, sự sẵn có của nó được đảm bảo cho tất cả các nút tham gia.

Trước khi nâng cấp Dencun, các Ethereum rollups đã đăng dữ liệu giao dịch trong dữ liệu đầu vào (calldata) của các cuộc gọi theo thứ tự trên L1. Do đó, tất cả các giao dịch phải được đăng lên blockchain của L1 mãi mãi. Điều này có thể nghe có lý, vì chúng ta muốn tất cả các nút, bao gồm cả các nút trong tương lai, có thể tái tạo lại trạng thái của rollup. Tuy nhiên, điều này rất không hiệu quả, vì Ethereum L1 không thể lưu trữ dữ liệu lớn trên sổ cái của mình, trong khi rollups, là làn đường cao tốc của Ethereum, rất tốn dữ liệu. Thay vào đó, chúng ta có thể làm cho hợp đồng thông minh của rollup xác minh tính hợp lệ của các giao dịch được sắp xếp, để các nút theo dõi trạng thái trong hợp đồng, thay vì tái tạo nó từ tất cả các giao dịch bắt đầu từ nguồn gốc.

Cầu Enshrined (Consensus)

Để đơn giản hóa, chúng tôi đã đảo ngược định nghĩa của rollup - thường, tất cả các giải thích bắt đầu bằng cầu hai chiều giữa rollup và L1 của nó. Điều này khá phổ biến trong rollups để sử dụng tiền tệ bản địa của L1 như là của chính mình, để đơn giản hóa việc ước lượng phí gas dựa trên chi phí của sequencers và proposers. Hơn nữa, nhiều rollup muốn có được các token phổ biến trong hệ sinh thái của họ từ ngày đầu tiên, cho việc nối chúng từ L1 của họ là lựa chọn tốt nhất.

Việc triển khai hợp đồng thông minh cầu nối từ L1 đến rollup khá đơn giản - các nút rollup đã lắng nghe mọi thứ xảy ra trong hợp đồng của nó, do đó chúng ta có thể triển khai chức năng gửi tiền L1 mà tất cả các nút sẽ hiểu là một lệnh để phát hành token tương ứng trên rollup.

Tuy nhiên, việc rút tiền không tin cậy yêu cầu hợp đồng cầu nối xác nhận tất cả các giao dịch rollup và xác định kết quả hợp lệ của chúng. Điều này cho phép cầu nối xử lý yêu cầu rút tiền hợp lệ bằng cách giải phóng quỹ cho các người khởi xướng được ủy quyền trên L1. Cơ chế xác nhận này làm cho cầu nối trở thành nguồn thông tin chính thức về trạng thái cơ bản của rollup - các nút sẽ tuân thủ quá trình chuyển tiếp trạng thái của cầu nối bất kể các nhánh chuỗi thay thế. Khác với các blockchain truyền thống, rollup không áp dụng quy tắc đồng thuận độc lập để chọn chuỗi. Hợp đồng cầu nối trên L1 là điều xác định chuỗi cơ bản.

Blobs

Cập nhật Dencun của Ethereum tháng 3 năm ngoái đã giới thiệu “blob” – các ô dữ liệu tạm thời được lưu trữ bên ngoài blockchain và được tưới tỉa (bị xóa bỏ bởi các máy chủ xác nhận của mạng) sau khoảng ~18 ngày. Khi cầu nối rollup giúp tái tạo trạng thái mà không cần thực hiện lại các giao dịch, tính năng này trở nên rất hữu ích cho rollup, chúng đã chuyển từ calldata sang blobs ngay sau cập nhật. Nói về số liệu, trước Dencun, tổng TPS của rollups là khoảng 50. Ngày nay, nó đã vượt quá 200, với giới hạn lý thuyết ở 400-800 TPS tùy thuộc vào rollup.

Nguồn:L2BEAT

Ngoài việc cải thiện hiệu suất, blobs đã loại bỏ yêu cầu phải trả chi phí gas EVM cho việc lưu trữ dữ liệu giao dịch, thiết lập một kênh riêng với lưu trữ tạm thời chuyên biệt và giá cước độc lập. Sự thay đổi kiến trúc này đã giảm đáng kể chi phí giao dịch trong rollups, với phí giảm từ 10-40 xu mỗi giao dịch xuống cấp độ dưới một xu trong các mạng như Base.

Nguồn: growthepie.xyz

Giải quyết Rollup

Trong khi các trình tự quản lý thứ tự giao dịch và xuất bản, chúng chỉ đại diện cho một phần của kiến trúc rollup. Rollups cũng tích hợp các thực thể gọi là “người đề xuất” có trách nhiệm thuyết phục cầu nối L1 về các đầu ra trạng thái cụ thể kết quả từ các lô được xếp hàng mới. Về bản chất, trong khi các trình tự thiết lập sự xuất hiện và thứ tự giao dịch, người đề xuất chứng minh kết quả của các giao dịch này theo logic xử lý của rollup, chẳng hạn như máy ảo của nó.

Vai trò của người đề xuất thay đổi đáng kể dựa trên phương pháp xác thực trạng thái của rollup. Có hai phương pháp hoàn toàn khác nhau tồn tại, định nghĩa hai loại rollups: Lạc quan và Zero-Knowledge (ZK).

Tối Ưu Hóa Rollups

Trong optimistic rollups, người đề xuất thường xuyên gửi cập nhật trạng thái đến cầu L1, thông thường cùng hoặc ngay sau khi sequencer công bố lô giao dịch. Các cập nhật trạng thái này bao gồm gốc trạng thái mới (một cam kết mật mã đến toàn bộ trạng thái mới của rollup) sau khi thực hiện tất cả giao dịch trong các lô mới nhất.

Để ngăn chặn cập nhật trạng thái không hợp lệ, cầu đường thực hiện một giai đoạn thách thức (thường là 7 ngày) trong đó các diễn viên chuyên gia được gọi là “người thách thức” có thể tranh chấp đề xuất bằng cách gửi một bằng chứng gian lận. Bằng chứng này chứng minh rằng các giao dịch đã được thực thi không đúng bằng cách thực hiện lại giao dịch bị tranh chấp trên L1 và so sánh kết quả.

Nếu một người thách thức thành công chứng minh rằng người đề xuất đã gửi một chuyển tiếp trạng thái không hợp lệ, kết quả trạng thái sẽ bị đảo ngược và người thách thức sẽ được thưởng (thường từ một khoản ký quỹ mà người đề xuất phải đăng). Điều này tạo ra một trò chơi kinh tế mà người đề xuất được khích lệ để chỉ gửi các chuyển tiếp trạng thái hợp lệ.

Zero-Knowledge Rollups

Trong ZK rollups, người đề xuất tạo ra chứng minh toán học (được gọi là “chứng minh tính hợp lệ” hoặc, chính xác hơn, “chứng minh ZK”) để chứng minh tính đúng đắn của mọi chuyển đổi trạng thái. Những chứng minh này cho thấy rằng tất cả giao dịch trong một lô đã được thực hiện theo quy tắc của rollup mà không tiết lộ chi tiết cụ thể về việc thực hiện chúng.

Cầu L1 có thể nhanh chóng xác minh những bằng chứng này bằng cách sử dụng các hoạt động mật mã hiệu quả, với chi phí tương đương với việc trao đổi token. Một khi bằng chứng được xác minh, cầu chấp nhận cập nhật trạng thái đã giải quyết. Điều này có nghĩa là những người đề xuất phải thực hiện công việc tính toán đáng kể trước khi gửi cập nhật trạng thái, nhưng cập nhật đó được giải quyết nhanh hơn rất nhiều so với optimistic rollups.

Giải quyết, tính chất cuối cùng và tương thích

Thời gian thanh toán thông qua các cầu nối chuẩn khác nhau giữa các loại rollup khác nhau — từ 7 ngày cho rollup lạc quan do thời gian thách thức của chúng, đến vài giờ cho rollup ZK do chi phí tạo chứng minh và chi phí xuất bản hàng loạt. Trong khi mô hình này hoạt động tốt để bảo vệ các giao dịch có giá trị cao có thể chịu đựng độ trễ, nó tạo ra sự cản trở đáng kể cho hệ sinh thái DeFi rộng lớn.

Hãy xem điều này ảnh hưởng đến việc sử dụng thực tế như thế nào: người dùng muốn sử dụng tài sản đảm bảo dựa trên Arbitrum để vay tiền trên Base phải trước tiên chuyển tài sản của họ và đợi đến 7 ngày trước khi sử dụng được. Một nhà giao dịch phát hiện cơ hội kinh doanh chênh lệch giữa các mạng lưới Uniswap trên các rollup khác nhau sẽ thấy cơ hội biến mất trước khi họ có thể thực hiện. Một ứng dụng chơi game muốn cho phép người chơi giao dịch vật phẩm trên các triển khai rollup khác nhau sẽ đối mặt với UX không chấp nhận được với những sự chậm trễ kéo dài như vậy.

Thật đáng chú ý ở đây là các nút rollup thực sự có thể quan sát được các thay đổi trạng thái nhanh chóng hơn rất nhiều - thường chỉ trong vài giây sau khi xác nhận khối L1. Trong khi trạng thái này chưa được giải quyết hoàn toàn trong cầu nối chuẩn, nó dựa trên dữ liệu giao dịch đã được sắp xếp và hoàn thành trên Ethereum. Rất nhiều sàn giao dịch tập trung đã sử dụng tính chất này, ghi nhận tiền gửi người dùng từ rollups sau chỉ vài xác nhận khối bằng cách chạy các nút của riêng họ và xác minh sự hoàn thiện giao dịch trên L1.

Điều này tạo ra một sự phân đôi thú vị trong hệ sinh thái rollup. Mặc dù các bản tổng hợp đã mở rộng thành công thông lượng giao dịch của Ethereum, nhưng chúng đã gây ra sự phân mảnh nghiêm trọng về trạng thái và thanh khoản. Mỗi bản tổng hợp hoạt động hiệu quả như một blockchain độc lập không thể xác minh hiệu quả trạng thái của các bản tổng hợp khác mà không cần chờ giải quyết cầu nối, mặc dù tất cả chúng đều có được bảo mật từ cùng một chuỗi cơ bản — Ethereum.

Giải pháp hiện có

Hệ sinh thái đã phát triển nhiều phương pháp khác nhau để vượt qua những hạn chế này, từ các cầu nối tập trung đến các mạng ngoại chuỗi chuyên biệt. Những giải pháp này thường thực hiện các sự thương lượng khác nhau giữa ba thuộc tính chính:

  • Bảo mật - Bảo mật mạnh mẽ đến đâu đảm bảo rằng việc xác minh trạng thái là chính xác
  • Tốc độ - Tốc độ xác minh trạng thái trên các chuỗi
  • Chi phí - Độ đắt đỏ của việc duy trì và sử dụng giải pháp

Hầu hết các giải pháp hiện có tối ưu hóa về tốc độ và chi phí nhưng đánh đổi bằng an ninh - thường phụ thuộc vào các nhà điều hành đáng tin cậy, multisigs, hoặc cơ chế lạc quan với sự hỗ trợ kinh tế tối thiểu. Điều này đã dẫn đến nhiều vụ hack cầu nối nổi tiếng, đặc biệt là vụ khai thác Ronin cầu trên 625 triệu đô la, làm nổi bật các rủi ro của việc hy sinh an ninh vì tiện lợi.

Thách thức cơ bản là xác định một “nguồn tin cậy” an toàn về trạng thái rollup có thể:

  • Xác minh thay đổi trạng thái trong vài giây hoặc vài phút thay vì vài giờ hoặc vài ngày
  • Cung cấp đảm bảo an ninh cryptoeconomic mạnh mẽ
  • Vận hành hiệu quả chi phí cho cả nhà cung cấp cơ sở hạ tầng và người dùng
  • Tích hợp một cách mượt mà với kiến trúc rollup hiện có

Cơ hội này để cho phép xác minh trạng thái nhanh và an toàn giữa các rollups đã gây ra sự đột phá đáng kể. Các nhóm khác nhau tiếp cận vấn đề từ các góc độ khác nhau, tìm cách tạo ra cơ sở hạ tầng có thể cung cấp năng lượng cho thế hệ tiếp theo của các ứng dụng qua chuỗi mà không phải mất tính bảo mật.

Trong các phần tiếp theo, chúng tôi sẽ tìm hiểu cách NFFL tiếp cận thách thức này thông qua sự kết hợp mới lạ của việc tái đặt cược của EigenLayer và NEAR DA, tạo ra một lớp sự chắc chắn nhanh chóng mà đạt được sự cân nhắc cẩn thận giữa bảo mật, tốc độ và hiệu quả về chi phí.

NFFL Deep Dive

Nhận định Cốt lõi

Nuffle Fast Finality Layer (NFFL) đại diện cho một phương pháp mới để cho phép tương tác an toàn giữa các chuỗi bằng cách cung cấp xác minh trạng thái nhanh chóng giữa các rollup. Thay vì buộc các nhà phát triển phải lựa chọn giữa bảo mật và tốc độ, NFFL tận dụng ETH được đặt cược lại của EigenLayer để tạo ra một lớp xác minh cuối cùng nhanh chóng được bảo mật bằng cryptoeconomical có thể chứng thực trạng thái rollup trong vòng vài giây.

Ở cốt lõi, NFFL hoạt động như một Dịch vụ Được Xác thực Hành động (AVS) chạy trên EigenLayer. Một mạng lưới phi tập trung của các nhà điều hành, mỗi người chạy các nút đầy đủ cho các rollups tham gia, xác minh và chứng nhận cập nhật trạng thái. Những chứng nhận này được hậu thuẫn bởi ETH đã đầu tư lại của các nhà điều hành, tạo ra động lực kinh tế mạnh mẽ cho hành vi trung thực. Bằng cách kết hợp điều này với lớp Khả năng Cung cấp Dữ liệu của NEAR để lưu trữ dữ liệu khối một cách hiệu quả, NFFL cho phép ứng dụng xác minh trạng thái qua các chuỗi mạng trong 2-3 giây - nhanh gấp hàng trăm lần so với việc thanh toán cầu nối cổ điển.

Kiến trúc thiết kế đơn giản của NFFL

Điều làm cho NFFL đặc biệt hấp dẫn là phương pháp thiết kế thiết thực của nó. Thay vì cố gắng thay thế hoặc cạnh tranh với mô hình bảo mật của Ethereum, nó cung cấp một lớp bổ sung được tối ưu hóa cho các trường hợp sử dụng yêu cầu tốc độ hoàn tất nhanh hơn. Ứng dụng có thể lựa chọn liệu dựa trên bảo mật cryptoeconomic của NFFL hay đợi đến khi giải quyết L1 đầy đủ dựa trên nhu cầu cụ thể của họ. Tính linh hoạt này cho phép NFFL cải thiện trải nghiệm người dùng cho nhiều tương tác qua chuỗi khác nhau trong khi vẫn đảm bảo bảo mật mạnh mẽ.

Hệ thống giới thiệu ba đổi mới chính:

  1. Mạng quản trị phi tập trung (operator) đạt được sự nhất quán về trạng thái rollup bằng cách so sánh những chuyển đổi trạng thái được thực hiện cục bộ với dữ liệu khối được đăng lên NEAR DA
  2. Hệ thống nhiệm vụ dựa trên điểm kiểm tra cho phép tổng hợp và xác minh hiệu quả các chứng nhận của người vận hành trong khi duy trì trách nhiệm thông qua cơ chế cắt giảm của EigenLayer
  3. Một cơ chế lưu trữ dữ liệu sử dụng NEAR DA cho phép việc truy xuất dữ liệu rollup được chứng thực dễ dàng trên tất cả các rollup

Thiết kế này cho phép NFFL đạt được sự cân bằng cẩn thận giữa bảo mật, tốc độ và hiệu quả chi phí - ba thuộc tính truyền thống mâu thuẫn trong cơ sở hạ tầng chuỗi chéo. Bằng cách cung cấp xác minh trạng thái nhanh chóng nhưng an toàn, NFFL mở ra những khả năng mới cho các ứng dụng chuỗi chéo, từ các giao thức cho vay đến các công cụ tổng hợp thanh khoản.

Trong các phần tiếp theo, chúng ta sẽ khám phá kiến trúc của NFFL chi tiết, xem xét cách các thành phần khác nhau hoạt động cùng nhau để cho phép tương tác giữa các chuỗi chéo mới này. Chúng ta cũng sẽ phân tích mô hình bảo mật của nó, thảo luận về các ứng dụng tiềm năng và xem xét lộ trình phát triển trong tương lai của giao thức.

Các thành phần cốt lõi

Bộ toán tử

Tại trái tim của NFFL nằm mạng lưới điều hành của nó - một hệ thống phi tập trung mở rộng tính bảo mật của Ethereum để cho phép xác minh chéo rollup nhanh chóng. Thay vì tạo ra một mạng lưới khép kín khác yêu cầu giả định bảo mật riêng của mình, NFFL được xây dựng như một Dịch vụ Được Xác minh Hoạt động (AVS) trên EigenLayer, cho phép nó tiếp cận trực tiếp vào hệ sinh thái xác minh hiện có của Ethereum.

Sự lựa chọn kiến trúc này là rất quan trọng để hiểu mô hình bảo mật của NFFL. Những nhà xác thực cùng nhau bảo vệ sự thống nhất của Ethereum có thể đặt cược lại ETH của họ thông qua EigenLayer để trở thành các nhà điều hành NFFL. Khi làm như vậy, họ đặt ETH đã đặt cược của họ vào rủi ro để hỗ trợ các sự chứng nhận về trạng thái rollup. Điều này tạo ra một cầu nối bảo mật mạnh mẽ giữa sự thống nhất của Ethereum và lớp hoàn chỉnh nhanh của NFFL.

Khi một rollup xuất bản dữ liệu khối mới đến L1, người chuyển tiếp chuyển nó đến NEAR DA. Các nhà điều hành truy xuất dữ liệu khối thông qua cả hai nguồn và đảm bảo chúng tương đương. Chúng tôi sẽ giải thích thêm vì sao việc xuất bản dữ liệu rollup trên NEAR DA là cần thiết để làm cho việc sử dụng ứng dụng sử dụng NFFL thuận tiện hơn đối với người dùng và nhà phát triển.

Sau khi thu thập các lô rollup mới, các nhà điều hành thực thi chúng trong các nút rollup của họ. Vì tất cả đều chạy cùng phần mềm nút, chúng sẽ luôn xuất hiện với cùng một đầu ra trạng thái, và đúng. Đầu ra trạng thái này sau đó được ký bởi tất cả các nhà điều hành. Khi đa số các nhà điều hành đồng ý với một trạng thái cụ thể, nó được chấp nhận bởi hệ thống và có thể được truyền đến các hợp đồng đăng ký trên tất cả các rollup.

An ninh kinh tế của hệ thống như vậy có một thuộc tính rất thú vị xuất phát từ cơ chế cắt giảm của EigenLayer:

Trong EigenLayer, Dịch vụ Được Xác thực Hoạt động có thể triển khai cơ chế xác minh có khả năng phát hiện các chứng nhận không hợp lệ từ các nhà điều hành, và cắt giảm (thanh lý) tiền gửi của họ sau đó. Khi NFFL một cách nào đó “giải quyết sơ bộ” trạng thái rollup ngoại tuyến trước khi nó được giải quyết trên cầu, có thể mục đích phát hiện gian lận một cách khách quan bằng cách chờ đợi trễ giải quyết và thông báo cho hợp đồng AVS về sự không nhất quán trong chứng nhận và trên cầu. Điều này tạo ra động cơ kinh tế không khuyến khích chứng nhận gian lận, vì chúng có thể được phát hiện và cắt giảm bởi bất kỳ tổ chức nào theo dõi trạng thái L1 và NFFL, ngay cả khi họ không chạy các nút rollup. Nói cách khác, NFFL “bảo hiểm” cho các yêu cầu của mạng — các nhà điều hành đang đặt vốn đáng kể vào việc hỗ trợ các yêu cầu của họ về trạng thái rollup.

Điều làm cho điều này đặc biệt mạnh mẽ là cách nó điều chỉnh động cơ thúc đẩy trên toàn bộ hệ thống. Các nhà điều hành kiếm phí cho sự tham gia trung thực trong khi rủi ro thua lỗ đáng kể do sự không trung thực. Càng nhiều ETH được đặt cược vào NFFL, các động cơ thúc đẩy này càng mạnh mẽ hơn. Và vì bảo mật này được phát sinh từ Ethereum qua EigenLayer, nó một phần hưởng lợi từ cùng một mô hình bảo mật kinh tế mạnh mẽ như đã bảo vệ hàng trăm tỷ đôla giá trị trên Ethereum chính.

Luồng Tin Nhắn

Hệ thống tin nhắn của NFFL đại diện cho một phương pháp đổi mới để xử lý xác minh trạng thái giữa các chuỗi giao dịch quy mô. Thay vì ghi lại mọi xác nhận trạng thái trên chuỗi giao dịch, điều này sẽ quá tốn kém, NFFL giới thiệu một hệ thống hai tầng gồm Tin nhắn và Nhiệm vụ cho phép hoạt động ngoại chuỗi hiệu quả trong khi vẫn đảm bảo bảo mật trên chuỗi giao dịch khi cần thiết.

Tin nhắn là đơn vị cơ bản của giao tiếp trong NFFL. Khi các nhà điều hành xác minh một trạng thái mới, họ tạo ra và ký một Tin nhắn chứng nhận trạng thái đó. Những Tin nhắn này tồn tại chủ yếu ngoài chuỗi, lưu thông giữa các nhà điều hành và bộ tổng hợp mà không tốn phí gas trên chuỗi. Có hai loại Tin nhắn khác nhau lưu thông qua hệ thống:

  • Thông báo cập nhật gốc trạng thái chứa xác nhận của một nhà điều hành về trạng thái rollup tại một độ cao khối cụ thể. Mỗi Thông báo không chỉ bao gồm gốc trạng thái mà còn có một tham chiếu đến giao dịch NEAR DA chứa dữ liệu khối, tạo ra một liên kết có thể xác minh giữa trạng thái được xác nhận và dữ liệu cơ bản của nó.
  • Thông báo cập nhật Bộ điều khiển Theo dõi thay đổi trong bộ điều khiển của NFFL. Những thông báo này rất quan trọng đối với bảo mật của hệ thống vì chúng cho phép các hợp đồng đăng ký rollup duy trì một bản ghi cập nhật về các nhà điều hành hợp lệ, đảm bảo rằng các xác nhận chỉ được chấp nhận từ các thành viên được ủy quyền có tiền đặt cược.

Trong khi Tin nhắn cho phép xác minh trạng thái hiệu quả, chúng không đủ để đảm bảo an ninh kinh tế của hệ thống một cách đáng tin cậy. Đó là lúc Nhiệm vụ ra đời. Nhiệm vụ là các đơn vị làm việc trên chuỗi mà kiểm tra điểm trạng thái của hệ thống theo khoảng thời gian định kỳ. Thay vì gửi mỗi Tin nhắn đến Ethereum, nhà điều hành định kỳ xây dựng một Sparse Merkle Tree chứa tất cả Tin nhắn từ một khoảng thời gian cụ thể. Gốc của cây này sau đó được gửi dưới dạng phản hồi Nhiệm vụ, tạo thành cam kết hiệu quả trên chuỗi đối với tất cả các chứng thực ngoại chuỗi.

Hệ thống điểm kiểm tra này rất thông minh vì nó cho phép xác minh lựa chọn của bất kỳ tin nhắn nào mà không yêu cầu tất cả các tin nhắn được lưu trữ trên chuỗi. Thông qua chứng minh Merkle, bất kỳ ai cũng có thể xác minh rằng một Tin nhắn cụ thể đã được bao gồm trong một điểm kiểm tra, cho phép cơ chế thách thức hiệu quả trong khi giữ chi phí cơ bản thấp. Bạn có thể nghĩ đến nó như là tạo ra một “blockchain của chứng nhận” nơi các điểm kiểm tra phục vụ như các tiêu đề khối cam kết cho tất cả các Tin nhắn trong một khoảng thời gian.

Aggregator đóng vai trò quan trọng trong hệ thống này bằng cách thu thập chữ ký của nhà điều hành và làm cho chúng có sẵn thông qua API. Khi nhà điều hành ký các tin nhắn, họ gửi chúng đến bộ tổng hợp để xác minh rằng chữ ký đã đạt đến đa số (được cân bằng theo ETH đặt cược) trước khi tiết lộ chúng để sử dụng bởi các ứng dụng. Điều này tạo ra một giao diện sạch cho các nhà phát triển trong khi duy trì các tính chất bảo mật phi tập trung của hệ thống. Chúng tôi sẽ trình bày về dịch vụ tổng hợp trong phần tiếp theo.

Dịch vụ tổng hợp

Trình tổng hợp hoạt động như lớp phối hợp của NFFL, hiệu quả quản lý luồng Tin nhắn giữa các nhà điều hành và ứng dụng. Mặc dù khá đơn giản về mặt khái niệm, thiết kế của nó phản ánh sự cân nhắc tỉ mỉ đến cả nhu cầu thực tế của nhà phát triển và nguyên tắc phi tập trung.

Ở cốt lõi của nó, bộ thu thập giải quyết vấn đề “thảm kịch của quần chúng” trong việc tổng hợp chữ ký. Nếu thiếu một dịch vụ chuyên dụng, mỗi ứng dụng sử dụng NFFL sẽ cần thu thập và xác minh chữ ký từ tất cả các nhà điều hành một cách độc lập - một quá trình không hiệu quả và tốn kém. Thay vào đó, bộ thu thập cung cấp một điểm thu thập duy nhất cho chữ ký của người điều hành, xác minh quorum và tiết lộ các chứng nhận đã được xác minh thông qua một API đơn giản.

Quá trình tổng hợp chữ ký hoạt động như sau:

  • Các nhà khai thác ký độc lập Tin nhắn chứng thực các bản cập nhật trạng thái
  • Những chữ ký này được gửi đến bộ tập hợp để thu thập
  • Bộ tổng hợp xác minh tính hợp lệ của chữ ký và theo dõi sự đồng thuận
  • Khi đạt được đủ trọng số cổ phần, chữ ký tổng hợp sẽ trở nên khả dụng
  • Ứng dụng có thể truy xuất những chứng nhận này thông qua API của trình tổng hợp

Thiết kế này giảm đáng kể sự phức tạp cho các nhà phát triển tích hợp NFFL. Thay vì quản lý các hoạt động mật mã phức tạp hoặc theo dõi cổ phần của người vận hành, ứng dụng chỉ cần yêu cầu xác nhận cho các cập nhật trạng thái cụ thể thông qua giao diện API sạch sẽ. Trình tổng hợp xử lý tất cả sự phức tạp của việc thu thập chữ ký, xác minh và tổng hợp BLS ẩn sau cảnh.

Kết hợp Chữ ký

Hãy khám phá việc tổng hợp BLS được sử dụng bởi NFFL thêm. Các chữ ký BLS có một thuộc tính toán học mạnh mẽ cho phép nhiều chữ ký được kết hợp thành một chữ ký duy nhất. Thay vì xác minh N chữ ký cá nhân từ các nhà điều hành, điều này sẽ tốn nhiều tài nguyên tính toán và gas, ứng dụng có thể xác minh một chữ ký tổng hợp duy nhất chứng minh sự đồng thuận toàn cầu.

Những lợi ích về hiệu suất ở đây là đáng kể. Khi các nhà điều hành NFFL ký một Tin nhắn, họ tạo ra chữ ký BLS tiêu chuẩn bằng cách sử dụng khóa riêng của họ. Sau đó, bộ tập hợp có thể kết hợp những chữ ký cá nhân này thành một chữ ký gọn nhẹ chứng minh sự đồng thuận của quần thể. Kích thước và chi phí xác minh của chữ ký tổng hợp này vẫn không đổi bất kể số lượng nhà điều hành tham gia - một đặc tính khiến hệ thống có khả năng mở rộng cao.

Ngoài ra, chữ ký tổng hợp có thể được xác minh thông qua các khóa công cộng kết hợp của các nhà điều hành ký, được cân đối theo số tiền đã gửi cược của họ để đảm bảo rằng an ninh kinh tế được tính đúng. Hợp đồng đăng ký sau đó chỉ cần thực hiện một hoạt động xác minh chữ ký để xác nhận rằng trạng thái cập nhật đã được đủ trọng số cược chứng thực.

Aggregator và Checkpoints

Lưu ý rằng, trong khi bộ tổng hợp cung cấp sự tiện lợi, nó không đ compromní mô hình bảo mật của NFFL. Các chữ ký mà nó thu thập có thể được xác minh công khai và vai trò của nó chỉ đơn thuần là tổ chức chứ không phải là chủ quyền. Các ứng dụng luôn có thể độc lập xác minh rằng các chữ ký được tổng hợp đại diện cho quyền lực hợp lệ từ các nhà điều hành đã đặt cược. Bộ tổng hợp không thể giả mạo chữ ký hoặc ẩn các chứng chỉ hợp lệ - nó chỉ đơn giản là làm cho chúng trở nên dễ tiếp cận hơn.

Bộ tổng hợp cũng đóng một vai trò quan trọng trong hệ thống điểm kiểm tra. Bằng cách thu thập tất cả các thông điệp theo thời gian, nó có thể xây dựng cây Merkle thưa được sử dụng trong các nhiệm vụ kiểm tra điểm kiểm tra. Điều này tạo ra một bản ghi hiệu quả về tất cả các xác nhận đã đi qua hệ thống, cho phép xác minh sau này nếu cần thiết cho các thách thức về bảo mật hoặc mục đích kiểm toán.

Hợp đồng Đăng ký

Hợp đồng Registry, triển khai trên mỗi rollup tham gia, đóng vai trò là cây cầu quan trọng giữa các chứng thực ngoại chuỗi của NFFL và xác minh trạng thái trên chuỗi. Những hợp đồng này cho phép các ứng dụng xác minh trạng thái của các rollup khác một cách đáng tin cậy bằng cách xác thực các chứng thực được bảo mật bằng cryptoeconomic của NFFL.

Điều làm cho Registry trở nên đặc biệt là cách nó duy trì tính bảo mật của NFFL trên các chuỗi khác nhau. Mỗi hợp đồng Registry giữ một bản sao cục bộ của tập toán tử của NFFL, theo dõi các thay đổi thông qua các chứng thực cập nhật tập toán tử. Điều này có nghĩa là trong khi tập toán tử được quản lý thông qua EigenLayer trên Ethereum, trạng thái của nó được sao chép đáng tin cậy trên tất cả các rollups tham gia, cho phép chúng độc lập xác minh các chứng thực.

Khi một ứng dụng cần xác minh trạng thái của một rollup khác - ví dụ, một giao protokol cho vay kiểm tra tài sản thế chấp trên Arbitrum từ Optimism - nó gửi chứng nhận liên quan đến hợp đồng Registry cục bộ của mình. Chứng nhận này bao gồm chữ ký BLS được tổng hợp chúng ta đã thảo luận trước đó, cùng với gốc trạng thái cụ thể đang được chứng nhận và tham chiếu giao dịch NEAR DA liên quan của nó.

Quá trình xác minh trong Registry rất hiệu quả nhờ việc tổng hợp chữ ký BLS. Hợp đồng chỉ cần thực hiện một xác minh chữ ký duy nhất đối với các khóa công khai có trọng số của bộ điều khiển hiện tại. Nếu chữ ký hợp lệ và đại diện cho trọng lượng cổ phần đủ, Registry chấp nhận trạng thái được chứng thực như đã được xác minh. Điều này tạo ra một cầu nối không đáng tin cậy giữa các rollup vừa an toàn vừa tiết kiệm chi phí.

Bảng đăng ký tạo ra một cầu nối tối thiểu tin cậy giữa các rollups vừa an toàn vừa hiệu quả về chi phí. Thông qua việc xác minh chữ ký tổng hợp so với các khóa công khai có trọng số của bộ điều khiển, nó có thể xác nhận rằng một cập nhật trạng thái đã nhận đủ trọng số chứng thực để được coi là hợp lệ. Điều này cho phép các ứng dụng xác minh trạng thái một cách đáng tin cậy trên các rollups khác nhau trong khi kế thừa các cam kết bảo mật kinh tế của NFFL.

Bảng đăng ký cũng đóng vai trò quan trọng trong hệ thống thách thức của NFFL. Nếu một bằng chứng sau này được chứng minh là gian lận thông qua hệ thống thách thức, Bảng đăng ký có thể vô hiệu hóa nó, bảo vệ các ứng dụng khỏi việc dựa vào trạng thái không chính xác. Điều này tạo ra nhiều lớp bảo mật - cam kết cryptoeconomic ngay lập tức từ ETH đã đặt cược kết hợp với bảo vệ gian lận dài hạn thông qua thách thức.

Phân loại lỗi & Thiết kế bảo mật

Mô hình bảo mật của NFFL tập trung vào việc phát hiện và trừng phạt hai loại lỗi chính của người vận hành: Lỗi An toàn và Lỗi Sống.

Lỗi An Toàn là vi phạm ảnh hưởng đến tính toàn vẹn của mạng bằng cách tạo ra trạng thái không chính xác hoặc kết quả không nhất quán với các quy tắc hệ thống. Có hai loại lỗi an toàn chính mà các nhà điều hành có thể phạm phải:

  • Sự hai lòng xảy ra khi một nhà điều hành ký nhiều thông điệp xung đột cho cùng một sự kiện. Ví dụ, ký các chứng chỉ cho các gốc trạng thái khác nhau cùng một độ cao khối, hoặc chứng minh nhiều thời điểm khác nhau cho cùng một khối. Hành vi như vậy làm suy yếu khả năng của mạng để đạt được sự nhất quán về trạng thái tiêu chuẩn.
  • Invalid Attestation xảy ra khi một nhà điều hành ký vào một tuyên bố sai lệ. Điều này có thể là việc chứng thực một cập nhật của bộ điều khiển không khớp với delta trạng thái trên chuỗi, hoặc ký vào một rễ trạng thái không tương ứng với việc thực thi chính xác các giao dịch trong khối. Các lỗi này có thể được xác minh một cách khách quan thông qua dữ liệu trên chuỗi.

Trong khi lỗi an toàn tác động trực tiếp vào tính chính xác, lỗi liveness ảnh hưởng đến khả năng sẵn có và hiệu suất của mạng. Nếu các nhà điều hành liên tục không tham gia vào việc ký tin nhắn, điều này ảnh hưởng đến cả khả năng sẵn có mạng và tăng chi phí xác minh cho người dùng cần nhiều chữ ký hơn để đạt quorum. Giao thức theo dõi sự tham gia của nhà điều hành thông qua các nhiệm vụ kiểm tra điểm để xác định và trừ tiền cho hành vi như vậy.

Quá trình thách thức phụ thuộc vào loại lỗi và tin nhắn đang bị thách thức:

Đối với các nhiệm vụ điểm kiểm tra, người thách thức có thể chứng minh sai lệch bao gồm hoặc không bao gồm tin nhắn. Nếu một tin nhắn với các chứng nhận hợp lệ từ thời gian của điểm kiểm tra bị bỏ qua, hoặc một tin nhắn không hợp lệ/ngoài thời kỳ được bao gồm, thách thức sẽ thành công. Điều này được xác minh thông qua chứng minh Merkle trên cây tin nhắn của điểm kiểm tra.

Các tin nhắn riêng lẻ có thể bị thách thức sau khoảng thời gian điểm kiểm tra của chúng bằng cách chứng minh nội dung của tin nhắn không hợp lệ. Chẳng hạn:

  • Các thông báo cập nhật tập hợp toán tử có thể bị vô hiệu hóa bằng cách hiển thị ID cập nhật được tuyên bố hoặc delta của toán tử không khớp với trạng thái trên chuỗi
  • Thông điệp cập nhật gốc trạng thái có thể bị thách thức bằng cách chứng minh rằng gốc trạng thái được tuyên bố không nhất quán với việc thực hiện giao dịch chính xác.

Hệ thống xác minh đa tầng này cho phép giao thức duy trì hoạt động nhanh chóng thông qua thông điệp ngoại chuỗi trong khi bảo vệ đáng tin cậy thông qua các cơ chế cryptoeconomic. Bằng cách làm cho hành vi không hợp lệ có thể được phát hiện và phạt kinh tế thông qua việc cắt giảm của EigenLayer, NFFL tạo ra động lực mạnh mẽ cho hoạt động trung thực trong khi cho phép các thách thức hiệu quả khi vi phạm xảy ra.

Ví dụ Luồng Thực Tế

Bằng cách thiết lập một cách để đọc trạng thái giữa các lớp nhanh chóng và rẻ tiền, NFFL mở ra một loạt ứng dụng mà không thể thực hiện được với cấu trúc công nghệ hiện tại của hệ sinh thái. Hãy khám phá một số ý tưởng, từ những cái lý thuyết và đơn giản đến các ứng dụng phức tạp và cụ thể hơn, hữu ích trong các lĩnh vực phổ biến nhất của hệ sinh thái Ethereum hiện nay.

Hello Protocol

Hãy bắt đầu với một ví dụ đơn giản, được mô tả trong tài liệu chính thức của Nuffle Labs - một giao thức cho phép người dùng gửi thông điệp “xin chào” giữa các rollup khác nhau. Mặc dù cơ bản, điều này cho thấy cơ chế cốt lõi của ứng dụng có thể tận dụng NFFL để giao tiếp giữa các chuỗi khác nhau.

Hãy xem xét một người dùng muốn gửi một tin nhắn trên Mạng # 1 sẽ được đọc trên Mạng # 2. Quá trình bắt đầu khi họ gửi một giao dịch trên Mạng # 1 ghi lại tin nhắn “xin chào!” của họ ở trạng thái của mạng. Tại thời điểm này, thông báo chỉ tồn tại trên Mạng #1 và thông thường sẽ yêu cầu đợi giải quyết cầu nối chính tắc (có thể là vài giờ hoặc vài ngày) trước khi nó có thể được xác minh bởi các bản tổng hợp khác.

Đây là nơi NFFL thực hiện. Khi khối chứa thông điệp này được tạo ra, nó được đăng lên NEAR DA bởi người truyền tải của mạng. Các nhà điều hành NFFL, chạy các nút đầy đủ cho cả hai mạng, xác minh dữ liệu khối này khớp với những gì mà nút Mạng #1 của họ tính toán cục bộ. Sau khi xác minh, họ ký các thông điệp chứng thực cho gốc trạng thái mới.

Các chứng thực này chảy qua dịch vụ tổng hợp của NFFL, dịch vụ này thu thập chữ ký cho đến khi đủ trọng lượng cổ phần được chứng thực cho tiểu bang. Sau khi đạt được số đại biểu, chữ ký tổng hợp sẽ có sẵn thông qua API của NFFL, thường trong vòng vài giây sau khi sản xuất khối ban đầu.

Bây giờ đến phần thú vị - tiêu thụ tin nhắn trên Mạng #2. Hợp đồng Giao thức Hello trên Mạng #2 có thể chấp nhận giao dịch chứa:

  • Chứng minh lưu trữ cho thấy thông điệp tồn tại trong trạng thái của Mạng #1
  • Giấy chứng nhận NFFL chứng minh trạng thái này là hợp lệ
  • Một tham chiếu đến giao dịch NEAR DA chứa dữ liệu khối

Giao thức sẽ định tuyến dữ liệu này đến hợp đồng Registry của Mạng #2, hợp đồng này xác minh chữ ký của chứng nhận so với hồ sơ của các nhà điều hành NFFL. Nếu hợp lệ, điều này chứng minh rằng tin nhắn tồn tại trong trạng thái được xác minh của Mạng #1, cho phép giao thức xử lý nó một cách an toàn.

Điều làm cho điều này mạnh mẽ là sự kết hợp giữa tốc độ và bảo mật. Toàn bộ quá trình từ việc nộp tin nhắn đến xác minh xuyên chuỗi có thể hoàn thành trong vài giây, thay vì trong vài giờ hoặc vài ngày với cầu nối chuẩn. Tuy nhiên, an ninh đến từ các cam kết cryptoeconomic được hỗ trợ bằng ETH được restaked thông qua EigenLayer, thay vì Toán tử đáng tin cậyhoặc giả định lạc quan.

Mặc dù việc gửi tin nhắn “xin chào” có vẻ không quan trọng, mẫu hình này cho phép ứng dụng chéo chuỗi phức tạp hơn nhiều. Khả năng xác minh trạng thái trên các rollups một cách nhanh chóng và đáng tin cậy tạo ra các khối xây dựng cho mọi thứ từ DeFi chéo chuỗi đến trải nghiệm người dùng trừu tượng hóa chuỗi.

Cầu nối Token Nhanh và Rẻ

Dựa trên những nguyên tắc cơ bản này, chúng ta hãy khám phá một ứng dụng thực tế hơn - một cầu nối mã thông báo tận dụng NFFL để chuyển đổi chéo nhanh chóng. Cảnh quan cầu hiện tại buộc phải đánh đổi khó khăn giữa tốc độ, chi phí và an ninh. Hãy xem xét cách NFFL có thể định hình lại những động lực này.

Cầu nối hàng đầu ngày nay minh họa rõ những sự hy sinh này. Stargate, được cung cấp bởi LayerZero, đạt được chi phí tương đối thấp nhưng mất 10-30 phút để hoàn thành việc chuyển giao do mạng điều hành cần phải đạt được và truyền tải sự đồng thuận trên nhiều chuỗi. Across cung cấp việc chuyển giao gần như tức thì nhưng với chi phí cao gấp 10-100 lần, chủ yếu do đầu ra của bộ giao diện người dùng UMA đắt tiền và chu kỳ cân bằng chậm (6 giờ) ảnh hưởng đến hiệu suất thanh khoản.

NFFL giới thiệu một mô hình mới ở đây. Bằng cách tận dụng khung AVS của EigenLayer thay vì duy trì một mạng toán tử riêng biệt, NFFL có thể đạt được sự đồng thuận về trạng thái rollup trong vòng vài giây. Sự đồng thuận này có thể được truyền thông hiệu quả thông qua các hợp đồng đăng ký trên tất cả các rollup tham gia, cho phép thiết kế cầu nối kết hợp hiệu quả chi phí của Stargate với khả năng hoàn thành nhanh hơn cả Cross.

Khi người dùng chuyển ETH từ Arbitrum sang Base, khi token bị khóa trong hợp đồng cầu nối trên Arbitrum, các nhà điều hành NFFL sẽ nhanh chóng xác minh và chứng nhận việc thay đổi trạng thái này thông qua các node đầy đủ của họ. Sau khi bộ tổng hợp thu thập đủ các chứng nhận, hợp đồng cầu nối trên Base có thể ngay lập tức xác minh khóa token thông qua hợp đồng Registry của nó và phát hành tiền cho người dùng.

Tốc độ và hiệu suất này làm cho nhiều tối ưu hóa hiện có của cầu không còn quan trọng. Ví dụ, hệ thống cầu dựa trên ý định thường được đề xuất để làm việc xung quanh việc chậm chạp - người dùng gửi ý định để cầu các token, và những ý định này được khớp và thực thi bởi các diễn viên chuyên nghiệp. Nhưng với NFFL cung cấp sự nhất quán gần như nhanh chóng như việc khớp ý định, các cầu có thể thay thế bằng các thiết kế hồ chứa thanh khoản hiệu quả hơn tương tự Stargate, nhưng không có giới hạn về tốc độ của nó.

Lợi ích về chi phí ở đây là đáng kể. Các nhà điều hành cầu không cần duy trì cơ sở hạ tầng đồng thuận riêng biệt hoặc trả tiền cho đầu ra của oracle đắt đỏ. Người dùng nhận được mã thông báo trên chuỗi đích trong vài giây trong khi chủ yếu trả phí cho các chi phí khí gas cơ bản của việc xác minh. Nhà cung cấp thanh khoản có thể quản lý vị trí hiệu quả hơn với chu kỳ cân bằng lại nhanh hơn.

Như một lợi ích bổ sung, hệ thống duy trì an ninh mạnh mẽ thông qua cơ chế chặt chém của EigenLayer. Bất kỳ sự chứng thực gian lận nào sẽ dẫn đến các nhà điều hành mất ETH đã đặt cược của họ, trong khi những cây cầu vẫn có thể xác minh việc thanh quyết toán cuối cùng thông qua các cây cầu chuẩn như một lớp an toàn bổ sung.

Giao protocôl cho vay đa chuỗi

Cho vay xuyên chuỗi có thể coi là ứng dụng cấp bách nhất của NFFL. Các giao thức cho vay hiện tại đối mặt với các hạn chế đáng kể do sự phân mảnh chuỗi. Hãy lấy Aave làm ví dụ - mặc dù được triển khai trên nhiều rollup, mỗi triển khai hoạt động độc lập. Người dùng muốn sử dụng tài sản thế chấp trên các chuỗi phải cầu nối tài sản và chờ đợi, phân mảnh thanh khoản và làm giảm hiệu suất vốn. Hơn nữa, một số triển khai trên các rollup nhỏ hơn thậm chí không có đủ thanh khoản cho bất kỳ cho vay có ý nghĩa nào, đặt vấn đề về vị trí tiếp thị của Aave là cho vay đơn giản cho mọi người với bất kỳ quy mô nào. “Chỉ việc sử dụng Aave” … nhưng chỉ trên các triển khai lớn nhất của nó.

NFFL cho phép một cách tiếp cận hoàn toàn khác biệt. Hãy xem xét một giao thức cho vay duy trì các pool trên nhiều rollups khác nhau nhưng sử dụng NFFL để chia sẻ trạng thái tài sản đảm bảo giữa chúng. Người dùng có thể gửi USDC làm tài sản đảm bảo trên Base, sau đó ngay lập tức vay USDT trên Arbitrum dựa trên tài sản đảm bảo đó — ngay cả khi USDT hoàn toàn không triển khai trên Base. Hợp đồng Arbitrum của giao thức đơn giản xác minh vị thế tài sản đảm bảo trên Base thông qua các chứng nhận NFFL, mà không cần yêu cầu cầu nối.

Điều này tạo ra những khả năng mới mạnh mẽ cho hiệu quả vốn. Người dùng có thể truy cập vào tỷ lệ tốt nhất trên bất kỳ rollup được hỗ trợ nào mà không cần di chuyển tài sản. Các nhà cung cấp thanh khoản có thể triển khai vốn ở nơi cần thiết nhất mà không cần duy trì vị trí riêng biệt trên mỗi chuỗi. Và vì vị trí có thể được theo dõi gần như trong thời gian thực thông qua các chứng nhận NFFL, các giao thức có thể cung cấp tỷ lệ tốt hơn trong khi duy trì an ninh.

Các lợi ích vượt xa hơn so với cho vay cơ bản. Hãy xem xét một giao thức giao dịch ký quỹ cho phép người dùng mở vị thế trên nhiều sàn DEX. Một nhà giao dịch có thể gửi tài sản thế chấp trên Arbitrum, sau đó sử dụng nó để mở vị thế ký quỹ trên cả các sàn DEX của Arbitrum và Base cùng một lúc. Giao thức có thể giám sát tất cả các vị thế thông qua các chứng thực NFFL, cho phép thanh lý nhanh chóng nếu cần thiết trong khi đưa cho nhà giao dịch truy cập vào các giá tốt nhất trên toàn hệ sinh thái.

Mô hình này đơn giản và hiệu quả hơn đáng kể so với các phương pháp hiện có. Thay vì cơ chế cầu nối phức tạp hoặc nguồn cung cấp giá trung tâm, các giao thức có thể xác minh vị trí trực tiếp thông qua hợp đồng đăng ký. Tính nhanh chóng và hoàn toàn từ NFFL có nghĩa là họ có thể hoạt động với các ranh giới an toàn thấp hơn trong khi vẫn duy trì bảo mật. Và người dùng có trải nghiệm liền mạch khi truy cập tính thanh khoản trên toàn hệ sinh thái.

Cross-DEX: Triển khai một lần, Sử dụng ở mọi nơi

Cách tiếp cận hiện tại để mở rộng sàn giao dịch phi tập trung trên các rollup thường dẫn đến hiệu suất kém cỏi. Khi các giao thức như Uniswap triển khai lên một rollup mới, người dùng ban đầu sẽ gặp phải các pool không có thanh khoản và thiếu các cặp giao dịch quan trọng. Hãy xem xét việc triển khai Uniswap V3 mới nhất trên ZKsync - mặc dù có sự hào hứng lớn và luồng tiền từ một lần airdrop ZK gần đây, nhiều pool vẫn không sử dụng được trong nhiều ngày sau khi ra mắt do thiếu thanh khoản. Trong khi đó, các triển khai của cùng một giao thức trên Arbitrum, Base và các chuỗi đã được xác lập khác vẫn duy trì thanh khoản sâu, phí thấp và giá cả hiệu quả cho hàng nghìn cặp giao dịch.

Sự phân mảnh này tạo ra sự ma sát trong toàn hệ sinh thái. Người cung cấp thanh khoản phải chia tách vốn của họ trên các chuỗi, dẫn đến giá cả tồi tệ hơn và độ trượt cao hơn ở mọi nơi. Người dùng cần chuyển đổi token và chờ đợi mỗi khi họ muốn truy cập thanh khoản tốt hơn trên một chuỗi khác. Các nhóm giao thức phải quản lý nhiều triển khai, mỗi triển khai đòi hỏi bảo trì và giám sát riêng biệt.

Bạn đã đoán đúng rồi: NFFL cho phép một cách tiếp cận hoàn toàn khác biệt. Hãy khám phá điều này qua hai mẫu mạnh mẽ ngày càng tăng:

Hãy cân nhắc một DEX mới triển khai độc quyền trên Arbitrum, được chọn vì hệ sinh thái DeFi đã được thiết lập và chi phí gas thuận lợi. Thay vì triển khai các phiên bản riêng biệt trên các chuỗi, nó duy trì các hồ bơi thanh khoản thống nhất trên Arbitrum trong khi cho phép truy cập giao dịch từ bất kỳ rollup nào. Đây là cách mà một người dùng trên Base có thể tương tác với nó:

  1. Alice muốn đổi 10.000 USDC sang ETH trên Base
  2. Giao diện cơ sở DEX truy vấn trạng thái hồ bơi Arbitrum qua các quyết định NFFL
  3. Alice nhìn thấy cô ấy có thể nhận được giá tốt hơn so với các mạng lưới phân mảnh của Base cung cấp
  4. Cô ấy chấp thuận giao dịch trên Base
  5. Giao dịch được thực thi trên Arbitrum, với kết quả được chứng thực trở lại Base

Lợi ích của thanh khoản thống nhất này là đáng kể. Các nhà cung cấp thanh khoản có thể tập trung vốn của họ vào một nơi, dẫn đến định giá tốt hơn và trượt giá thấp hơn. Nhóm giao thức chỉ cần quản lý một lần triển khai, đơn giản hóa việc phát triển và giảm chi phí vận hành. Và người dùng có quyền truy cập nhất quán vào thanh khoản sâu bất kể họ đang sử dụng bản tổng hợp nào.

Một giao thức như vậy có thể sử dụng mô hình bắc cầu mà chúng ta đã khám phá trước đó để quản lý liền mạch luồng hoán đổi. Với thời gian chờ đợi chỉ vài giây, thực tế bắc cầu có thể được trừu tượng hóa hoàn toàn. Điều này đưa chúng ta đến gần với luận điểm “trừu tượng chuỗi” gần đây đã trở nên khá phổ biến trong cộng đồng tiền điện tử: nếu nó không quan trọng đối với dapp bạn đang ở chuỗi nào, tại sao bạn lại quan tâm bạn và tất cả các ứng dụng này đang ở chuỗi nào? Người dùng có thể chỉ cần truy cập trang web của ứng dụng, kết nối ví của họ và thực hiện hành động mong muốn. Xong rồi.

Nhưng NFFL cho phép một mô hình thậm chí còn mạnh mẽ hơn - gói các giao thức DeFi hiện có để truy cập chuỗi chéo. Thay vì xây dựng các nhóm thanh khoản cạnh tranh, các nhà phát triển có thể tạo các giao thức “trợ giúp” giúp các nhóm Uniswap khổng lồ của Arbitrum có thể truy cập được từ bất kỳ bản tổng hợp nào.

Triển khai Uniswap với TVL lớn nhất. Base và Arbitrum dẫn đầu bảng xếp hạng, với Optimism có TVL nhỏ gấp 6 lần so với cả hai, và các rollup khác thuộc danh mục “Khác”. Nguồn: DefiLlama

Ví dụ, hãy xem xét Bob cần hoán đổi một cặp token long-tail trên Base. Hiện tại, các lựa chọn của anh ấy bị hạn chế - hoặc là kết nối với mạng khác và chờ đợi, hoặc chấp nhận độ trượt cực đoan từ tính thanh khoản mỏng của Base. Với một lớp bọc được cung cấp bởi NFFL xung quanh việc triển khai Uniswap của Arbitrum, Bob có thể:

  1. Truy vấn tổng lượng thanh khoản có sẵn trên tất cả các hồ bơi Arbitrum Uniswap qua các chứng nhận NFFL
  2. Tìm thanh khoản sâu cho cặp mong muốn của mình trong một nhóm Arbitrum đã được thiết lập
  3. Thực hiện giao dịch từ Base thông qua giao thức wrapper
  4. Nhận token của anh ấy trên Gate khi NFFL xác nhận hoàn tất trao đổi

Mẫu này có tính chất biến đổi vì nó biến những triển khai thành công hiện có thành cơ sở hạ tầng phổ quát. Thay vì chờ đợi một vài tháng hoặc nhiều năm để tích lũy thanh khoản trên các nền tảng mới, các giao thức có thể ngay lập tức tiếp cận các hồ bơi đã được thiết lập. Điều này hiệu quả vốn đầu tư hơn rất nhiều và tạo ra trải nghiệm người dùng tốt hơn.

Các khả năng mở rộng xa hơn việc đơn giản hoán đổi. Với việc xác minh trạng thái thời gian thực của NFFL, các giao thức có thể cung cấp các tính năng phức tạp như các lệnh giới hạn qua các chuỗi chéo. Người dùng có thể đặt một lệnh giới hạn trên Base so với thanh khoản của Arbitrum, với giao thức bao bọc theo dõi biến động giá thông qua các chứng nhận NFFL và thực hiện khi điều kiện được đáp ứng.

Mô hình này có thể thay đổi cách chúng ta nghĩ về triển khai giao thức trên các rollup. Thay vì tự động triển khai ở mọi nơi hoặc tham gia vào hiệu ứng mạng của một chuỗi cụ thể, giao thức có thể chọn một chuỗi chính chiến lược dựa trên những yếu tố như:

  • Chi phí gas cho các hoạt động cụ thể của họ
  • Các công nghệ cơ bản - máy ảo, AA, loại xếp hàng, DA, vv.
  • Xem xét quy định

Sau đó thông qua NFFL, họ vẫn có thể phục vụ người dùng trên toàn hệ sinh thái rollup trong khi duy trì hoạt động đơn giản, hiệu quả hơn.

Hậu quả đối với MEV cũng thú vị. Với thanh khoản thống nhất có thể truy cập trên các chuỗi, những người tìm kiếm MEV sẽ cần theo dõi và tương tác với ít hơn các triển khai. Điều này có thể dẫn đến việc phát hiện giá hiệu quả hơn và thực hiện tốt hơn cho người dùng trên tất cả các rollup.

Như bạn có thể đã nhận thấy, mô hình triển khai đơn giản này với quyền truy cập đa chuỗi thông qua NFFL có thể mở rộng ra ngoài DEX. Bất kỳ giao thức nào có lợi từ sự sâu sắc về thanh khoản hoặc tác động mạng đều có thể áp dụng mô hình này - giao thức cho vay, nền tảng tùy chọn, thị trường NFT và nhiều hơn nữa. Một thông tin quan trọng là NFFL làm cho việc truy cập qua chuỗi gần như mượt mà như tương tác trên cùng một chuỗi, giúp các giao thức tối ưu hóa chiến lược triển khai của mình mà không đánh đổi tính khả dụng. Nói cách khác, NFFL làm cho Ethereum trở thành một hệ sinh thái một lần nữa.

Lộ trình và phát triển trong tương lai

Trong khi NFFL đã cho phép các ứng dụng cross-chain mới mạnh mẽ, giao thức vẫn tiếp tục phát triển. Lộ trình phát triển của NFFL tập trung vào ba lĩnh vực chính:

Bảo mật giao thức

  • Triển khai các cơ chế thách thức và cắt giảm toàn diện thông qua EigenLayer
  • Kích hoạt sự tham gia của người vận hành không cần phép với quản lý cổ phần mạnh mẽ
  • Tăng cường xác minh trạng thái chuỗi chéo với các nguyên thủy mật mã được cải thiện (BLS → ECDSA)

Khả năng mở rộng mạng

  • Tối ưu hóa các hệ thống chữ ký và truyền tải trạng thái
  • Cải thiện hiệu suất kiểm tra và chi phí xác minh

Kinh nghiệm phát triển

  • Xây dựng SDK và công cụ để dễ dàng tích hợp
  • Mở rộng hỗ trợ cho các loại rollup và máy ảo khác nhau
  • Tạo tài liệu và ví dụ cho các trường hợp sử dụng phổ biến

Trong các phần tiếp theo, chúng ta sẽ tìm hiểu chi tiết về một số cải tiến đáng kể được lên kế hoạch.

BLS sang ECDSA

Một trong những thay đổi dự kiến quan trọng nhất là chuyển từ chữ ký BLS sang ECDSA. Hiện tại, NFFL sử dụng chữ ký BLS để kích hoạt việc kết hợp hiệu quả—nhiều chữ ký của người vận hành có thể được kết hợp thành một chữ ký duy nhất chứng minh sự đồng thuận của đa số. Mặc dù điều này giảm chi phí xác minh, nhưng tạo ra thách thức cho quản lý bộ điều khiển người vận hành trên các chuỗi.

Vấn đề bắt nguồn từ cách xác minh chữ ký BLS hoạt động. Khi xác minh chữ ký BLS tổng hợp, người xác minh phải sử dụng chính xác cùng một bộ khóa công khai đã tạo ra nó. Điều này có nghĩa là khi nhà điều hành đặt thay đổi trên Ethereum, tất cả các bản tổng hợp phải cập nhật lên cùng một toán tử chính xác được đặt trước khi họ có thể xác minh các chứng thực mới. Ngay cả một sự không khớp nhỏ trong các bộ toán tử giữa các chuỗi cũng có thể ngăn chặn việc xác minh chữ ký và yêu cầu đồng bộ hóa tất cả các thông báo về các thay đổi của bộ toán tử.

Chữ ký ECDSA, mặc dù yêu cầu nhiều không gian và tính toán để xác minh, nhưng cung cấp linh hoạt hơn. Các chữ ký của từng nhà điều hành có thể được xác minh độc lập, cho phép chuyển đổi mượt mà khi tập hợp nhà điều hành thay đổi. Rollups có thể xác minh các chứng thực miễn là chúng nhận ra các nhà điều hành ký, ngay cả khi quan điểm của chúng về tập hợp nhà điều hành hoàn chỉnh tạm thời khác với Ethereum. Sự linh hoạt lớn hơn này có thể đáng giá những chi phí xác minh tăng lên nhỏ.

Bộ Tổ Hợp Toán Tử Động

Thay đổi chữ ký này liên quan trực tiếp đến một cải tiến giao thức lớn khác - thực hiện bộ sưu tập nhà điều hành động. Hệ thống hiện tại sử dụng một tập hợp các nhà điều hành tĩnh được phép. Trong khi điều này đơn giản hoá quá trình phát triển ban đầu, nó hạn chế tính phi tập trung và khả năng mở rộng của giao thức.

Hệ thống toán tử động sẽ cho phép các toán tử mới tham gia mạng mà không cần sự cho phép bằng cách đặt cược thông qua EigenLayer. Điều này đưa ra một số thách thức kỹ thuật cần được giải quyết một cách cẩn thận:

Đầu tiên, giao thức phải quản lý hàng đợi truy cập và rời khỏi của các nhà điều hành. Khi các nhà điều hành muốn tham gia hoặc rời mạng, những thay đổi này cần được phối hợp trên tất cả các chuỗi tham gia. Hệ thống hàng đợi đảm bảo chuyển đổi mượt mà mà không làm gián đoạn khả năng xác minh của mạng.

Thứ hai, giao thức cần có cơ chế để theo dõi hiệu suất của người vận hành và trọng lượng cổ phần. Khi các người vận hành tham gia và rời đi, hệ thống phải duy trì các hồ sơ chính xác về cổ phần của mỗi người vận hành và quyền tham gia vào sự nhất trí. Điều này trở nên phức tạp hơn với một tập hợp linh hoạt so với phương pháp hiện tại được cho phép trong danh sách cho phép.

Cuối cùng, giao thức phải xử lý việc cập nhật tập toán tử trên các chuỗi một cách hiệu quả. Khi tập toán tử thay đổi trên Ethereum, những cập nhật này cần phải lan truyền đến tất cả các rollups tham gia thông qua hợp đồng đăng ký của chúng. Việc chuyển đổi ECDSA dự kiến sẽ giúp ở đây bằng cách làm cho những cập nhật này linh hoạt hơn.

Bỏ bánh xe phụ

Một lĩnh vực phát triển quan trọng khác là kích hoạt cơ chế thách thức không cần phép và cắt giảm. Các cơ chế này là cần thiết để thúc đẩy hành vi trung thực và cung cấp các cam kết về an ninh kinh tế mà NFFL dựa trên.

Hệ thống thử thách xoay quanh cơ chế nhiệm vụ trạm kiểm soát. Khi các nhà khai thác gửi các điểm kiểm tra có chứa Tin nhắn hợp nhất từ một khoảng thời gian, bất kỳ ai cũng có thể thách thức các điểm kiểm tra này nếu họ tin rằng chúng chứa các chứng thực không hợp lệ. Một thách thức thành công có thể phát sinh từ một số loại lỗi:

  • Đầu tiên, các lỗi an toàn trực tiếp ảnh hưởng đến tính nguyên vẹn của mạng. Điều này bao gồm sự mâu thuẫn - khi một nhà điều hành ký nhiều Tin nhắn mâu thuẫn cho cùng một trường hợp, như chứng minh cho các gốc trạng thái khác nhau cho cùng một khối. Chúng cũng bao gồm các chứng minh không hợp lệ, khi một nhà điều hành ký nhận các chuyển đổi trạng thái hoặc cập nhật bộ điều hành có thể chứng minh là không chính xác.
  • Thứ hai, lỗi liveness ảnh hưởng đến tính sẵn có của mạng. Nếu các nhà điều hành liên tục không tham gia vào việc ký tin nhắn, điều này ảnh hưởng đến khả năng của mạng trong việc xác minh trạng thái một cách hiệu quả. Cơ chế thách thức phải cân nhắc việc trừng phạt hành vi như vậy trong khi tính đến thời gian chết hợp pháp.

Giao thức sẽ triển khai một hệ thống thách thức dựa trên tài sản đảm bảo. Những người thách thức phải khóa tài sản đảm bảo khi nộp một thách thức, mà họ sẽ mất nếu thách thức được chứng minh là không hợp lệ. Tuy nhiên, nếu họ thành công chứng minh lỗi của nhà điều hành, họ sẽ nhận được phần thưởng từ sự cắt giảm cổ phần của nhà điều hành. Điều này tạo ra động cơ kinh tế để giám sát hành vi của nhà điều hành trong khi ngăn chặn những thách thức vô nghĩa.

Đối với việc cập nhật state root, quá trình thách thức rất thú vị. Sau khi một nhà điều hành chứng thực trạng thái của một rollup, điều này có thể bị thách thức bằng cách chứng minh rằng dữ liệu khối liên quan không được đăng đúng cách vào NEAR DA, hoặc rằng trạng thái đã được chứng thực không khớp với trạng thái chính thức sau quyết định. Điều này đòi hỏi người thách thức cung cấp chứng minh thông qua Rainbow Bridge để xác minh NEAR DA, tạo ra nhiều lớp bảo mật.

Cơ chế cắt giảm chính sẽ được thực hiện thông qua các hợp đồng trung gian của EigenLayer. Khi thách thức thành công, các nhà điều hành sẽ mất một phần của ETH đã đặt cược. Các tham số cắt giảm được thiết kế sao cho tổn thất tiềm năng vượt quá đáng kể bất kỳ lợi ích nào từ hành vi độc hại. Một phần của số ETH bị cắt giảm này được trao cho những người thách thức thành công, trong khi số còn lại có thể được phân phối cho các nhà điều hành trung thực hoặc sử dụng cho phát triển giao thức.

Các cơ chế này tạo ra một khuôn khổ bảo mật toàn diện. Các nhà khai thác phải đối mặt với các hình phạt tài chính đáng kể cho hành vi sai trái, những người thách thức được khuyến khích giám sát mạng và các ứng dụng có thể dựa vào các đảm bảo kinh tế tiền điện tử được hỗ trợ bởi ETH được khôi phục. Thời gian thử thách ngắn hơn nhiều so với bằng chứng gian lận tổng hợp lạc quan, trong khi vẫn cung cấp bảo mật mạnh mẽ thông qua cơ chế cắt giảm của EigenLayer.

Tương lai của tính cuối cùng nhanh

Trong khi NFFL cung cấp một giải pháp ngay lập tức cho việc xác minh trạng thái chéo rollup, đáng đáng xem xét là giao thức này phù hợp với lộ trình mở rộng tổng quát của Ethereum hay không. Câu hỏi quan trọng mà nhiều người đặt ra là: “Liệu NFFL có còn phù hợp khi công nghệ rollup tiến bộ?”

Câu trả lời trở nên rõ ràng khi chúng ta xem xét các hạn chế về việc thanh toán cơ bản trong các thiết kế rollup khác nhau. Rollup lạc quan, mặc dù phổ biến và trưởng thành, nhưng cơ bản không thể thanh toán nhanh hơn cửa sổ chứng minh gian lận của họ - thông thường là 7 ngày. Trong khi các giải pháp như Superchain của Optimism và Arbitrum Orbit cho phép giao tiếp nhanh hơn giữa các rollups chia sẻ một cầu nối, chúng không giúp đỡ về tính tương thích bên ngoài các hệ sinh thái cụ thể của họ - ví dụ, giữa hai hệ sinh thái đó.

ZK rollups đối mặt với các ràng buộc khác nhau nhưng cũng không kém phần quan trọng. Dù công nghệ ZK proof cải tiến đáng kể, vẫn có giới hạn thực tế về tốc độ thanh toán. Dù chúng ta đạt được một điểm mà chứng minh có thể được tạo ra cho mỗi khối L1, Ethereum vẫn phải có khả năng xác minh nhiều ZK proofs trên mỗi khối bao gồm các rollups khác nhau. Khi điều này trở thành khả thi, việc thanh toán vẫn sẽ bị ràng buộc bởi thời gian khối L1 - ít nhất là 12 giây trong các tham số hiện tại.

NFFL cung cấp một phương pháp khác bằng cách sử dụng chứng thực chuỗi đã ký từ rollups. Thay vì chờ đợi các lô được xuất bản trên L1, các nhà điều hành NFFL có thể xác minh và chứng thực các thay đổi trạng thái ngay khi chúng được tạo ra bởi sequencer. Điều này cho phép xác minh trạng thái qua chuỗi trong vài giây trong khi duy trì an ninh cryptoeconomic mạnh mẽ thông qua EigenLayer.

Quan trọng là, NFFL không nên được xem như là đối thủ hoặc đe dọa đến mô hình bảo mật rollup của Ethereum. Thay vào đó, nó cung cấp một công cụ bổ sung cho phép những khả năng mới trong hệ sinh thái Ethereum theo mô đun. Ứng dụng có thể sử dụng NFFL để xác minh trạng thái nhanh chóng trong khi vẫn dựa vào việc thanh toán chuẩn thông qua L1 khi cần thiết. Điều này tạo ra một bộ công cụ phong phú cho nhà phát triển để xây dựng ứng dụng xuyên chuỗi với mô hình bảo mật phù hợp với nhu cầu cụ thể của họ.

Kết luận

NFFL đại diện cho một phương pháp mới để giải quyết một trong những thách thức cấp bách nhất trong hệ sinh thái modular của Ethereum - cho phép xác minh trạng thái chéo-rollup an toàn và hiệu quả. Bằng cách tận dụng ETH được đặt cọc lại của EigenLayer để bảo mật kinh tế và NEAR DA để lưu trữ dữ liệu hiệu quả, NFFL tạo ra một lớp hoàn thiện nhanh chóng có thể xác minh trạng thái rollup trong vài giây thay vì trong vài giờ hoặc ngày.

Các lựa chọn thiết kế chu đáo của giao thức phản ánh sự hiểu biết sâu sắc về những thách thức trong cơ sở hạ tầng cross-chain. Thay vì cố gắng thay thế mô hình bảo mật của rollups, NFFL cung cấp một lớp bổ sung được tối ưu hóa cho các trường hợp sử dụng cụ thể yêu cầu sự hoàn thành nhanh hơn. Hệ thống nhiệm vụ dựa trên điểm kiểm tra cho phép vận hành hiệu quả ngoại chuỗi trong khi duy trì các cam kết bảo mật mạnh mẽ trên chuỗi. Và kiến trúc hợp đồng đăng ký cho phép rollups xác minh trạng thái một cách đáng tin cậy trong khi kế thừa sự bảo mật kinh tế của NFFL.

Quan trọng nhất, NFFL cho phép một thế hệ mới của các ứng dụng cross-chain mà trước đây là không thực tế. Từ giao thức cho vay thống nhất chia sẻ tài sản thế chấp trên toàn hệ thống rollups cho DEX wrappers giúp truy cập thanh khoản đã được thiết lập trở nên phổ biến, việc xác minh trạng thái nhanh của NFFL tạo ra các khối xây dựng cho trừu tượng hóa chuỗi thực sự. Điều này có ý nghĩa sâu sắc đối với hiệu suất vốn và trải nghiệm người dùng trên toàn hệ sinh thái.

Lộ trình của giao thức thể hiện sự cam kết với việc cải thiện liên tục. Các nâng cấp được kế hoạch như việc chuyển đổi sang chữ ký ECDSA và triển khai bộ quy tắc của người điều hành linh hoạt sẽ nâng cao tính phân quyền và khả năng mở rộng. Việc kích hoạt cơ chế thách thức và cắt giảm toàn diện sẽ tăng cường các cam kết về bảo mật. Và tích hợp với các giải pháp DA bổ sung ngoài NEAR sẽ làm cho NFFL trở nên phổ cập hơn nữa.

Khi hệ sinh thái tổng hợp của Ethereum tiếp tục phát triển, nhu cầu xác minh trạng thái chuỗi chéo an toàn sẽ chỉ tăng lên. Cách tiếp cận của NFFL trong việc mở rộng bảo mật của Ethereum thông qua việc lấy lại trong khi tối ưu hóa tốc độ và hiệu quả chi phí định vị tốt để phục vụ nhu cầu này. Bằng cách cho phép các hình thức tương tác chuỗi chéo mới trong khi vẫn duy trì đảm bảo bảo mật mạnh mẽ, NFFL góp phần biến tầm nhìn mô-đun của Ethereum thành hiện thực.

Tuyên bố từ chối trách nhiệm:

  1. Bài viết này được sao chép lại từ [[](https://research.2077.xyz/nuffle-ethereums-finality-as-a-service-layer#introduction)[Nghiên cứu 2077](https://research.2077.xyz/)\]. Tất cả bản quyền thuộc về tác giả gốc [Alex Hook]. Nếu có bất kỳ ý kiến ​​phản đối nào về việc tái in này, vui lòng liên hệ Cổng họcđội ngũ của chúng tôi sẽ xử lý nó một cách nhanh chóng.
  2. Tuyên bố từ chối trách nhiệm: Các quan điểm và ý kiến được trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
  3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn bản dịch là không được phép.
Mulai Sekarang
Daftar dan dapatkan Voucher
$100
!