ZK 메시, 고급 프라이버시 강화 암호화, 분산 프로토콜 개발 및 영지식 시스템 연구의 최신 소식을 다루는 월간 뉴스레터에 오신 것을 환영합니다.
ZK 메시는 ZK Hack에 의해 제작되고 있습니다.
ZK 메시를 읽어주셔서 감사합니다! 새로운 게시물을 받고 우리의 작업을 지원하려면 무료로 구독하세요.
최근 연구, 유용한 기사, 동영상, 팟캐스트, 트윗, 도구, 프로젝트 업데이트 및 이벤트를 제공합니다. 매월 새로운 에디션을 기대하세요. 공유하고 구독하세요!
연구
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
zkTLS를 위한 다자간 공증인 | TACEO
zkTLS와 온체인 엔터테인먼트의 미래 | Sophon
최초의 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일



