Lumoz ra mắt zkProver và zkVerifier dựa trên EigenLayer

Bất chấp những tranh cãi gần đây xung quanh đợt airdrop của nó, không còn nghi ngờ gì nữa, EigenLayer đã nổi lên như một trong những dự án nổi bật nhất năm 2024 nhờ cơ chế đặt cược lại. Cơ chế này không chỉ thúc đẩy TVL tăng đột biến mà còn thúc đẩy người dùng chuyển tiền và niềm tin của họ trở lại hệ sinh thái Ethereum, tránh xa sự điên cuồng của các đồng meme.

Theo dữ liệu công khai, tính đến thời điểm viết bài, ETH TVL của EigenLayer đã vượt qua 5 triệu ETH và số lượng đặt cược cho mã thông báo Eigen của nó đã vượt quá 54 triệu mã thông báo. Số lượng AVS đang hoạt động ( Dịch vụ được xác thực tích cực ) và Nhà khai thác lần lượt là 11 và 251. Hệ sinh thái EigenLayer cũng đang bùng nổ, với hơn 20 dự án hàng đầu thuộc nhiều lĩnh vực khác nhau, bao gồm Lumoz , Espresso, Near và Dodo, tích cực tham gia.

Điều này đánh dấu sự khởi đầu của một cuộc cách mạng nhằm định hình lại tính bảo mật và lợi nhuận của blockchain xung quanh ETH, tận dụng EigenLayer. Bài viết này sẽ sử dụng Lumoz làm nghiên cứu điển hình để đi sâu vào chuỗi khám phá kỹ thuật được thực hiện trên EigenLayer, từ đó thúc đẩy hơn nữa công nghệ của Ethereum và ngành công nghiệp blockchain rộng lớn hơn.

1. Lumoz ra mắt Lớp tính toán AVS dựa trên EigenLayer

Là công ty dẫn đầu về các lớp điện toán mô-đun và Nền tảng ZKRaas, Lumoz không chỉ hoạt động xuất sắc trên thị trường vốn mà còn liên tục đổi mới trong lĩnh vực kỹ thuật. Vào tháng 4 năm 2024, Lumoz lần đầu tiên tuyên bố hoàn thành vòng cấp vốn Pre-A (với mức định giá hiện tại lên tới 300 triệu USD) và ngay sau đó, công ty đã công bố hỗ trợ cho kiến trúc Op Stack + ZK Fraud Proof Layer 2, tiên phong cho một mô hình mới cho kiến trúc L2.

Tuần này, Lumoz chính thức công bố ra mắt lớp tính toán AVS dựa trên EigenLayer, bao gồm zkProver và zkVerifier, giúp tăng cường đáng kể sức mạnh tính toán và bảo mật.

ZkProver của Lumoz tập trung vào việc tạo Bằng chứng không có kiến thức (ZKP), xác minh tính xác thực của dữ liệu mà không tiết lộ dữ liệu cụ thể. Với tài nguyên tính toán mạnh mẽ, zkProver có thể nhanh chóng tạo ra Bằng chứng không có kiến thức hiệu quả, cải thiện đáng kể tính riêng tư và bảo mật của mạng blockchain. Mặt khác, zkVerifier chịu trách nhiệm xác minh các Bằng chứng không có kiến thức này, đảm bảo tính chính xác và độ tin cậy của chúng. Kết hợp với cơ chế đặt cược lại của EigenLayer, zkVerifier không chỉ thúc đẩy tính bảo mật của Ethereum mà còn cung cấp thêm các ưu đãi kinh tế cho người xác nhận. Cơ chế xác minh kép này giúp tăng cường đáng kể tính bảo mật tổng thể của mạng và giảm rủi ro về lòng tin.

Lưu ý: Cơ chế đặt cược lại của EigenLayer tăng cường tính bảo mật của hệ sinh thái Ethereum bằng cách cung cấp AVS, giải quyết các vấn đề về niềm tin và gánh nặng chi phí vốn.

Bằng cách tích hợp các tài nguyên tính toán mạnh mẽ với cơ chế Đặt cược lại của EigenLayer, Lumoz đã tạo ra một hệ sinh thái dịch vụ tính toán hiệu quả và an toàn. Sự đổi mới này không chỉ cải thiện sức mạnh tính toán và tính bảo mật của mạng blockchain mà còn cung cấp cho các nhà phát triển và người dùng nhiều kịch bản và giá trị ứng dụng hơn. Thông qua zkProver và zkVerifier, Lumoz mang đến sự đổi mới và giá trị chưa từng có cho lĩnh vực blockchain, thúc đẩy tiến bộ công nghệ trong toàn bộ ngành.

2. Lớp tính toán Lumoz

