Tác giả gốc: Foresight X

danh hiệu cấp một

1. Hành trình học tập và khám phá rộng mở

Foresight Ventures đã đầu tư vào các dự án chứng minh kiến ​​thức bằng không như Polyhedra, Hyper Oracle, Veridise, Accseal và OlaVM. OpenBuild Hacker House @ EthCC được đồng tài trợ bởi Foresight X và Generative Ventures, với chủ đề Trao quyền cho một tương lai không đáng tin cậy, tiếp tục khám phá các biên giới của ZK, ZKML và các công nghệ liên quan khác. Đồng thời, anh tham gia sâu vào sự kiện zkDay do Cointelegraph và Manta Network tổ chức.

danh hiệu cấp một

2. Động não trong workshop

Mô tả hình ảnh

OpenBuild Hacker House @ EthCC workshop

• What to build on Hybrid ML NOW by EF PSE

So với các chức năng bảo mật (ZK) khó triển khai/yêu cầu chưa rõ ràng, AI có thể kiểm chứng là một hướng thực tế hơn có thể được phát triển. Các nhà phát triển có nền tảng ZKML được khuyến khích xem xét ba hướng để thử: (1) ZKML AIGC NFT: ERC 7007 được áp dụng, hợp đồng thông minh được sử dụng để kích hoạt lời nhắc, các tài liệu liên quan đến AIGC được tạo bằng lý luận mô hình ML và sau đó bộ chứng minh ZKML được sử dụng để xác minh và tạo bằng chứng nhằm tạo NFT mới. (2) Mạng thần kinh đệ quy (RNN): ZK RNN có thể được sử dụng để phát triển dự đoán giá, robot giao dịch, mô hình ngôn ngữ lớn, v.v. (3) Các ứng dụng thú vị: phát triển các mô hình thân thiện với ZK từ đầu cho các trường hợp sử dụng cụ thể, phát triển các trò chơi như Zordle, Leela vs the World, v.v.

• Hybrid ML Practical On-chain AI/ML, by Hyper Oracle

Nền tảng dữ liệu trực tuyến được Hyper Oracle hỗ trợ đã hỗ trợ sự xuất hiện của một số dự án mới như ZKAMM. Nhưng đối với điện toán cường độ cao, chẳng hạn như chuỗi mô hình trí tuệ nhân tạo quy mô lớn là không đủ. Dự án đề xuất Hybrid ML, sử dụng bằng chứng không có kiến ​​thức để nén chu trình chống gian lận trong opML và giảm đáng kể mức tiêu thụ gas khi hoạt động trên chuỗi. Hiệu suất của nó có thể đưa các mô hình trí tuệ nhân tạo siêu lớn vào chuỗi và phát triển các ứng dụng liên quan.

• Who killed ZKML? by Modulus Labs

Hiện tại ZKML vẫn còn rất sớm và hiện tại chỉ có 10 dự án liên quan...tại sao? Chủ yếu là do hạn chế về chi phí, còn quá sớm và bản thân vấn đề này đã rất khó khăn. Modulus Labs hy vọng sẽ giảm được 90% hoặc thậm chí 100% chi phí bằng cách thiết kế ZK dành riêng cho lĩnh vực AI. Nhưng nhìn lại, mục tiêu cuối cùng của việc theo đuổi thành tích cao nhất là gì? Chúng tôi có thể có UX hoàn toàn khác và hình dạng dự án mới.

• Unleash the power of ZK-ZKVM by OlaVM

Ola đề xuất tầm nhìn của ZK-ZKVM, nền tảng bảo mật có thể lập trình đầu tiên dựa trên ZKVM, có thể dễ dàng mở rộng các chức năng tương ứng sang các nền tảng không có tính năng riêng tư và hiệu suất cao, đồng thời kế thừa bảo mật mạng của nó. Ethereum, chuỗi công khai blockchain lớn nhất trong hệ sinh thái và toàn bộ hệ sinh thái Web 3.

Lần này chúng tôi quan sát thấy rằng có một số lượng lớn tin tặc có cả nền tảng ZK và ML và họ rất mong muốn phát triển các dự án trong lĩnh vực ZMKL trong cuộc thi hackathon. Vì vậy, tại sự kiện zkDay, Maggie, giám đốc kỹ thuật của Foresight Ventures, đưa ra nghiên cứu và phân tích về proof recursion (bằng chứng đệ quy) đi đầu trong lĩnh vực ZK. Nội dung chính bao gồm:

• Giới thiệu lý do tại sao sử dụng đệ quy chứng minh. Khi chúng ta muốn sử dụng ZKP (Bằng chứng không kiến ​​thức) để chứng minh một chương trình lớn và phức tạp và hy vọng có được một bằng chứng nhỏ, chúng ta cần sử dụng ba phương pháp quan trọng là thành phần chứng minh, tổng hợp chứng minh, đệ quy chứng minh.

