Bằng chứng không có kiến thức (ZKP) là một công cụ thay đổi cuộc chơi trong mật mã, cho phép một bên chứng minh sự thật của tuyên bố mà không tiết lộ thông tin cơ bản. Tuy nhiên, việc tạo ZKP là một quá trình tốn kém, tốn nhiều tài nguyên. Các nhà phát triển phải đối mặt với thách thức tìm nguồn cung ứng, triển khai và duy trì cơ sở hạ tầng tốn kém thường không được sử dụng đúng mức. Sự kém hiệu quả này làm tăng chi phí người dùng và làm chậm việc áp dụng, làm cho các giải pháp dựa trên ZKP khó tiếp cận hơn.

Fermah giải quyết vấn đề này với lớp tạo bằng chứng phổ quát của nó. Được thiết kế để làm cho ZKP nhanh hơn, rẻ hơn và đáng tin cậy hơn, Fermah loại bỏ tắc nghẽn cơ sở hạ tầng và tối ưu hóa việc sử dụng tài nguyên. Tận dụng công nghệ tiên tiến tạo ra trải nghiệm liền mạch cho các nhà phát triển và người dùng cuối. Cho dù bạn là nhà phát triển blockchain, một công ty bảo mật dữ liệu hay một cá nhân đang tìm kiếm quyền riêng tư, Fermah làm cho việc tạo ZKP có thể truy cập và hiệu quả.

Fermah là gì?

Fermah là một nền tảng tạo ra chứng minh toàn cầu có khả năng biến đổi cách tạo và sử dụng các chứng minh không có kiến thức. Nó hoạt động như một cây cầu giữa các nhà phát triển cần ZKP và cơ sở hạ tầng mạnh mẽ cần thiết để tạo ra chúng. Về cơ bản, Fermah loại bỏ các rào cản kỹ thuật và tài chính mà đã gây khó khăn cho không gian ZKP trong một thời gian dài, đưa ra một giải pháp hiệu quả cho việc tạo ra chứng minh.

Sứ mệnh và tầm nhìn của Fermah

Nhiệm vụ của Fermah là dân chủ hóa công nghệ ZKP, đảm bảo rằng các nhà phát triển và doanh nghiệp có thể tiếp cận các giải pháp giá cả phải chăng, nhanh chóng và đáng tin cậy. Tầm nhìn của nó là trở thành xương sống của thế hệ ZKP, trao quyền cho các ứng dụng toàn cầu về quyền riêng tư, khả năng mở rộng và bảo mật mà không bị ràng buộc bởi cơ sở hạ tầng nặng về tài nguyên.

Công nghệ đằng sau Fermah

Kiến trúc Fermah được xây dựng trên các công nghệ mật mã tiên tiến và một cơ sở hạ tầng phi tập trung mạnh mẽ, được thiết kế để tối ưu hóa việc tạo ra Các Chứng minh không tri thức (ZKP) cho nhiều ứng dụng khác nhau. Nền tảng này tích hợp các công cụ mật mã tiên tiến như phần mềm trung gian EigenLayer cùng với mạng Matchmaker ngang hàng, giúp phân bổ tài nguyên tính toán một cách hiệu quả. Nền tảng được thiết kế để hỗ trợ nhiều hệ thống chứng minh, đảm bảo tính tương thích mượt mà với các trường hợp sử dụng đa dạng, từ xác minh blockchain đến truyền dữ liệu an toàn.

Các thành phần của Fermah

Ở cốt lõi của Fermah, có ba thành phần cơ bản: Seekers, Matchmaker và Operators. Mỗi thành phần đóng một vai trò riêng biệt trong kiến trúc tổng thể, đảm bảo việc tạo ra ZKP một cách mượt mà, đáng tin cậy và có khả năng mở rộng. Dưới đây là mô tả chi tiết về cách mà mỗi thành phần hoạt động và đóng góp vào hiệu suất hệ thống:

1. Người tìm kiếm

