원작자: Foresight X
첫 번째 수준 제목
1. 개방형 학습 및 발견 여정
Foresight Ventures는 Polyhedra, Hyper Oracle, Veridise, Accseal 및 OlaVM과 같은 영지식 증명 프로젝트에 투자했습니다. OpenBuild Hacker House @ EthCC는 Empowering a Trustless Future라는 주제로 Foresight X와 Generative Ventures가 공동 후원하며 ZK, ZKML 및 기타 관련 기술의 개척을 계속 탐구하고 있습니다. 동시에 코인텔레그래프와 만타 네트워크가 주최한 zkDay 이벤트에도 깊이 참여했다.
첫 번째 수준 제목
2. 워크숍에서의 브레인스토밍
이미지 설명
OpenBuild Hacker House @ EthCC workshop
What to build on Hybrid ML NOW by EF PSE
구현하기 어렵고 요구 사항이 아직 명확하지 않은 (ZK) 개인 정보 보호 기능에 비해 검증 가능한 AI는 개발할 수 있는 보다 실용적인 방향입니다. ZKML 배경을 가진 개발자는 다음 세 가지 방향을 고려하는 것이 좋습니다. (1) ZKML AIGC NFT: ERC 7007이 채택되고 스마트 계약을 사용하여 프롬프트를 트리거하고 AIGC 관련 문서가 ML 모델 추론을 통해 생성된 다음 ZKML 증명자를 사용하여 새로운 NFT를 생성하기 위한 증명을 확인하고 생성합니다. (2) 재귀 신경망(RNN): ZK RNN은 가격 예측, 거래 로봇, 대규모 언어 모델 등을 개발하는 데 사용할 수 있습니다. (3) 재미있는 응용 프로그램: 특정 사용 사례를 위해 ZK 친화적인 모델을 처음부터 개발하고, Zordle, Leela vs the World 등과 같은 게임을 개발합니다.
Hybrid ML Practical On-chain AI/ML, by Hyper Oracle
Hyper Oracle이 지원하는 온체인 데이터 플랫폼은 이미 ZKAMM과 같은 일부 새로운 프로젝트의 출현을 지원했습니다. 그러나 대규모 인공 지능 모델 체인과 같은 고강도 컴퓨팅의 경우 충분하지 않습니다. 이 프로젝트에서는 영지식 증명을 사용하여 opML의 사기 증명 주기를 압축하고 온체인 시 가스 소비를 크게 줄이며, 그 성능을 통해 초대형 인공 지능 모델을 체인에 가져오고 관련 애플리케이션을 개발할 수 있는 하이브리드 ML을 제안합니다.
Who killed ZKML? by Modulus Labs
현재 ZKML은 아직 초기 단계이고 현재 관련 프로젝트가 10개밖에 없습니다. 왜일까요? 주로 비용 제약으로 인해 너무 이르며 이 문제 자체가 매우 어렵습니다. 모듈러스랩스는 AI 분야 전용 ZK를 설계해 비용을 90%, 심지어 100%까지 절감할 수 있기를 바라고 있다. 그런데 돌이켜보면 궁극의 성과를 추구하는 궁극적인 목표는 무엇인가? 우리는 완전히 다른 UX와 새로운 프로젝트 형태를 갖게 될 수도 있습니다.
Unleash the power of ZK-ZKVM by OlaVM
Ola는 프라이버시와 고성능 기능이 없는 플랫폼으로 해당 기능을 쉽게 확장하는 동시에 네트워크 보안을 계승할 수 있는 ZKVM 기반의 최초 프로그래밍 가능한 프라이버시 플랫폼인 ZK-ZKVM의 비전을 제안합니다. 생태계에서 가장 큰 블록체인 퍼블릭 체인이자 전체 Web 3 생태계인 이더리움입니다.
이번에 우리는 ZK와 ML 배경을 모두 가진 많은 해커가 있다는 것을 확인했으며, 그들은 해커톤에서 ZMKL 분야의 프로젝트를 개발하기를 열망하고 있습니다. 따라서 이번 zkDay 행사에서는 Foresight Ventures의 기술이사인 Maggie가 ZK 분야의 최전선에서 증명재귀(proof recursion)에 대한 연구와 분석을 결과물로 내놓았는데, 주요 내용은 다음과 같다.
증명 재귀가 사용되는 이유를 소개합니다. 거대하고 복잡한 프로그램을 증명하기 위해 ZKP(영지식 증명)를 사용하고 작은 증명을 얻고자 할 때 증명 합성, 증명 집계, 증명 재귀) 세 가지 중요한 방법을 사용해야 합니다.
재귀를 사용하여 IVC(증분 검증 가능한 계산)를 실현할 수 있고 IVC를 사용하여 매우 긴 프로그램을 증명할 수 있음을 증명하기 위해 도입되었습니다. 증명할 프로그램은 여러 단계로 나누어 재귀적으로 증명할 수 있으며 최종적으로 작은 ZKP를 얻습니다. 이 방법은 증명자의 메모리 요구량을 줄일 뿐만 아니라 이 작은 ZKP로 전체 실행 내역이 정확하다는 것을 증명할 수 있습니다.
IVC의 기술개발 이력을 소개합니다. 그리고 최근 많은 주목을 받고 있는 접이식 기반 IVC(Folding-Based IVC)에 초점을 맞춘다. 이전 두 가지 유형의 IVC와 비교할 때 이 접기 기반 IVC는 재귀 부담이 가장 적고 가장 효율적입니다.
이미지 설명
On Proof Recursion, Maggie from Foresight Ventures
첫 번째 수준 제목
3. OpenBuild Hacker House @ EthCC 프로젝트 소개 및 의견
1. ZK Microphone (Winner of Filecoin—Runner Up, EAS—Best Use and ETHGlobal Paris 2023 Finalist)
ZK Microphone은 ZK-SNARK를 사용하여 딥페이크 시대에 안정적인 오디오 검증 서비스를 만드는 것을 목표로 합니다. 생성 AI와 딥페이크 오디오는 우리 사회의 보안에 큰 위협을 가하고 있으며, 이 문제의 확산을 억제하기 위해 ZK Microphone은 ZK-SNARK를 활용한 오디오 검증 서비스인 풀 스택 솔루션을 구축했습니다.
ZK 마이크의 기본 작동 원리는 디지털 서명에 사용되는 비밀 키를 안전한 엔클레이브에 저장하여 녹음의 진위성을 보장하는 것, 즉 오디오가 실제로 지정된 하드웨어 마이크에서 녹음되었는지 확인하는 것입니다. , ZK Microphone은 또한 ZK-SNARKs가 구동하는 오디오 편집 소프트웨어를 사용하여 원본 오디오를 어느 정도 변환하여 디지털 서명의 검증 가능성을 보장하는 동시에 원본 오디오 콘텐츠의 개인정보 보호를 보장합니다.
당첨 홈페이지: https://ethglobal.com/showcase/zk-microphone-8161v
Foresight Ventures 의견: ZK 마이크는 특정 하드웨어 장치에서 오디오가 실제로 녹음되도록 보장할 수 있습니다. 팀은 매우 포괄적으로 고려했으며 디지털 서명과 개인정보를 보호하는 방식으로 녹음을 편집하고 오디오를 편집해야 할 필요성도 고려했습니다. 허위 정보에 맞서기 위해 ZK 증명을 사용하는 것은 매우 가치 있는 조치입니다.
2. Bob the Solver（winner of 1 inch — Best use of 1 inch Contracts and ETHGlobal Paris 2023 Finalist)
Bob the Solver는 의도 기반 트랜잭션 인프라로서 지갑 및 분산형 애플리케이션에 통합되도록 고안되었습니다. 이 프로젝트는 계정 추상화 분야의 새로운 패러다임 전환에서 비롯되었으며, 핵심 초점은 정확한 거래 프로세스가 아니라 사용자의 궁극적인 의도에 있습니다.
의도는 원하는 결과를 나타내고 트랜잭션은 트랜잭션을 실행하는 데 필요한 정확한 단계를 설명합니다. 예를 들어 사용자가 Polygon 네트워크에서 NFT를 구매하려는 경우 의도는 매우 간단하지만 정확한 거래에는 환전, 크로스체인, 구매, 구매 등 복잡하고 시간이 많이 걸리는 일련의 작업이 포함될 수 있습니다. 등 다양한 블록체인 지식에 대한 심층적인 이해가 필요합니다.
Bob the Solver는 사용자가 일반적으로 정확한 거래 세부 정보 없이 의도만 가지고 있다는 것을 깨달았습니다. 이 프로젝트는 거래 프로세스를 단순화하는 것을 목표로 하며, 사용자의 의도를 수용하고 자동으로 적절한 거래를 공식화하며 사용자를 대신하여 실행합니다.
당첨 홈페이지: https://ethglobal.com/showcase/bob-the-solver-yxtgp
Foresight Ventures의 의견: Bob the Solver는 Web 3 사용에 대한 장벽을 낮추는 좋은 도구로, 심층적인 블록체인 지식이 없는 Web 2 사용자가 Web 3를 빠르게 시작할 수 있도록 해줍니다. 사용자는 자신의 의도만 설명하면 되며 Bob the Solver는 사용자를 위한 트랜잭션을 생성하여 트랜잭션 구축의 복잡성을 제거합니다. 그리고 AA 지갑은 사용자의 가스 요금을 관리하는 데 사용되므로 사용자가 빠르게 시작할 수 있습니다.
3. Starksplitter（winner of Starknet — Best Use)
Starksplitter는 카이로에서 OpenZeppelin의 지불 분할 계약을 구현합니다. 이 계약을 통해 ERC 20의 지불이 분할 가중치에 따라 계정 그룹으로 이체될 수 있습니다. 보낸 사람은 ERC 20이 이런 방식으로 분할된다는 사실을 알 필요가 없으며 계약은 이를 자동으로 투명하게 처리합니다.
당첨 홈페이지: https://ethglobal.com/showcase/starksplitter-2m5j2
Foresight Ventures의 의견: 지불 공유 계약은 특정 그룹에 대한 지불을 실현하는 데 사용되는 계약이며 Starknet은 일반적으로 사용되는 이러한 계약의 실현이 필요합니다.
4. ZenetikNFT （winner of the Metamask — Best Use, Worldcoin — Pool Prize, and The Graph — Pool Prize）
ZenetikNFT는 유전적 AI를 통해 새로운 NFT 이미지를 번식합니다. EZKL Proof of Generation 및 ERC 7007을 활용하여 각 NFT 발행 프로세스를 감독합니다. 그리고 이 프로세스는 ZKML 증명 검증을 통해 향상되어 선택된 이미지 기능이 차세대 NFT로 전달될 수 있도록 보장합니다. 또한 ZenetikNFT는 실제 인간만이 NFT를 소유하고 번식할 수 있도록 체인 상에서 검증되는 Worldcoin ID 로그인 기능을 제공합니다.
당첨 홈페이지: https://ethglobal.com/showcase/zenetiknft-1ph5r
Foresight Ventures의 의견: ZenetikNFT는 흥미롭고 기술적으로 최첨단 프로젝트입니다. AI를 계승하여 새로운 NFT를 육성하세요. 기술적으로 EZKL 도구와 ERC 7007은 ZKML과 결합되어 AIGC-NFT 소유권을 확인하고 주조 프로세스의 올바른 실행을 보장합니다. ZKML은 빠르게 성장하고 있는 최첨단 연구 분야로, 검증 가능한 AI를 블록체인에 도입할 수 있는 매우 유망한 기술입니다.
5. Photon（1 st prize winner of LambdaZkWeek hackathon)
이미지 설명
Github: https://github.com/photon-bridge/overview
Foresight Ventures의 의견: Photon은 복잡한 알고리즘과 데이터를 저장하기 위한 오프체인 데이터 계층으로 Celestia를 사용하기 위해 Mina 블록체인의 zkDapps를 지원할 수 있는 특수 브리지입니다. Mina의 기존 오프체인 스토리지 솔루션 대부분과 비교하여 Photon이 DA 레이어로 채택한 Celestia는 더 높은 활동성과 안정성을 제공하므로 zkDapp 데이터에 더 안정적으로 액세스할 수 있습니다. Photon은 유망한 프로젝트입니다.
6. Delta Z ( 2 nd prize winner of LambdaZkWeek hackathon)
이미지 설명
Github: https://github.com/manuj-mishra/zkdiffpriv
첫 번째 수준 제목
4. Foresight X는 개발자를 위한 후속 지원을 제공합니다.
OpenBuild 해커 하우스 @ EthCC는 끝났지만 BUIDL은 멈추지 않습니다. Web 3 생태계의 발기인으로서 Foresight X는 항상 Web 3 개발자에게 최신 연구 통찰력, 컨설팅, 생태 자원 및 약 200,000달러에 달하는 초기 재정 지원을 제공하여 이들이 비전을 실현하고 전체 암호화폐를 홍보하는 데 전념해 왔습니다. 산업이 발전하기 전으로.
회사 소개
회사 소개
Foresight X는 프로젝트 인큐베이션, 생태학적 자금 지원, 연구 자금 지원을 핵심으로 하는 Foresight Ventures 산하의 Web 3 액셀러레이터입니다. 초기 프로젝트에 대해 약 200,000달러의 지원 자금을 제공합니다. 또한 Foresight X는 기술 지침, 브랜드 홍보, 토큰 경제, 프로젝트 운영 및 온라인 Acceleration 서비스를 포함하여 선택된 프로젝트에 대해 고품질 산업 리소스와 글로벌 커뮤니티 지원도 제공합니다. 화폐, 회사경영, 인재육성, 법규 등
Foresight X는 현재 AI + Web 3, ZK 기계 학습, 비트코인 생태학, LSD, NFT 파생 상품, PoS 노드 서비스, DID 및 이를 포괄하는 모든 최첨단 영역에 초점을 맞춘 Accelerator 프로그램의 두 번째 단계에 대한 온라인 애플리케이션을 개설하고 있습니다. 변화하고 혁신에 용감합니다.