• Được giới thiệu để chứng minh rằng đệ quy có thể được sử dụng để hiện thực hóa IVC (tính toán có thể kiểm chứng tăng dần) và IVC có thể được sử dụng để chứng minh các chương trình rất dài. Chương trình cần chứng minh có thể được chia thành nhiều bước và được chứng minh đệ quy, cuối cùng thu được một ZKP nhỏ. Phương pháp này không chỉ làm giảm yêu cầu bộ nhớ của bộ chứng minh mà còn có thể chứng minh rằng toàn bộ lịch sử thực thi là chính xác với ZKP nhỏ này.

• Lịch sử phát triển kỹ thuật của IVC được giới thiệu. Và nó tập trung vào IVC dựa trên gấp (IVC dựa trên gấp), đã thu hút nhiều sự chú ý gần đây. So với hai loại IVC trước đó, IVC dựa trên việc gấp này có gánh nặng đệ quy ít nhất và hiệu quả nhất.

• Mô tả hình ảnh

On Proof Recursion, Maggie from Foresight Ventures

danh hiệu cấp một

3. Giới thiệu và nhận xét dự án OpenBuild Hacker House @ EthCC

1. ZK Microphone (Winner of  Filecoin—Runner Up, EAS—Best Use and ETHGlobal Paris 2023 Finalist)    

ZK Microphone đặt mục tiêu sử dụng ZK-SNARK để tạo ra dịch vụ xác minh âm thanh đáng tin cậy trong kỷ nguyên của deepfake. Generative AI và âm thanh deepfake đã gây ra mối đe dọa lớn cho an ninh xã hội của chúng ta. Để hạn chế sự lây lan của vấn đề này, ZK Microphone đã xây dựng một giải pháp toàn diện - một dịch vụ xác minh âm thanh sử dụng ZK-SNARK.

Nguyên tắc hoạt động cơ bản của ZK Microphone là lưu trữ khóa bí mật dùng cho chữ ký số trong một vùng bảo mật để đảm bảo tính xác thực của bản ghi, tức là xác nhận âm thanh thực sự được ghi từ micrô phần cứng được chỉ định; đồng thời , ZK Microphone cũng sẽ sử dụng phần mềm chỉnh sửa âm thanh do ZK-SNARK điều khiển để chuyển đổi âm thanh gốc ở một mức độ nhất định, nhằm đảm bảo quyền riêng tư của nội dung âm thanh gốc đồng thời đảm bảo tính xác minh của chữ ký số.

Trang chủ chiến thắng: https://ethglobal.com/showcase/zk-microphone-8161v

Nhận xét của Foresight Ventures: Micrô ZK có thể đảm bảo rằng âm thanh thực sự được ghi lại từ một thiết bị phần cứng nhất định. Nhóm đã xem xét rất toàn diện và cũng tính đến nhu cầu chỉnh sửa và chỉnh sửa các bản ghi âm cũng như chỉnh sửa âm thanh theo cách duy trì chữ ký số và quyền riêng tư. Sử dụng bằng chứng ZK để chống lại thông tin sai lệch là một động thái rất có giá trị.

2. Bob the Solver（winner of 1 inch — Best use of 1 inch Contracts and ETHGlobal Paris 2023 Finalist)

Bob the Solver dự định sẽ được tích hợp vào ví và các ứng dụng phi tập trung như một cơ sở hạ tầng giao dịch dựa trên có mục đích. Dự án bắt nguồn từ sự thay đổi mô hình mới nổi trong lĩnh vực trừu tượng hóa tài khoản, trong đó trọng tâm cốt lõi của nó không phải là quy trình giao dịch chính xác mà là ý định cuối cùng của người dùng.

Ý định thể hiện kết quả mong muốn, trong khi Giao dịch nêu ra các bước chính xác cần thiết để thực hiện giao dịch. Ví dụ: nếu người dùng có ý định mua NFT trên mạng Polygon thì ý định rất đơn giản, nhưng một giao dịch chính xác có thể liên quan đến một loạt nhiệm vụ phức tạp và tốn thời gian như trao đổi tiền tệ, chuỗi chéo, mua hàng, v.v. và đòi hỏi sự hiểu biết sâu sắc về kiến ​​thức chuỗi khối khác nhau.

Bob the Solver nhận ra rằng người dùng thường chỉ có ý định mà không có chi tiết giao dịch chính xác. Dự án nhằm mục đích đơn giản hóa quy trình giao dịch, nó sẽ chấp nhận ý định của người dùng, tự động hình thành các giao dịch phù hợp và thực hiện chúng thay mặt người dùng.

Trang chủ chiến thắng: https://ethglobal.com/showcase/bob-the-solver-yxtgp

Nhận xét của Foresight Ventures: Bob the Solver là một công cụ tốt giúp giảm bớt các rào cản đối với việc sử dụng Web 3, cho phép người dùng Web 2 không có kiến ​​thức chuyên sâu về blockchain có thể nhanh chóng bắt đầu với Web 3. Người dùng chỉ cần mô tả ý định của họ và Bob the Solver có thể tạo giao dịch cho người dùng, loại bỏ sự phức tạp của việc xây dựng giao dịch. Và ví AA được sử dụng để quản lý phí gas của người dùng, điều này càng tạo điều kiện thuận lợi hơn cho người dùng bắt đầu nhanh chóng.

3. Starksplitter（winner of Starknet — Best Use)