Seekers là các nhà phát triển hoặc thực thể yêu cầu tạo ra Zero-Knowledge Proofs. Những người này có thể bao gồm các dự án blockchain, doanh nghiệp hoặc thậm chí cá nhân muốn nâng cao tính riêng tư và bảo mật. Seekers gửi yêu cầu chứng minh thông qua nền tảng, chỉ định nhu cầu tính toán của họ và loại ZKP cần thiết. Sau khi yêu cầu của họ được xử lý, Seekers được kết nối với Operators phù hợp có tài nguyên cần thiết để hoàn thành việc tạo ra chứng minh.

1. Người môi giới

Matchmaker hoạt động như cái cầu giữa Người tìm kiếm và Người vận hành. Mạng ngang hàng này kết hợp các yêu cầu chứng minh từ Người tìm kiếm với các Người vận hành tương thích, tối ưu hóa phân bổ tài nguyên tính toán dựa trên tính sẵn có và thông số kỹ thuật phần cứng. Matchmaker đảm bảo rằng mỗi yêu cầu được phù hợp với một Người vận hành có thể xử lý nhiệm vụ trong thời hạn và thông số chi phí xác định. Vai trò của nó là rất quan trọng trong việc duy trì tính minh bạch, đáng tin cậy và hiệu quả trong toàn bộ quy trình, bởi vì nó theo dõi tình trạng của mỗi yêu cầu từ khi nộp đến khi hoàn thành.

1. Người vận hành

Nhà điều hành là nhà cung cấp cơ sở hạ tầng thực hiện các tính toán chứng minh thực tế. Những người này có thể đến từ các nhà cung cấp phần cứng cá nhân đến các trung tâm dữ liệu quy mô lớn cung cấp tài nguyên dựa trên đám mây. Nhà điều hành chịu trách nhiệm thực hiện các nhiệm vụ tính toán liên quan đến tạo ra ZKP cần thiết. Họ cam kết tài nguyên phần cứng của họ trong các giai đoạn xác định trước, và qua đó, họ đóng góp vào sự an toàn và đáng tin cậy tổng thể của mạng lưới. Mô hình phân phối này đảm bảo một chuỗi cung ứng chứng minh đa dạng và phân tán, ngăn chặn các ch bottlenecks và thúc đẩy tính dư thừa.

Triển khai Hệ thống Chứng minh

Fermah sử dụng các bộ chứa Docker để đóng gói các hệ thống bằng chứng, sau đó được lưu trữ tại các URL Mạng phân phối nội dung (CDN). Thiết lập này cho phép Người vận hành truy cập các hệ thống bằng chứng cần thiết một cách nhanh chóng và thực hiện chúng với độ trễ tối thiểu, đảm bảo nền tảng hoạt động với hiệu quả cao. Khi Người tìm kiếm gửi Yêu cầu Bằng chứng của họ, hệ thống sẽ xác minh các yêu cầu này, khớp chúng với Nhà khai thác phù hợp và xử lý chúng trong khung thời gian quy định. Matchmaker liên tục theo dõi và theo dõi tiến độ của từng yêu cầu, đảm bảo trách nhiệm giải trình và thực hiện liền mạch.

Mô hình kinh tế

Hơn nữa, Fermah sử dụng mô hình đặt cọc phi tập trung của EigenLayer, giúp tăng cường an ninh kinh tế cho mạng của nó. Các nhà khai thác đặt cược tài nguyên của họ trong các khoảng thời gian được chỉ định, đảm bảo họ vẫn cam kết với hệ thống và hiệu suất của nó. Mô hình đặt cọc này làm tăng niềm tin vào nền tảng và cung cấp một cơ chế để thưởng cho các Nhà khai thác, điều chỉnh các ưu đãi cho cả hai bên. Bản chất phi tập trung của hệ thống góp phần vào độ tin cậy của nó và giảm chi phí hoạt động liên quan đến việc tạo ZKP, giúp các nhà phát triển và doanh nghiệp dễ tiếp cận hơn.

Fermah hoạt động như thế nào?

Quy trình làm việc của Fermah được thiết kế để hiệu quả, an toàn và minh bạch, đảm bảo việc tạo Zero-Knowledge Proof (ZKP) một cách mượt mà. Nền tảng này đơn giản hóa quá trình phức tạp của việc tạo ZKP thông qua một hệ thống có cấu trúc bao gồm ba thành phần chính: Seekers, Matchmaker và Operators. Dưới đây là cái nhìn cận cảnh về cách quá trình diễn ra:

Gửi Yêu Cầu Chứng Thực

Hành trình bắt đầu khi Người tìm kiếm, dù là nhà phát triển, dự án blockchain, hoặc doanh nghiệp, gửi Yêu cầu Chứng minh của họ qua một máy chủ JSON-RPC. Những yêu cầu này bao gồm các chi tiết tính toán cụ thể, như loại ZKP cần thiết và các tham số liên quan đến nhiệm vụ. Ngoài ra, Người tìm kiếm cung cấp liên kết đến các hệ thống chứng minh liên quan sẽ được sử dụng để tạo ra các chứng minh. Bước này đảm bảo rằng tất cả thông tin cần thiết được thu thập từ đầu và sẵn sàng cho việc xử lý, cho phép hệ thống phân bổ tài nguyên một cách hiệu quả.

Phân công nhiệm vụ

Sau khi Yêu cầu Bằng chứng được gửi, Người mai mối sẽ tiếp quản. Trước tiên, nó xác minh tính đủ điều kiện của Người tìm kiếm, đảm bảo họ đáp ứng các yêu cầu của nền tảng để sử dụng dịch vụ. Sau đó, Matchmaker giao nhiệm vụ cho một Nhà điều hành thích hợp. Việc phân bổ dựa trên khả năng tương thích phần cứng và tính sẵn có của tài nguyên. Người mai mối đảm bảo rằng Nhà điều hành được chọn có sức mạnh tính toán để thực hiện việc tạo bằng chứng trong khung thời gian yêu cầu. Quá trình kết hợp thông minh này giúp cân bằng tải mạng và đảm bảo rằng tài nguyên được phân bổ hiệu quả.

Tạo bằng chứng

Sau khi nhiệm vụ được giao, Người vận hành bắt đầu quá trình tạo bằng chứng. Các nhà khai thác tải xuống các hệ thống bằng chứng cần thiết từ các URL CDN, mà Fermah lưu trữ để đảm bảo truy cập nhanh chóng và đáng tin cậy. Với các hệ thống bằng chứng cần thiết trong tay, Nhà điều hành sử dụng tài nguyên tính toán của họ để tạo ra bằng chứng theo yêu cầu của Người tìm kiếm. Toàn bộ quá trình tuân thủ các thông số do Người tìm kiếm đặt ra, đảm bảo rằng các bằng chứng đáp ứng các tiêu chí mong đợi về độ chính xác và hiệu suất.

Kết quả giao hàng

Sau khi bằng chứng được tạo thành công, kết quả được gửi đến Người tìm kiếm thông qua URL gọi lại được chỉ định của họ. Điều này đảm bảo rằng Người tìm kiếm nhận được bằng chứng hoàn chỉnh một cách trực tiếp và kịp thời. Nếu, vì bất kỳ lý do gì, bằng chứng không thể được tạo ra trong thời hạn xác định, yêu cầu được đánh dấu là bị từ chối. Biện pháp bảo vệ này đảm bảo rằng nền tảng duy trì tiêu chuẩn dịch vụ và độ tin cậy cao, ngăn chặn việc tạo bằng chứng không đầy đủ hoặc bị trì hoãn được chấp nhận.

Theo dõi và Đáng tin cậy

Trong toàn bộ quá trình, Matchmaker đóng một vai trò quan trọng trong việc theo dõi trạng thái của từng yêu cầu. Người tìm kiếm có thể theo dõi các yêu cầu của họ trong thời gian thực, đảm bảo tính minh bạch và tin cậy hoàn toàn trong hệ thống. Ngoài ra, các Nhà khai thác cam kết tài nguyên của họ trong tối thiểu 500 khối, khoảng hai giờ, đảm bảo rằng họ vẫn tham gia và dành riêng cho nhiệm vụ. Cam kết này cung cấp sự ổn định cho mạng và đảm bảo rằng các tài nguyên luôn có sẵn để tạo bằng chứng. Bằng cách theo dõi các yêu cầu và đảm bảo cung cấp bằng chứng kịp thời, Fermah duy trì mức độ tin cậy và trách nhiệm giải trình cao cho cả Người tìm kiếm và Người vận hành.

