Lumoz ra mắt zkProver và zkVerifier dựa trên EigenLayer
星球君的朋友们
2024-05-22 09:23
本文约3189字,阅读全文需要约13分钟
Vào ngày 22 tháng 5, Lumoz đã công bố ra mắt zkProver và zkVerifier dựa trên EigenLayer, điều này không chỉ nâng cao đáng kể hiệu quả tính toán và xác minh mà còn đảm bảo hiệu quả tính bảo mật và lợi nhuận của toàn bộ quy trình dịch vụ thông qua cơ chế cam kết lại của EigenLayer.

Mặc dù gần đây đã vướng vào các tranh cãi về airdrop nhưng không còn nghi ngờ gì nữa, EigenLayer đã trở thành dự án ngôi sao được theo dõi nhiều nhất vào năm 2024 với cơ chế đặt cược lại. Thu nhập vượt trội của nó không chỉ giúp TVL tăng vọt mà còn cho phép người dùng dứt khoát rút khỏi vòng xoáy Golden Dog Meme và trả lại tiền cũng như niềm tin cho hệ sinh thái Ethereum.

Tính đến thời điểm viết bài , ETH TVL của EigenLayer đã vượt quá 5 triệu ETH, số lượng token Eigen cam kết vượt quá 54 triệu và số lượng AVS ( Dịch vụ được xác thực tích cực ) và Nhà điều hành đang hoạt động lần lượt là 11 và 251. Hiện tại, hệ sinh thái của EigenLayer cũng đang bùng nổ và hơn 20 nhà lãnh đạo đường đua như Lumoz, Espresso, Near và Dodo cũng đã tham gia.

Trong một thời gian, một cuộc cách mạng đã bắt đầu xung quanh ETH và với sự trợ giúp của Eigenlayer, định hình lại tính bảo mật và lợi nhuận của blockchain.

Bài viết này sẽ lấy Lumoz làm ví dụ để khám phá sâu hơn chuỗi khám phá kỹ thuật của dự án trên EigenLayer, từ đó thúc đẩy hơn nữa tiến bộ công nghệ của Ethereum và thậm chí toàn bộ ngành công nghiệp blockchain.

1. Lumoz công bố ra mắt lớp điện toán AVS dựa trên EigenLayer

Với tư cách là người dẫn đầu lớp sức mạnh điện toán mô-đun và ZKRass, Lumoz không chỉ hoạt động tốt trên thị trường vốn mà còn tiếp 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 thông báo hoàn thành cấp vốn Pre-A (định giá hiện tại lên tới 300 triệu USD), sau đó công bố hỗ trợ kiến trúc Lớp 2 của Op Stack + ZK Fraud Proof, mở ra một mô hình kiến trúc L2 mới .

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

ZkProver của Lumoz tập trung vào việc tạo ra các 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 làm rò rỉ dữ liệu cụ thể. Thông qua các tài nguyên điện toán mạnh mẽ, zkProver có thể nhanh chóng tạo ra các 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. 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 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 minh. Cơ chế xác minh hai yếu tố 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 và giải quyết các vấn đề về niềm tin cũng như gánh nặng chi phí vốn bằng cách cung cấp AVS.

Bằng cách tích hợp các tài nguyên điện toán mạnh mẽ với cơ chế cam kết lại của EigenLayer, Lumoz tạo ra một hệ sinh thái dịch vụ điện 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 ngành.

2. Lớp điện toán Lumoz

Kiến trúc lớp điện 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 sau:

Nó chủ yếu bao gồm các phần sau:

  • Ethereum: Sử dụng tiêu chuẩn EigenLayer để xây dựng Dịch vụ xác minh hoạt động (AVS). Sử dụng cơ chế đặt cược mã thông báo 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 của Máy ảo Ethereum (EVM), bao gồm nhưng không giới hạn ở Polygon zkEVM, Polygon CDK, ZKStack và Scroll, v.v., đả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 dữ liệu từ chuỗi tương thích EVM, đảm bảo tính sẵn sàng và toàn vẹn cao của dữ liệu, đồng thời cung cấp nền tảng dữ liệu vững chắc cho lớp điện toán

  • Chuỗi Lumoz: Là lớp quản lý cốt lõi của toàn bộ lớp điện toán, 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 quy trình tham gia và thoát nút.

  • zkProver: Nút thực hiện các tác vụ tính toán cụ thể

  • zkVerifier: Nút xác minh để xác minh 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 điện toán Lumoz không chỉ cung cấp môi trường điện toán an toàn và hiệu quả mà còn đặt nền tảng vững chắc cho việc mở rộng và nâng cấp trong tương lai thông qua thiết kế mô-đun.

3. Những vấn đề nào có thể được giải quyết?

3.1 Yêu cầu về sức mạnh tính toán quy mô lớn

Cơ sở hạ tầng đám mây do Lumoz cung cấp cung cấp sự hỗ trợ mạnh mẽ cho các phép tính chứng minh không có kiến thức. Sự hỗ trợ này rất quan trọng đối với ZK-Rollups vì ZK-Rollups là một giải pháp mở rộng quy mô blockchain hoạt động bằng cách thực hiện các giao dịch ngoài chuỗi và sử dụng ZKP để chứng minh tính hợp lệ của các giao dịch, sau đó gửi các bằng chứng này đến chuỗi để giảm tải cho chuỗi. chuỗi chính và cải thiện 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, chẳng hạn như Polygon CDK, zkSync, StarkNet và Scroll, v.v. Đ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 yêu cầu mỗi nền tảng phải xây dựng cơ sở hạ tầng riêng.

  • Thuật toán ZK-PoW: Lumoz kết hợp tài nguyên điện toán của thợ đào và cơ sở hạ tầng đám mây, đồng thời thông qua thuật toán ZK-PoW (Bằng chứng công việc không có kiến thức), thợ mỏ có thể đóng góp sức mạnh tính toán của mình để 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 ZKP, hiệu suất tính toán có thể được cải thiện đáng kể vì nhiều tác vụ tính toán có thể được thực hiện đồ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 có thể làm 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: Giao tiếp mạng được cải thiện có thể giảm thời gian truyền dữ liệu và cải thiện tốc độ phản hồi tổng thể của hệ thống.

  • Hiệu quả về chi phí: Thông qua các tối ưu hóa ở trên, Lumoz có thể giảm chi phí tính toán ZKP, giúp các giải pháp sử dụng ZK-Rollups tiết kiệm chi phí hơn.

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 điện toán ZKP, giúp thúc đẩy sự phát triển và ứng dụng công nghệ blockchain.

3.2 Giảm gas bằng chứng zk

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

  • Tích hợp bằng chứng đa nguồn: zkVerifier có thể tích hợp bằng chứng từ nhiều nguồn khác nhau và hỗ trợ nhiều tình huống ứng dụng bằng chứng 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ó cung cấp cho các dự án và ứng dụng khác nhau khả năng tận 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ế cẩn thận, zkVerifier giảm đáng kể chi phí gas khi gửi bằng chứng, mang lại 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 của các tính năng chứng minh: zkVerifier thể hiện khả năng thích ứng với các tính năng chứng minh được tạo ra bởi các hệ thống chứng minh khác nhau, bao gồm kích thước chứng minh, thời gian xác minh và logic xác minh. Khả năng thích ứng này là trọng tâm của việc đả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ế một chiến lược phát hành tùy chỉnh, giúp tối ưu hóa việc sử dụng tài nguyên trên chuỗi và đảm bảo phân phối bằng chứng hiệu quả, giúp giảm tắc nghẽn mạng và tăng tốc độ giao dịch.

  • Triển khai trình xác thực chuyên dụng: zkVerifier triển khai trình xác thực chuyên dụng, đây là cơ chế chính để đảm bảo tính hợp lệ của bằng chứng. Những trình xác thực này đảm bảo rằng chỉ những bằng chứng đã được xác minh mới đượ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ó của dữ liệu: Lớp sẵn có của 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 và Ethereum tạo ra bằng chứng xác minh. Bước này là chìa khóa để đảm bảo khả năng tương tác và tin cậy giữa các chuỗi, giúp zkVerifier tích hợp với các khối chính như mạng Chuỗi Ethereum cho phép cộng tác liền mạch.

  • 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 quan trọng để 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 tiến bộ đáng kể trong việc nâng cao hiệu quả, giảm chi phí và nâng cao 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ô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 cụ thể

