Hôm nay, chúng ta sẽ cùng nhau tìm hiểu về Fermah - layer tạo minh chứng toàn cầu (the universal proof generation layer)
Một Cuộc Chiến Cuối Cùng…
Sau 15 năm cống hiến cho việc thiết kế và xây dựng các minh chứng Zero-knowledge (ZKP), tôi nhận thấy rằng chúng ta đang ở một bước ngoặt. Công nghệ ZKP đã dần có đủ tính thực tiễn để phục vụ cho các ứng dụng hiện đại và rộng rãi. Tuy nhiên, vẫn còn một cuộc chiến cuối cùng cần phải đối mặt.
Trong cuộc chiến này, kẻ thù của chúng ta là sự phức tạp trong việc tạo ra minh chứng.
Việc tạo ra minh chứng rất tốn tài nguyên: nó cần cơ sở hạ tầng vật lý mạnh mẽ và đắt tiền. Đây là một rào cản đối với các nhà phát triển trong việc tìm kiếm, triển khai và duy trì cơ sở hạ tầng này. Ngay cả khi họ có thể làm được, hầu hết cơ sở hạ tầng này phần lớn thời gian không được sử dụng tới.
Việc tận dụng không tối ưu công suất của phần cứng này làm tăng giá mà người dùng phải trả cho các giao dịch ZKP của họ. Hơn nữa, việc thiết kế, triển khai và duy trì cấu trúc khuyến khích tối ưu cho cơ sở hạ tầng này là một nhiệm vụ rất to lớn.
Fermah Là Giải Pháp
Là một layer minh chứng toàn cầu, Fermah không ngại đứng lên đối mặt với thử thách.
Vai trò cung cấp
Fermah đóng vai trò như một thị trường cho việc tạo minh chứng ZK.
Phần cung cấp thị trường bao gồm các máy móc như GPU và FPGA. Ban đầu, phía cung cấp được khởi động bởi các Nhà điều hành EigenLayer.
Vai trò tiêu thụ
Fermah có thể tạo minh chứng cho bất kỳ trường hợp nào mà ZK được sử dụng.
Fermah đảm bảo tính trung lập và được thiết kế để hỗ trợ tất cả các hệ thống minh chứng. Điều này bao gồm zkVMs, zkEVMs, Groth16 và tất cả các hệ thống minh chứng khác. Nó được tối ưu hóa để tạo minh chứng ZK một cách tiết kiệm, nhanh chóng và đáng tin cậy.
https://fermah.netlify.app/assets/ferma-loop-videos/ferma-loop-1-glow.mp4
Fermah đóng vai trò như một thị trường cho việc tạo minh chứng ZK.
Cả hai vai trò cầu và cung đều được kết nối thông qua Fermah Matchmaker.
Mô Hình Bánh Đà Của Fermah ( Fermah Flywheel)
Việc tập hợp nhu cầu từ nhiều nguồn khác nhau giúp các nhà cung cấp tận dụng được lợi thế quy mô.
Các động lực thị trường này cho phép giảm chi phí tạo minh chứng. Kết quả là, phạm vi các trường hợp sử dụng có thể thực tế tận dụng công nghệ ZKP sẽ mở rộng. Điều này tạo ra một bánh đà làm tăng tổng cầu cho minh chứng, từ đó cho phép đạt được thêm lợi thế quy mô để giảm chi phí.
Bánh đà này giúp mô hình hoạt động của ZKPs trở nên khả thi trong nhiều trường hợp sử dụng hơn.
Khi kết hợp với nhiều đột phá kỹ thuật của Fermah, điều mà chúng tôi sẽ công bố sau, Fermah mở ra thị trường đầu tiên hiệu quả cho việc tạo chứng minh ZK.
Dành cho các nhà phát triển…
Nếu bạn là một nhà phát triển, thay vì dành thời gian và tài nguyên để tìm kiếm và quản lý cơ sở hạ tầng, bạn có thể tập trung vào việc giải quyết những vấn đề cấp bách của riêng mình! Hãy đơn giản giao lại công việc tạo minh chứng cho Fermah.
Nếu bạn chưa chọn hệ thống minh chứng của mình, chúng tôi cung cấp một môi trường thử nghiệm đáng tin cậy cho tất cả các tùy chọn. Và một khi đã chọn, chúng tôi cung cấp cơ sở hạ tầng một cách nhanh chóng, tiết kiệm và đáng tin cậy để giúp bạn xây dựng nên các sản phẩm hàng đầu thế giới.
Bất cứ khi nào bạn cần tạo minh chứng – cho các dự án ZK rollups, ZK bridges, ZK coprocessors, ZKML, ZKFHE, hoặc bất kỳ trường hợp sử dụng nào khác có thể tận dụng ZKP – chúng tôi sẽ ở đây để hỗ trợ bạn.
Nếu bạn đã từng bị thu hút bởi ZK nhưng nghĩ rằng nó quá phức tạp để sử dụng, chúng tôi có thể là giải pháp mà bạn đang chờ đợi!
Những “Backer” giúp chúng tôi thực hiện sứ mệnh
Sứ mệnh của chúng tôi là loại bỏ đi sự phức tạp khi sử dụng ZKPs. Tầm nhìn của chúng tôi là biến ZKPs thành nền tảng mặc định cho tất cả các phép tính.
Và chúng tôi có những người hỗ trợ phù hợp để thực hiện sứ mệnh này.
Tôi rất vui được chia sẻ rằng chúng tôi đã huy động được 5,2 triệu đô la từ các quỹ hàng đầu đã định hình không gian ZK theo cách mà chúng ta thấy ngày hôm nay.
Quỹ a16z CSX và Lemniscap đã tham gia vào vòng hạt giống của chúng tôi.
Chúng tôi cũng nhận được sự tham gia từ các quỹ như Bankless Ventures, Longhash Ventures, nhóm P-OPS, Public Works, ZK Validator, Lambda Class, Daedalus, Zero DAO, Velocity Capital và Daemon Ventures.
Ngoài các quỹ, những nhà sáng lập hàng đầu cũng tham gia với tư cách nhà đầu tư thiên thần trong vòng này. Điều này bao gồm Balaji, cựu CTO của Coinbase và đối tác A16z; Mustafa và Nick, CEO và COO của Celestia; Sandeep, Jaynti và Daniel, những người đồng sáng lập Polygon; Zac và Claire, CEO và CMO của Aztec; Sergey, CEO của Axelar; Greg, đồng sáng lập Geometry; và nhiều người khác.
Những người khổng lồ đã mở đường cho Fermah và chúng tôi không thể cảm thấy hào hứng hơn khi có nhiều người trong số họ đồng hành cùng chúng tôi.
JOIN US!
Chúng tôi đang bắt tay vào một hành trình đầy tham vọng để tái tạo lại cách tính toán và niềm tin trên internet. Tôn chỉ của chúng tôi là mang lại sự đột phá và hài lòng. Chúng tôi là một đội ngũ đam mê và đang trên đà phát triển. Nếu điều này khiến bạn cảm thấy hứng thú, hãy dành thời gian ghé thăm trang Career của chúng tôi và nộp đơn! Bạn cũng có thể nhắn tin trực tiếp cho Pranit, CMO của chúng tôi, hoặc cho tôi.
Nếu bạn đang làm việc trên một dự án nào đó sử dụng bằng chứng ZK (zero-knowledge proofs), hãy liên hệ với chúng tôi. Chúng tôi tin rằng có thể cải thiện trải nghiệm tạo minh chứng của bạn một cách đáng kể.
Nếu bạn là một đội ngũ phần cứng muốn tham gia vào mạng lưới của chúng tôi với tư cách là người tạo minh chứng, hãy liên hệ với chúng tôi tại đây. Bạn sẽ thấy việc tham gia sớm là rất đáng giá.
Cuối cùng, chúng tôi rất mong được chào đón bạn vào cộng đồng của mình! Hôm nay, chúng tôi mở Discord cho công chúng. Hãy tham gia cùng một nhóm nhỏ các tín đồ ZK thân thiện và đam mê, quyết tâm đánh bại "trùm cuối" và mang toán học đến với mọi người.
Hãy cùng nhau tiến lên nhé!
评论 (0)