Các tính năng chính của Fermah

Thế hệ bằng chứng phổ quát

Fermah hỗ trợ một loạt các hệ thống chứng minh Zero-Knowledge, bao gồm zkVMs, zkEVMs, Groth16 và nhiều giao thức khác. Sự hỗ trợ thông dụng này khiến Fermah rất linh hoạt trong các ngành công nghiệp và trường hợp sử dụng khác nhau, đảm bảo tương thích với nhiều tiêu chuẩn mật mã. Tính linh hoạt này cho phép Fermah phục vụ một loạt các giải pháp blockchain, quyền riêng tư và bảo vệ dữ liệu ngày càng phong phú. Tính năng này là cốt lõi của nền tảng Fermah, cho phép người dùng tạo ra chứng minh trên một loạt các hệ thống chứng minh với hiệu suất và đáng tin cậy vô song.

Các Khía Cạnh Quan Trọng của Việc Tạo Ra Bằng Chứng Phổ Quát

1. Trung lập và bao quát đáng tin cậy: Fermah được thiết kế để hỗ trợ tất cả các hệ thống chứng minh chính, bao gồm zkVMs, zkEVMs, Groth16 và nhiều hơn nữa. Sự trung lập này đảm bảo người dùng có thể lựa chọn hệ thống chứng minh phù hợp nhất cho nhu cầu cụ thể của họ mà không bị khóa vào một công nghệ duy nhất.

2. Mô hình Marketplace: Nền tảng hoạt động như một thị trường, với phía cung cấp bao gồm các máy hiệu suất cao như GPU và FPGA. Những tài nguyên này được kết hợp với nhu cầu từ người dùng cần bằng chứng ZK cho các ứng dụng khác nhau, như zkRollups, ZK bridges và các giải pháp tập trung vào quyền riêng tư.

3. Hiệu quả chi phí và hiệu suất: Fermah được tối ưu hóa để tạo ra các bằng chứng hiệu quả về chi phí và hiệu suất cao. Người dùng có thể điều chỉnh các thông số để cân bằng giữa giá cả và hiệu suất, đảm bảo rằng việc tạo bằng chứng đáp ứng các yêu cầu tài chính và hoạt động của họ.

4. Sự phức tạp trừu tượng: Một trong những mục tiêu chính của Fermah là trừu tượng hóa sự phức tạp liên quan đến các bằng chứng ZK. Bằng cách cung cấp giao diện thân thiện với người dùng và các mô hình định giá có thể dự đoán được, Fermah giúp các nhà phát triển và doanh nghiệp dễ dàng tích hợp các bằng chứng ZK vào các dự án của họ mà không cần chuyên môn sâu về mật mã.

5. Khả năng mở rộng và đáng tin cậy: Nền tảng được thiết kế để xử lý các nhiệm vụ tạo bằng chứng quy mô lớn một cách đáng tin cậy. Khả năng mở rộng này là rất quan trọng đối với các ứng dụng yêu cầu lượng lớn bằng chứng, đảm bảo Fermah có thể đáp ứng yêu cầu của cả dự án nhỏ và doanh nghiệp lớn.

ZK Bazaar: Thị trường phi tập trung

Fermah hoạt động như một thị trường kết nối nguồn cung cấp tài nguyên tính toán với nhu cầu của ZKPs. Mặt cung cấp bao gồm GPUs và FPGAs có thể xử lý yêu cầu tạo chứng minh. Ứng dụng phía nhu cầu yêu cầu công nghệ Zero-Knowledge, như giao dịch bảo mật hoặc xác nhận blockchain có thể gửi yêu cầu chứng minh. Fermah Matchmaker đảm bảo rằng các yêu cầu được kết hợp với các Nhà điều hành phù hợp nhất, tối ưu hóa chi phí và hiệu suất.

Tạo chứng minh ZK rẻ, nhanh và đáng tin cậy

