ZK Mesh: 2025년 2월 요약

ZK 메시, 고급 프라이버시 강화 암호화, 분산 프로토콜 개발 및 영지식 시스템 연구의 최신 소식을 다루는 월간 뉴스레터에 오신 것을 환영합니다.

ZK 메시는 ZK Hack에 의해 제작되고 있습니다.

최근 연구, 유용한 기사, 동영상, 팟캐스트, 트윗, 도구, 프로젝트 업데이트 및 이벤트를 제공합니다. 매월 새로운 에디션을 기대하세요. 공유하고 구독하세요!

연구

• LatticeFold+: 더 빠르고, 더 간단하며, 더 짧은 격자 기반 폴딩을 통한 간결한 증명 시스템 | Dan Boneh and Binyi Chen

• Neo: 작은 필드와 종량제 약정에 대한 CCS의 격자 기반 폴딩 체계 | Wilson Nguyen and Srinath Setty

• 화이트 박스 안전한 Fiat-Shamir 변환을 향하여 | Gal Arnon and Eylon Yogev

• DFS: 위임 친화적 zkSNARK 및 증명자의 사적 위임 | Yuncong Hu, Pratyush Mishra, Xiao Wang, Jie Xie, Kang Yang, Yu Yu and Yuwen Zhang

• 상황 의존적 임계값 복호화 및 그 응용 | Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem and Victor Shoup

• 중첩 잔여 수 체계로부터의 큰 정수에 대한 동형 암호화 | Dan Boneh and Jaehyung Kim

• 추적 가능한 검증 가능한 랜덤 함수 | Dan Boneh, Aditi Partap and Lior Rotem

• Zinc: 정수에 대한 근접성 IOP로부터의 작은 산술화 오버헤드를 가진 간결한 논증 | Albert Garreta, Hendrik Waldner, Katerina Hristova and Luca Dall'Ava

• 다항식 전처리의 힘: 아산 시간 내에 계산 증명, 그리고 그 이상 | Matteo Campanelli, Mario Carrillo, Ignacio Cascudo, Dario Fiore, Danilo Francati and Rosario Gennaro

• FHE-SNARK vs. SNARK-FHE: 분석에서 실용적인 검증 가능한 계산까지 | Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng and Xianhui Lu

• NP 문장 또는 영지식 증명의 조합기를 공유하는 방법 | Benny Applebaum and Eliran Kachlon

• HasteBoots: 수 초 내에 FHE 부트스트래핑 증명하기 | Fengrun Liu, Haofei Liang, Tianyu Zhang, Yuncong Hu, Xiang Xie, Haisheng Tan and Yu Yu

• Leap: 빠른 격자 기반 OPRF와 프라이빗 집합 교차에의 응용 | Lena Heimberger, Daniel Kales, Riccardo Lolato, Omid Mir, Sebastian Ramacher and Christian Rechberger

기사/스레드

• ZKWS S2, 완전한 여정 | ZK Hack

• 영지식 증명의 수학적 이해 | @oskarth

• zkVM 벤치마킹에서 성능과 보안의 균형 잡기 | Burning Bridges

• 현대 zkVM을 형성한 프로젝트들 — 1부 | zkSecurity

• ZK-L2를 증명하는 데 필요한 것은 무엇인가? | ZkCloud

• ZK 최종 목표: 이더리움을 위한 롤업 상호운용성 | Conduit

• 검증 가능한 다중 지수 연산 및 다중 스칼라 곱셈(MSM) | Decentralized Thoughts

• 회고: Summa | Privacy and Scaling Explorations (PSE)

• LatticeFold 및 격자 기반 연산 성능 보고서 | Nethermind

• 프라이버시 중심 레이어 2가 이더리움의 엔터프라이즈 미래를 변화시킬 것 | Cryptoslate

• 'ZK' 증명자 네트워크가 당신의 데이터를 요구한다면. 그들에게 주지 마세요. | ICME

• zkTLS를 위한 다자간 공증인 | TACEO

• 왜 그리고 어떻게 TikTok이 ZK를 사용하고 있는가 | ZKV

• zkTLS와 온체인 엔터테인먼트의 미래 | Sophon

• 당신은 FHE로 Tornado Cash를 구축해서는 안 됩니다 | Leku

• 최초의 RISC-V zkVM에 대한 형식 검증을 향하여 | Nethermind

• 효율적인 데이터 인증을 위한 Merkle Mountain Ranges | commonware

• 격자 기반 증명 시스템 | Privacy and Scaling Explorations (PSE)

• 암호화에 문을 여는 zkTLS | Sophon

• 효율적인 클라이언트 측 증명 스레드 | DCBuilder (@DCbuild3r)