Starksplitter triển khai hợp đồng chia tách thanh toán của OpenZeppelin tại Cairo. Hợp đồng này cho phép thanh toán ERC 20 được chuyển vào một nhóm tài khoản theo trọng số để chia tách. Người gửi không cần biết ERC 20 sẽ được chia theo cách này, hợp đồng sẽ xử lý nó một cách tự động và minh bạch.

Trang chủ chiến thắng: https://ethglobal.com/showcase/starksplitter-2m5j2

Foresight Ventures nhận xét: Hợp đồng chia sẻ thanh toán là hợp đồng dùng để thực hiện thanh toán cho một nhóm nhất định, Starknet cần thực hiện các hợp đồng được sử dụng phổ biến này.

4. ZenetikNFT （winner of the Metamask — Best Use, Worldcoin — Pool Prize, and The Graph — Pool Prize）

ZenetikNFT “nhân giống” hình ảnh NFT mới thông qua AI di truyền. Nó tận dụng Bằng chứng thế hệ EZKL và ERC 7007 để giám sát quá trình đúc từng NFT. Và quá trình này sẽ được tăng cường bằng xác minh bằng chứng ZKML, đảm bảo rằng các tính năng hình ảnh đã chọn có thể được chuyển sang thế hệ NFT tiếp theo. Ngoài ra, ZenetikNFT sẽ có thông tin đăng nhập ID Worldcoin, được xác minh trên chuỗi để đảm bảo rằng chỉ con người thực mới có thể sở hữu và nhân giống các NFT này.

Trang chủ chiến thắng: https://ethglobal.com/showcase/zenetiknft-1ph5r

Nhận xét của Foresight Ventures: ZenetikNFT là một dự án thú vị và có công nghệ tiên tiến. Tạo ra các NFT mới bằng cách kế thừa AI. Về mặt kỹ thuật, các công cụ EZKL và ERC 7007 được kết hợp với ZKML để xác minh quyền sở hữu AIGC-NFT và đảm bảo thực hiện chính xác quy trình truyền. ZKML là một lĩnh vực nghiên cứu tiên tiến và đang phát triển nhanh chóng, đồng thời là một công nghệ rất hứa hẹn có thể đưa AI có thể kiểm chứng vào chuỗi khối.

5. Photon（1 st prize winner of LambdaZkWeek hackathon)

Mô tả hình ảnh

Github: https://github.com/photon-bridge/overview

Nhận xét của Foresight Ventures: Photon là cầu nối đặc biệt có thể hỗ trợ zkDapps trên chuỗi khối Mina sử dụng Celestia làm lớp dữ liệu ngoài chuỗi để lưu trữ các thuật toán và dữ liệu phức tạp. So với hầu hết các giải pháp lưu trữ ngoài chuỗi hiện có của Mina, Celestia được Photon sử dụng làm lớp DA có hoạt động và độ tin cậy cao hơn, giúp truy cập dữ liệu zkDapp đáng tin cậy hơn. Photon là một dự án đầy hứa hẹn.

6. Delta Z ( 2 nd prize winner of LambdaZkWeek hackathon)

Mô tả hình ảnh

Github: https://github.com/manuj-mishra/zkdiffpriv

danh hiệu cấp một

4. Foresight X cung cấp hỗ trợ tiếp theo cho các nhà phát triển

Ngôi nhà hacker OpenBuild @ EthCC đã đi đến hồi kết, nhưng BUIDL sẽ không dừng lại. Với tư cách là người thúc đẩy hệ sinh thái Web 3, Foresight X luôn cam kết cung cấp cho các nhà phát triển Web 3 thông tin chi tiết về nghiên cứu, tư vấn, tài nguyên sinh thái mới nhất và hỗ trợ tài chính sớm khoảng 200.000 đô la Mỹ để giúp họ hiện thực hóa tầm nhìn của mình và quảng bá toàn bộ tiền điện tử ngành trước khi phát triển.

về chúng tôi

về chúng tôi

Foresight X là một công cụ tăng tốc Web 3 thuộc Foresight Ventures với cốt lõi là ươm tạo dự án, tài trợ sinh thái và tài trợ nghiên cứu. Cung cấp quỹ hỗ trợ khoảng 200.000 đô la Mỹ cho các dự án ban đầu. Ngoài ra, Foresight X cũng cung cấp các nguồn lực ngành chất lượng cao và hỗ trợ cộng đồng toàn cầu cho các dự án được chọn, bao gồm hướng dẫn kỹ thuật, quảng bá thương hiệu, kinh tế mã thông báo, vận hành dự án và các dịch vụ Tăng tốc trực tuyến trong tiền tệ, quản lý công ty, phát triển nhân tài, luật pháp và các quy định, v.v.

Foresight X hiện đang mở ứng dụng trực tuyến cho giai đoạn thứ hai của Chương trình tăng tốc, tập trung vào AI + Web 3, ZK Machine Learning, hệ sinh thái Bitcoin, LSD, dẫn xuất NFT, dịch vụ nút PoS, DID và tất cả các lĩnh vực tiên tiến bao gồm thay đổi và dũng cảm trong đổi mới.