Kiến trúc của Fermah được tối ưu hóa để cung cấp thế hệ ZKP nhanh chóng và tiết kiệm chi phí, giúp các nhà phát triển và doanh nghiệp đang tìm kiếm giải pháp có thể mở rộng có thể truy cập được. Khả năng xử lý bằng chứng nhanh chóng của nền tảng, trong khi vẫn duy trì độ tin cậy, khiến nó trở thành lựa chọn lý tưởng cho các ứng dụng trong đó việc tạo bằng chứng nhạy cảm với thời gian là rất quan trọng.

Giá cả và hiệu suất có thể tùy chỉnh

Fermah cung cấp cho nhà phát triển khả năng điều chỉnh sự cân nhắc giữa giá cả và hiệu suất. Bằng cách điều chỉnh cân bằng này, người dùng có thể tối ưu hóa Yêu cầu Chứng minh của mình dựa trên nhu cầu cụ thể của dự án. Tính năng tùy chỉnh này giúp Fermah trở thành một giải pháp linh hoạt cho cả các dự án quy mô nhỏ và các doanh nghiệp lớn.

Ủy quyền chứng minh được bảo vệ dữ liệu (Sẽ ra mắt sớm)

Fermah được thiết lập để giới thiệu Ủy quyền chứng minh được bảo vệ dữ liệu, một tính năng thú vị sẽ tăng cường quyền riêng tư bằng cách đảm bảo rằng dữ liệu nhạy cảm không bị lộ trong quá trình tạo bằng chứng. Tính năng này sẽ có giá trị cho các dự án trong các lĩnh vực như chăm sóc sức khỏe, tài chính và thông tin liên lạc an toàn.

Các trường hợp sử dụng của Fermah

Xác minh Blockchain và Giao dịch Bảo vệ Sự riêng tư

Fermah là một lựa chọn hoàn hảo cho các ứng dụng dựa trên blockchain yêu cầu tính riêng tư và khả năng mở rộng. Bằng cách sử dụng ZKP, mạng lưới blockchain có thể xác minh giao dịch mà không tiết lộ thông tin nhạy cảm. Nhờ Fermah, các nhà phát triển có thể dựa vào để nhanh chóng tạo ra các chứng minh cần thiết cho xác minh giao dịch, làm cho nó trở thành một người chơi quan trọng trong các dự án tài chính phi tập trung (DeFi) và các dự án blockchain tập trung vào quyền riêng tư.

Xử lý dữ liệu bảo mật

Với nhu cầu chia sẻ dữ liệu an toàn ngày càng tăng, Fermah cung cấp một cách hiệu quả để thực hiện tính toán trên dữ liệu được mã hóa, đảm bảo quyền riêng tư. Nó cho phép tính toán an toàn cho các ngành công nghiệp như chăm sóc sức khỏe và tài chính, nơi thông tin nhạy cảm cần được giữ riêng tư trong khi vẫn được xử lý hoặc phân tích.

Chuỗi cung ứng và xác thực danh tính

Sự linh hoạt của Fermah cũng được mở rộng sang các ngành công nghiệp như quản lý chuỗi cung ứng và xác minh danh tính. Chứng minh không biết thông tin cho phép kiểm tra danh tính an toàn và hiệu quả hoặc theo dõi sản phẩm trong chuỗi cung ứng mà không tiết lộ dữ liệu nhạy cảm, đảm bảo tính minh bạch và riêng tư.

Fermah’s Devnet

Devnet của Fermah đóng vai trò là nền tảng cho giai đoạn thử nghiệm và phát triển của nó. Đây là một mạng được phép được thiết kế để kết nối Người tìm kiếm và Nhà khai thác trong một môi trường được kiểm soát, an toàn, cho phép hai bên cộng tác trong việc gửi Yêu cầu Bằng chứng và tạo bằng chứng. Devnet đã hoạt động và mở cho các Nhà khai thác EigenLayer, những người có thể chọn tham gia để bắt đầu xử lý Yêu cầu Bằng chứng. Giai đoạn này rất quan trọng để tinh chỉnh các thành phần của nền tảng và đảm bảo chức năng trơn tru trước khi phát hành công khai.

Các tính năng chính của Fermah's Devnet