Kiến trúc Lớp tính toán Lumoz là một hệ thống có tính cộng tác và tích hợp cao, với các thành phần và chức năng chính như sau:

Các thành phần chính bao gồm:

• Ethereum : Sử dụng tiêu chuẩn EigenLayer để xây dựng Dịch vụ xác minh hoạt động (AVS). Cơ chế đặt cọc của EigenLayer tăng cường tính bảo mật của AVS.

  
  

• Chuỗi EVM : Hỗ trợ môi trường blockchain đa dạng tương thích với Máy ảo Ethereum (EVM), bao gồm nhưng không giới hạn ở Polygon zkEVM, Polygon CDK, ZKStack và Scroll, đảm bảo khả năng tương thích và khả năng mở rộng rộng rãi.

  
  

• Lumoz AVS Oracle : Chịu trách nhiệm thu thập và lưu trữ dữ liệu từ các chuỗi tương thích EVM, đảm bảo tính sẵn sàng và tính toàn vẹn cao của dữ liệu, do đó cung cấp nền tảng dữ liệu vững chắc cho lớp tính toán.

  
  

• Chuỗi Lumoz : Hoạt động như lớp quản lý cốt lõi của toàn bộ lớp tính toán, chịu trách nhiệm lập lịch tác vụ, phân phối phần thưởng và quản lý zkProver và zkVerifier, bao gồm nhưng không giới hạn ở các quá trình tham gia và thoát nút.

  
  

• zkProver : Các nút thực thi các tác vụ tính toán cụ thể.

  
  

• zkVerifier : Các nút xác minh xác thực kết quả thực thi.

  
  

Thông qua sự cộng tác chặt chẽ của các mô-đun này, Lớp tính toán Lumoz không chỉ cung cấp môi trường tính toán an toàn và hiệu quả mà thông qua thiết kế mô-đun, còn tạo nền tảng vững chắc cho việc mở rộng và nâng cấp trong tương lai.

3. Nó có thể giải quyết những vấn đề gì?

3.1 Nhu cầu năng lượng tính toán quy mô lớn

Lumoz cung cấp hỗ trợ cơ sở hạ tầng đám mây mạnh mẽ cho các tính toán bằng chứng không có kiến thức (ZKP). Sự hỗ trợ này rất quan trọng đối với ZK-Rollups, một giải pháp mở rộng quy mô blockchain thực hiện các giao dịch ngoài chuỗi và sử dụng ZKP để xác minh tính hợp lệ của các giao dịch này. Các bằng chứng sau đó được gửi trực tuyến, giảm tải cho chuỗi chính và tăng thông lượng giao dịch.

Khả năng cơ sở hạ tầng đám mây Lumoz:

• Khả năng tương thích : Cơ sở hạ tầng đám mây của Lumoz tương thích với nhiều giải pháp ZK-Rollup khác nhau như Polygon CDK, zkSync, StarkNet và Scroll. Điều này có nghĩa là nó có thể phục vụ các nền tảng khác nhau này mà không cần mỗi nền tảng phải thiết lập cơ sở hạ tầng riêng.

  
  

• Thuật toán ZK-PoW : Lumoz kết hợp tài nguyên tính toán của thợ mỏ với cơ sở hạ tầng đám mây thông qua thuật toán Bằng chứng công việc không kiến thức (ZK-PoW), cho phép thợ mỏ đóng góp sức mạnh tính toán của họ để hỗ trợ tính toán ZKP.

  
  

• Hiệu suất và hiệu quả : Bằng cách hỗ trợ tính toán song song cho ZKP, hiệu quả tính toán được cải thiện đáng kể vì nhiều tác vụ có thể được thực thi đồng thời. Ngoài ra, việc gửi tuần tự đảm bảo xử lý các giao dịch một cách có trật tự.

  
  

• Thuật toán tổng hợp đệ quy : Tối ưu hóa thuật toán tổng hợp đệ quy giúp giảm số lượng ZKP cần thiết, từ đó giảm độ phức tạp và chi phí tính toán.

  
  

• Cải tiến giao tiếp mạng : Những cải tiến trong giao tiếp mạng giúp giảm thời gian truyền dữ liệu, cải thiện tốc độ phản hồi chung của hệ thống.

  
  

• Hiệu quả về chi phí : Thông qua các tối ưu hóa nói trên, Lumoz có thể giảm chi phí liên quan đến tính toán ZKP, giúp các giải pháp ZK-Rollup hiệu quả hơn về mặt kinh tế.

  
  

Cơ sở hạ tầng đám mây của Lumoz cung cấp giải pháp mạnh mẽ, linh hoạt và tiết kiệm chi phí cho việc tính toán ZKP, góp phần thúc đẩy và ứng dụng công nghệ chuỗi khối.