4.1 zkProver

zkProver là thành phần cốt lõi để tạo ra các bằng chứng không có kiến thức. ZKP cho phép người chứng minh chứng minh tính đúng đắn của một khẳng đị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 trình chứng minh, chẳng hạn như zkRollup Prover, zkFraud Prover và zkML Prover, mỗi loại được tối ưu hóa cho các tác vụ điện toán cụ thể để đảm bảo hiệu suất và hiệu quả hệ thống tốt nhất trong một miền cụ thể.

quá trình làm việc:

  • Thu thập nhiệm vụ: Các mô-đun Lumoz AVS Oracle và Dispatch thu thập các nhiệm vụ từ chuỗi khối và đồng bộ hóa chúng với Chuỗi Lumoz. Các nhiệm vụ này là các xác nhận hoặc tính toán cần được chứng minh.

  • Phân bổ nhiệm vụ: Nhiệm vụ được giao cho các Prover khác nhau thông qua mô-đun Dispatch. Dispatch với vai trò là trung tâm điều độ nhiệm vụ sẽ quyết định loại Prover nào phù hợp nhất để xử lý công việc dựa trên tính chất và yêu cầu của công việc. Mô-đun Dispatch phân bổ tài nguyên máy tính một cách linh hoạt thông qua các thuật toán thông minh và 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 trọng nhiệm vụ và hiệu suất của từng Prover để đảm bảo hệ thống hoạt động ổn định trong thời gian có nhu cầu cao.

  • Tạo bằng chứng:

  • zkRollup Prover: Tập trung vào xử lý các bằng chứng liên quan đến nén hàng loạt giao dịch, thích hợp để cải thiện tốc độ xử lý và khả năng mở rộng của blockchain.

  • zkFraud Prover: Được sử dụng để tạo bằng chứng gian lận có thể giúp phát hiện và ngăn chặn hành vi không đúng đắn.

  • zkML Prover: Xử lý đặc biệt các bằng chứng phức tạp liên quan đến xác minh mô hình học máy, xác minh đầu ra của 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ó

  • Other Prover: Prover khác được sử dụng cho các bằng chứng cụ thể

4. Gửi bằng chứng: Bằng chứng được tạo sẽ được gửi đến Lumoz Chain để 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 thực 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 tới chuỗi và đảm bảo 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.

quá trình làm việc:

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

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

  • Ra quyết định tập thể: ít nhất 2/3 số nút xác minh xác nhận rằng bằng chứng là hợp lệ, đảm bảo thẩm quyền và tính nhất quán của kết quả xác minh

  • Xử lý kết quả xác minh: Bằng chứng hợp lệ và kết quả của nó được Lumoz AVS Oracle gửi trở lại kho lưu trữ Hợp đồng Chứng minh Lumoz của chuỗi khối và kết quả nhiệm vụ được ghi lại và phản hồi cho Chuỗi Lumoz thông qua Hợp đồng Trình quản lý tác vụ.

5. Tóm tắt

Lumoz đã công bố ra mắt zkProver và zkVerifier dựa trên EigenLayer, điều này không chỉ nâng cao đáng kể hiệu quả tính toán và xác minh mà còn đảm bảo hiệu quả tính bảo mật và lợi nhuận của toàn bộ quy trình dịch vụ thông qua cơ chế cam kết lại của EigenLayer. Thông qua 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ụ điện toán khác nhau để đạt được hiệu suất và hiệu quả tối ưu. Đồng thời, thông qua cơ chế tái thế chấp, Lumoz mang lại lợi ích đáng kể cho người cầm cố, nâng cao hơn nữa tính an toàn kinh tế của hệ thống.

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

星球君的朋友们
作者文库