동영상/팟캐스트

• Zero Knowledge와 함께 미래로 | Zero Knowledge Podcast

• Cursive와 함께 ZK를 현실로 | Zero Knowledge Podcast

• ZODA & 우연한 컴퓨터 | Zero Knowledge Podcast

• 솔라나의 ZK, Mert Mumtaz와 함께 | Zero Knowledge Podcast

• 증명은 푸딩에 있다: 거짓 명제를 증명하는 방법 | Archetype x zkSecurity

가이드 및 리소스

• zkBugs | zkSecurity

• 공개적으로 검증 가능하고 사적인 협력 ML 모델 학습 | Hashcloak

• SoK: zk-SNARK 이해하기: 연구와 실무의 격차 | Junkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen and Zhonghai Wu

• Jolt & Lasso: 초보자를 위한 (메모) | backdoor (@backdoor607)

취약점/공개

• Veridise O1js V1 감사 하이라이트: 영지식 보안 버그 3개 설명 | Veridise

• KZG-커밋된 데이터에 대한 증인 암호화 구조 | Vlad (@Vladfdp) 프로그래밍 가능한 암호화 입문 워크북 | Flying Nobita (@FlyingNobita) zkVMs 벤치마크 | Yet Another Company FRI 다항식 커밋먼트 스킴의 러스트 구현 | Kai Jun Eer (@kaijuneer) ZKP2P v2 소개 | ZKP2P 검증자(zk)를 누가 검증하나요? Nethermind! | Nethermind 플루토 소개 | Pluto 다중 스택 미래를 위한 주요 개발 업그레이드: 비관적 증명이 Agglayer 메인넷에서 실행됨 | Polygon 2025년 1월 @ Hylé | Hylé [프로젝트 제목 없음]: 백서 첫 번째 모습 | o1Labs ICICLE-Stwo 소개: GPU 가속 Stwo 증명자 | Ingonyama 미나의 zkML 라이브러리 소개: 검증 가능하고 프라이버시를 보호하는 AI 추론을 위한 개발자 가이드 | Mina Citrea의 BitVM 기반 비트코인 브리지 - Clementine의 최신 설계 | Citrea EZKL의 협업 Snarks | EZKL Succinct 증명자 네트워크 테스트넷이 실행 중 | Succinct Pico 소개: 모듈식이고 성능이 뛰어난 zkVM | Brevis Union Chain, ZK 체인 출시 | ZKsync 넥서스 레이어 1 발표 | Nexus 스크롤 보안 위원회 소개 | Scroll 선도적인 ZK 프로젝트 OpenPassport 인수 후 출시된 Sybil 저항성 신원 기본 프로토콜 Self | Celo 스타크넷의 프라이버시 Pt. 2 | 프라이빗 컴퓨테이션 & 포켓몬(Stwokémon) | teddy (@franklyteddy) 나마다의 메인넷 출시 | Namada bugs.zksecurity.xyz 소개: ZK 버그를 위한 지식 베이스 | zkSecurity 프로그래밍 가능한 프라이버시 비전을 가속화하기 위해 출범한 Aztec 재단 | Aztec ICICLE V3.5: 람다 함수를 사용한 Sumcheck | Ingonyama 모바일에 영지식 증명 가져오기: EZKL과 Inference Labs, Subnet 2 파트너십 | EZKL ZK 레지던시 이야기: Herodotus, SP1로 코프로세서 구축 | Succinct 미나에서 O1js 마스터하기: 안전한 개발을 위한 4가지 핵심 전략 | Veridise OP Succinct Lite 소개: OP 스택에서의 ZK 사기 증명 | Succinct 마스터 플랜 | Proofbase ZKProof 7 | 불가리아 소피아. 2025년 3월 23일 - 25일 ZK Hack Meetup #10 | 불가리아 소피아. 2025년 3월 26일 Real World Crypto | 불가리아 소피아. 2025년 3월 26일 - 28일 ETHGlobal Taipei | 대만 타이페이. 2025년 4월 4일 - 6일 BUIDL Asia | 한국 서울. 2025년 4월 15일 - 16일 Invisible Garden | 코스타리카. 2025년 4월 21일 - 5월 31일 zkSummit13 | 캐나다 토론토. 2025년 5월 12일 ETHGlobal Prague | 체코 프라하. 2025년 5월 30일 - 6월 1일 DappCon 25 | 독일 베를린. 2025년 6월 16일 - 18일 ZK Hack Berlin | 독일 베를린. 2025년 6월 20일 - 22일 ETHCC | 프랑스 칸. 2025년 6월 30일 - 7월 3일