3.2 Giảm khí chứng minh zk

Chiến lược thiết kế của zkVerifier nhằm mục đích nâng cao hiệu quả, khả năng mở rộng và giảm chi phí giao dịch một cách hiệu quả, như được phản ánh ở các khía cạnh sau:

• Tích hợp nhiều nguồn bằng chứng : zkVerifier có thể tích hợp bằng chứng từ nhiều nguồn khác nhau, hỗ trợ nhiều ứng dụng chứng minh không có kiến thức. Tính linh hoạt này là một lợi thế chính trong hệ sinh thái blockchain, vì nó cho phép các dự án và ứng dụng khác nhau sử dụng các dịch vụ zkVerifier.

  
  

• Tiết kiệm chi phí gas : Thông qua các cơ chế xác minh và xử lý bằng chứng được thiết kế tỉ mỉ, zkVerifier giảm đáng kể chi phí gas khi gửi bằng chứng, cung cấp cho người dùng trải nghiệm dịch vụ blockchain hiệu quả hơn về mặt chi phí.

  
  

• Khả năng thích ứng với các đặc điểm bằng chứng : zkVerifier thể hiện khả năng thích ứng với các đặc điểm của bằng chứng được tạo bởi các hệ thống bằng chứng khác nhau, bao gồm kích thước bằng chứng, thời gian xác minh và logic xác minh. Khả năng thích ứng này là trọng tâm để đảm bảo hệ thống hoạt động hiệu quả.

  
  

• Chiến lược phát hành tùy chỉnh : Dựa trên đặc điểm của các bằng chứng khác nhau, zkVerifier đã thiết kế các chiến lược phát hành tùy chỉnh nhằm tối ưu hóa việc sử dụng tài nguyên trên chuỗi và đảm bảo truyền tải bằng chứng hiệu quả, giúp giảm tắc nghẽn mạng và cải thiện tốc độ giao dịch.

  
  

• Triển khai Trình xác minh chuyên dụng : zkVerifier triển khai các trình xác minh chuyên dụng, đây là các cơ chế chính để đảm bảo tính hợp lệ của bằng chứng. Những trình xác minh này đảm bảo rằng chỉ những bằng chứng đã được xác minh mới có thể được xuất bản lên Ethereum, duy trì tính bảo mật và độ tin cậy của hệ thống.

  
  

• Tối ưu hóa lớp sẵn có dữ liệu : Lớp sẵn có dữ liệu của zkVerifier đảm bảo độ bền và khả năng truy cập của bằng chứng đồng thời cung cấp chiến lược lưu trữ hiệu quả về mặt chi phí, điều này rất quan trọng để giảm chi phí vận hành của hệ thống.

  
  

• Tích hợp sâu với Ethereum : zkVerifier xuất bản kết quả xác minh lên Ethereum, nơi Ethereum tạo ra bằng chứng xác minh. Bước này rất quan trọng để đảm bảo khả năng tương tác và tin cậy giữa các chuỗi, tạo điều kiện cho sự hợp tác liền mạch giữa zkVerifier và các mạng blockchain lớn như Ethereum.

  
  

• Thẩm quyền của bằng chứng xác minh : Bằng chứng xác minh do Ethereum tạo ra cung cấp xác nhận có thẩm quyền cuối cùng về tính hợp lệ của dữ liệu do zkVerifier cung cấp. Điều này rất cần thiết để thiết lập niềm tin vào dữ liệu zkVerifier trong mạng Ethereum.

Những thiết kế sáng tạo này của zkVerifier không chỉ giải quyết những thách thức mà công nghệ blockchain hiện tại phải đối mặt mà còn đạt được những tiến bộ đáng kể trong việc nâng cao hiệu quả, giảm chi phí và cải thiện khả năng tương tác. Thiết kế này giúp thúc đẩy ứng dụng rộng rãi hơn của công nghệ blockchain và cung cấp cho người dùng môi trường dịch vụ an toàn và hiệu quả hơn.

4. Quy trình làm việc chi tiết

4.1 zkProver

zkProver là thành phần cốt lõi chịu trách nhiệm tạo ra các bằng chứng không có kiến thức (ZKP). ZKP cho phép người chứng minh chứng minh tính đúng đắn của một khẳng định nhất định với người xác minh mà không tiết lộ bất kỳ thông tin bổ sung nào. zkProver bao gồm nhiều loại bộ chứng minh khác nhau như zkRollup Prover, zkFraud Prover và zkML Prover, mỗi loại được tối ưu hóa cho các tác vụ tính toán cụ thể để đảm bảo hiệu suất tối ưu và hiệu quả hệ thống trong các miền tương ứng của chúng.

Quy trình làm việc:

1. Thu thập nhiệm vụ: Mô-đun Lumoz AVS Oracle và Dispatch truy xuất các nhiệm vụ từ chuỗi khối và đồng bộ hóa chúng với Chuỗi Lumoz. Những nhiệm vụ này bao gồm các khẳng định hoặc tính toán cần có bằng chứng.

   
   

2. Phân phối nhiệm vụ: Nhiệm vụ được phân phối cho các Nhà cung cấp khác nhau thông qua mô-đun Điều phối. Đóng vai trò là trung tâm lập kế hoạch nhiệm vụ, Dispatch xác định loại Prover nào phù hợp nhất để xử lý từng nhiệm vụ dựa trên tính chất và yêu cầu của nó. Mô-đun Dispatch phân bổ linh hoạt tài nguyên tính toán thông qua các thuật toán thông minh, tối ưu hóa việc phân bổ tài nguyên theo thời gian thực dựa trên tải tác vụ và hiệu suất của từng Prover, đảm bảo hệ thống vận hành ổn định trong thời gian có nhu cầu cao.

   
   

3. Tạo bằng chứng:

   a, zkRollup Prover: Tập trung vào việc tạo bằng chứng liên quan đến nén hàng loạt giao dịch, nâng cao tốc độ xử lý và khả năng mở rộng của chuỗi khối.

   b, zkFraud Prover: Tạo ra bằng chứng gian lận giúp phát hiện và ngăn chặn hành vi không đúng đắn.

   c, zkML Prover: Chuyên tạo ra các bằng chứng phức tạp liên quan đến xác minh mô hình học máy, đảm bảo tính hợp lệ của đầu ra mô hình mà không tiết lộ chính mô hình hoặc dữ liệu đầu vào của nó.

   d, Những người chứng minh khác: Xử lý các loại bằng chứng cụ thể khi cần thiết.

   
   

4. Gửi bằng chứng: Bằng chứng được tạo sẽ được gửi đến Chuỗi Lumoz để xác minh và lưu trữ.

4.2 zkTrình xác minh

zkVerifier là một thành phần quan trọng khác trong kiến trúc, chịu trách nhiệm xác minh ZKP do zkProver tạo ra. Nó đảm bảo tính chính xác và hợp lệ của các bằng chứng được gửi lên chuỗi, từ đó bảo vệ sự tin cậy và bảo mật của hệ thống. Thông qua quy trình xác minh được tối ưu hóa, zkVerifier xử lý các bằng chứng một cách hiệu quả, giảm chi phí vận hành và mức tiêu thụ gas.

Quy trình làm việc:

1. Gửi bằng chứng: Bằng chứng do zkProver tạo ra sẽ được gửi tới Chuỗi Lumoz, bắt đầu nhiệm vụ xác minh.

   
   

2. Xác minh bằng chứng: Chuỗi Lumoz gửi nhiệm vụ xác minh tới nhiều zkVerifier, những tổ chức này thực hiện xác minh phân tán một cách độc lập.

   
   

3. Quyết định tập thể: Ít nhất hai phần ba số nút xác minh xác nhận tính hợp lệ của bằng chứng, đảm bảo thẩm quyền và tính nhất quán của kết quả xác minh.

   
   

4. Xử lý kết quả xác minh: Bằng chứng hợp lệ và kết quả của chúng được Lumoz AVS Oracle truyền trở lại Hợp đồng chứng minh Lumoz trên blockchain. Hợp đồng Trình quản lý tác vụ ghi lại và phản hồi kết quả nhiệm vụ trên Chuỗi Lumoz.

   
   

5. Tóm tắt

Lumoz thông báo ra mắt zkProver và zkVerifier dựa trên EigenLayer, nâng cao đáng kể hiệu quả tính toán và xác minh. Cơ chế đặt cược lại của EigenLayer đảm bảo hiệu quả tính bảo mật và lợi nhuận của toàn bộ quá trình dịch vụ. Với thiết kế nút chuyên dụng, Lumoz có thể cung cấp giải pháp cho các tác vụ tính toán khác nhau, đạt được hiệu suất và hiệu quả tối ưu. Ngoài ra, thông qua cơ chế đặt cược lại, Lumoz mang lại lợi nhuận đáng kể cho những người đặt cược, tăng cường hơn nữa tính an toàn kinh tế của hệ thống.

Trong tương lai, chúng tôi hy vọng sẽ thấy nhiều dự án như EigenLayer và Lumoz xuất hiện hơn, giải quyết các thách thức blockchain hiện tại, giải quyết thực sự các điểm khó khăn của người dùng cũng như tích cực khám phá và thử các giải pháp hiệu quả và an toàn hơn. Điều này cuối cùng sẽ thúc đẩy sự tiến bộ và thịnh vượng của toàn bộ ngành.