• Developer Toolkit: Fermah cung cấp một SDK mạnh mẽ, đơn giản hóa quá trình gửi yêu cầu chứng minh cho các nhà phát triển. Bộ công cụ này tối ưu hóa chu kỳ phát triển và nâng cao tính sử dụng bằng cách cung cấp các công cụ được cấu hình trước.
• Hình ảnh Docker đã được xây dựng trước: Các nhà điều hành có thể truy cập vào các hình ảnh Docker đã được xây dựng trước, giảm độ phức tạp của quá trình cài đặt. Những hình ảnh này đảm bảo rằng các nhà điều hành có thể dễ dàng cấu hình hệ thống của họ để tạo ra các bằng chứng mà không cần cài đặt thêm.
• Quyền Truy Cập Được Phép: Devnet hoạt động dưới mô hình quyền truy cập được phép, đảm bảo chất lượng và đáng tin cậy trong giai đoạn thử nghiệm này. Kiểm soát truy cập cho phép Fermah quản lý mạng một cách hiệu quả và đảm bảo rằng chỉ các bên tin cậy mới tham gia.

Devnet được cập nhật thường xuyên để tích hợp phản hồi từ nhà phát triển và cải tiến chức năng. Khi hệ thống tiến triển, Devnet sẽ bao gồm các tính năng mới để tăng cường hiệu quả và tính mở rộng. Nhà phát triển được khuyến khích theo dõi bảng điều khiển Devnet một cách tích cực để cập nhật thông tin về các cập nhật và tính năng mới nhất, đóng góp vào việc cải tiến liên tục của nền tảng. Môi trường kiểm thử phối hợp này làm cho Fermah trở thành một nền tảng đáng tin cậy và có tính mở rộng cho việc tạo ra các chứng minh không có kiến thức.

Tham gia Devnetở đây.

Quỹ Fermah

Fermah vừa mới hoàn tất vòng gọi vốn hạt giống 5,2 triệu đô la vào ngày 17 tháng 9 năm 2024, do a16z CSX và Lemniscap đồng loạt dẫn đầu, với sự tham gia của các nhà đầu tư nổi tiếng như Bankless Ventures, Longhash Ventures, P-OPS Team và ZK Validator. Các cá nhân nổi tiếng tham gia với tư cách nhà đầu tư thiên thần, bao gồm Balaji Srinivasan, Sandeep Nailwal và Mustafa Al-Bassam. Khoản đầu tư này được hướng vào phát triển sản phẩm và mở rộng đội ngũ để củng cố thị trường tạo chứng từ của họ.

Nhóm Fermah

Fermah được dẫn dắt bởi Vanishree Rao, một nhà mật mã học với hơn 15 năm kinh nghiệm trong Zero-Knowledge Proofs (ZKPs). Trước đó, bà đã từng làm việc tại O(1) Labs với vai trò là Người dẫn đầu về Mật mã, đội ngũ đứng sau Giao thức Mina. Chuyên môn về mật mã của Vanishree đóng vai trò quan trọng trong sự phát triển của Fermah.

Hỗ trợ cô là Pranit Garg, Giám đốc tiếp thị (CMO), người mang chuyên môn tiếp thị của mình đến nhóm. Cùng nhau, họ nhằm mục đích làm cho công nghệ ZK dễ tiếp cận và có thể mở rộng hơn. Khoản tài trợ hiện tại sẽ giúp củng cố cơ sở hạ tầng ZKP của Fermah và hỗ trợ mở rộng đội ngũ hơn nữa.

Kết luận

Fermah đang thay đổi cảnh quan của việc tạo ra chứng minh không hiểu biết bằng cách làm nó nhanh hơn, rẻ hơn và đáng tin cậy hơn. Lớp tạo ra chứng minh toàn cầu của nó loại bỏ các rào cản kỹ thuật và tài chính, cho phép các nhà phát triển tập trung vào sáng tạo. Dù bạn là một nhà phát triển blockchain, một người ủng hộ quyền riêng tư hay một doanh nghiệp tận dụng các công cụ mật mã, Fermah cung cấp cơ sở hạ tầng cần thiết để mở khóa tiềm năng đầy đủ của chứng minh không hiểu biết.