Là một nhà đầu tư tiền điện tử dày dạn kinh nghiệm với thiên hướng theo kịp những tiến bộ công nghệ trong không gian blockchain, tôi nhận thấy khoản đầu tư hàng chục triệu gần đây của Ethereum Foundation (EF) vào Máy ảo không kiến thức (zkVM) là một sự phát triển thú vị. Với nhiều năm kinh nghiệm, tôi có thể chứng thực tầm quan trọng của khả năng mở rộng và bảo mật trong bất kỳ hệ sinh thái tiền điện tử nào.
Tổ chức Ethereum (EF) gần đây đã tiết lộ một cam kết tiền tệ đáng kể, dành “nhiều triệu” đô la cho sự tiến bộ của Máy ảo không kiến thức (zkVM), một công nghệ tiên tiến được kỳ vọng sẽ tăng cường cả khả năng mở rộng và bảo mật trong mạng Ethereum.
Justin Drake, một nhà nghiên cứu tại Ethereum Foundation, đã tiết lộ khoản đầu tư của họ bằng cách đăng trên X: “Ethereum Foundation đang đầu tư hàng chục triệu vào zkVM: đã xác minh-zkevm.org—bạn có thể tìm thấy xác minh chính thức của zkRISC-V tại poseidon-initiative. thông tin—phân tích mật mã của Poseidon có sẵn tại ethproofs.org—L2beat dành cho zkVM sẽ sớm sẵn sàng. Nếu bạn quan tâm đến việc đóng góp cho hàng hóa công cộng liên quan đến zkVM, vui lòng liên hệ. nhắn tin cho tôi!
Quỹ Ethereum đầu tư hàng triệu đô la vào nghiên cứu zkEVM
Trọng tâm của khoản đầu tư này là Dự án xác minh chính thức zkEVM, được giải thích đầy đủ trên verify-zkevm.org. Dự án này nhằm mục đích kết hợp các kỹ thuật xác minh chính thức vào zkEVM, từ đó nâng cao độ tin cậy và bảo mật của chúng. Theo bản tóm tắt dự án, Ethereum Foundation (EF) cố gắng tạo ra các zkEVM “không có lỗi” bằng cách cấp vốn và phần thưởng trong thời gian 18-24 tháng, trải qua nhiều giai đoạn khác nhau.
Dự án tập trung vào việc giáo dục mọi người về việc triển khai các kỹ thuật xác minh trong zkEVM, ghi lại việc sử dụng chúng và khuyến khích áp dụng nhiều hơn. Hơn nữa, nó tìm cách cải thiện sự hợp tác giữa các nhóm khác nhau trong mạng, tạo ra các công cụ và tiêu chuẩn để quản lý và mở rộng, đồng thời khám phá các cách kết hợp liền mạch các phương pháp xác minh chính thức vào quy trình phát triển và bảo trì phần mềm.
Dự án zkVM RISC-V: Tập trung vào việc xác thực việc triển khai xác thực CPU RISC-V, các phép tính số học và thiết kế mạch. Nó ưu tiên duy trì các ràng buộc của mạch không quá lỏng lẻo cũng không quá nghiêm ngặt và các phép tính phải chính xác. Việc xác minh chính thức mã biên dịch trước cũng được kết hợp.
Theo dõi xác minh EVM: Nhằm mục đích chứng minh rằng Máy ảo Ethereum (EVM) hoạt động trên kiến trúc RISC-V tuân theo các thông số kỹ thuật EVM. Những người tham gia xác minh phải cung cấp các triển khai EVM hiệu quả và có thể biên dịch tương thích với các zkVM RISC-V, như revm/Reth.
Lĩnh vực mật mã: Nhằm mục đích xác thực các chi tiết cụ thể, bằng chứng toán học và ứng dụng thực tế của các thành phần và quy trình mật mã cơ bản, chẳng hạn như FRI và Circle STARK, được áp dụng trong zkVM, nhấn mạnh vào các quy trình tích hợp của chúng.
Dự án nhấn mạnh khả năng thích ứng trong các chiến lược tận dụng kiến thức cộng đồng và làm cho việc đánh giá các kỹ thuật đa dạng trở nên đơn giản hơn. Nói cách khác, chúng tôi sẽ khuyến khích và điều chỉnh các phương pháp khác nhau khi khả thi để tối đa hóa lượng kiến thức phong phú trong cộng đồng của chúng tôi. Hơn nữa, các phương pháp hiệu quả có thể được ưu tiên trong các giai đoạn tương lai.
Hiện tại, chúng tôi đang chấp nhận đơn đăng ký cho Giai đoạn 1, bao gồm việc tạo ra các cấu trúc mạnh mẽ và có thể mở rộng. Bài gửi của bạn phải chứa các phác thảo toàn diện, chiến lược kỹ thuật, chi tiết tổ chức dự án và thành phần nhóm.
Một khía cạnh quan trọng trong khoản đầu tư của EF liên quan đến Sáng kiến Poseidon, được trình bày chi tiết trên poseidon-initiative.info. Poseidon và Poseidon2 là các hàm băm được tối ưu hóa, được phát triển đặc biệt cho các quy trình tính toán có thể kiểm chứng được. Chúng được thiết kế để giảm kích thước mạch trên các trường nguyên tố. Các hàm băm chuyên dụng này đóng một vai trò quan trọng trong các ứng dụng Ethereum khác nhau dựa trên bằng chứng không có kiến thức.
Dự án này tập trung vào việc cải thiện đánh giá bảo mật của các phiên bản Poseidon, đánh giá khả năng tương thích của chúng đối với các ứng dụng quan trọng trong Ethereum. Giai đoạn đầu tiên của cam kết này tiếp tục cho đến tháng 12 năm 2025, trong khi giai đoạn thứ hai dự kiến sẽ bắt đầu vào giữa năm 2025 và kết thúc vào tháng 12 năm 2026. Nhóm Ethereum Foundation Poseidon (EFPG), do các chuyên gia như George Kadianakis, Dmitry Khovratovich và Antonio Sanso đứng đầu , giám sát dự án Một ban cố vấn gồm những nhân vật nổi bật như Eli Ben-Sasson từ StarkNet và Daira-Emma Hopwood từ ZCash sẽ đưa ra hướng dẫn cho sáng kiến này.
Một khía cạnh quan trọng của Sáng kiến Poseidon là chương trình khen thưởng mở rộng, cung cấp tổng số tiền lên tới 130.000 USD cho những thành tựu đột phá trong phân tích mật mã. Những phần thưởng này được phân phối trên các cấp bảo mật khác nhau trong nhiều nền tảng Poseidon, thúc đẩy các nhà nghiên cứu phát hiện ra điểm yếu hoặc xác nhận các giả thuyết bảo mật. Ví dụ: giải quyết thành công cuộc tấn công tiền ảnh 32 bit vào Poseidon-256 có thể mang lại cho nhà nghiên cứu 10.000 USD, trong khi mức độ bảo mật cao hơn mang lại phần thưởng tiềm năng lên tới 15.000 USD.
Hơn nữa, sáng kiến này khuyến khích các sự kiện như hội thảo, hội nghị và các tổ chức giáo dục tập trung vào nghiên cứu về mã hóa Poseidon. Những cuộc họp mặt này thúc đẩy tinh thần đồng đội và trao đổi thông tin trong lĩnh vực mật mã. Ngoài ra, các khoản tài trợ nghiên cứu ngắn hạn trị giá từ 20.000 đến 40.000 USD được cung cấp để giải quyết các vấn đề bảo mật khẩn cấp liên quan đến các biến thể của Poseidon, các cuộc tấn công cơ bản Groebner và các phương thức tấn công mới.
Cho đến khi ethproofs.org hoàn thành giai đoạn phát triển, người ta dự đoán rằng nó sẽ hoạt động như một trung tâm tích hợp liền mạch L2beat với Máy ảo không có kiến thức (zkVM). Sự tích hợp này được kỳ vọng sẽ tăng cường tính minh bạch và trách nhiệm giải trình về các khía cạnh hiệu suất và bảo mật của hoạt động zkVM.
Vào thời điểm viết bài, ETH được giao dịch ở mức 3.590 USD.
- Chillguy (CHILLGUY) Giá Memecoin giảm 20% do tuyên bố đạo văn
- Bẫy tăng giá là gì, được giải thích
- Zaria, diễn viên ‘PLL’ của Chandler Kinney nói rằng cô ấy ‘Đáng lẽ phải thắng’ DWTS
- Billy Bob Thornton dập tắt lửa trong đoạn giới thiệu mới cho ‘Landman’ của Taylor Sheridan: ‘Đàn ông chết, các công ty dầu mỏ thì không’
- Tài khoản Yat Siu X bị xâm phạm có thể là một phần của chuỗi vụ hack gần đây: ZachXBT
- Ngôi sao của Gladiator II Pedro Pascal khen ngợi Paul Mescal vì đã ‘thắp sáng’ các cảnh quay của anh ấy khi anh ấy thừa nhận bộ phim ‘không giống bất cứ điều gì anh ấy từng trải qua trước đây’
- Siêu mẫu thập niên 90 Georgina Cooper đột ngột qua đời ở tuổi 46, vài tháng sau đám cưới
- Stephen Colbert phản ứng với việc bổ nhiệm Nội các của Matt Gaetz và Tulsi Gabbard: Đây không phải là ‘Câu chuyện kỳ quặc, kinh ngạc mà tôi nghĩ mình sẽ dẫn đầu’ trong tối nay
- Ella Hooper trông không còn như thế này nữa! Ngôi sao Killing Heidi khoe diện mạo mới tuyệt đẹp tại Lễ trao giải Aria 2024 ở Sydney
- Adele kết thúc nơi cư trú tại Las Vegas với thông điệp đầy cảm xúc gửi con trai và chồng sắp cưới
2024-11-30 03:12