ZK Mesh: 2025년 3월 요약

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

ZK 메시는 ZK 핵에서 제작되었습니다.

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

연구

• MERCURY: 상수 증명 크기와 프로버 FFT 없는 다중선형 다항식 커밋먼트 체계 | 리암 이건과 아리엘 가비존

• 이중 스펀지로부터의 피아트-샤미르 변환 | 알레산드로 키에사와 미셸 오루

• 하나의 그룹 요소를 가진 지정 검증자 SNARG | 갈 아르논, 예스코 두이모비치, 유발 이샤이

• 사마리탄: 새로운 다중선형 다항식 커밋먼트로부터의 선형 시간 증명자 SNARK | 차야 가네시, 시카르 파트라나비스, 니틴 싱

• 제미니 다항식 커밋먼트 체계 최적화에 대한 건전성 공격 | 리디아 가름스와 마이클 리브시

• 인증된 데이터에 대한 상태 저장 계산을 위한 SNARK | 요하네스 라인하르트, 에릭-올리버 블라스, 비요른 안니호퍼

• 세분화된 검증자 NIZK와 그 응용 | 수아이 한, 셩리 류, 샹유 류, 다우 구

• 타원곡선 암호를 위한 PMNS 산술 | 판간 이수프 도소, 실뱅 뒤케스네, 나디아 엘 므라벳, 엠마 고티에

• zkAML: 화이트리스트 접근 방식을 통한 스마트 컨트랙트에서의 영지식 자금세탁방지 | 동환 오, 세민 한, 지혜 김, 현옥 오, 지열 정, 지은 이, 희준 유, 태완 김

• 기계 학습의 비선형 함수를 위한 확장 가능한 영지식 증명 | 멩 하오, 한샤오 첸, 홍웨이 리, 첸카이 웡, 위안 장, 하오미아오 양, 티안웨이 장

• KZG 다항식 커밋먼트 체계 패밀리의 추출 가능성에 대하여 | 유라이 벨로호레크, 파벨 드보르작, 샬럿 호프만, 파벨 후바체크, 크리스티나 마스코바, 마틴 파스티르지크

• VeRange: 블록체인 응용 프로그램 등을 위한 투명한 설정을 가진 검증 효율적인 영지식 범위 인수 | 위 저우와 시드 치킨 차우

• zkPyTorch: 영지식 기계 학습을 위한 계층적 최적화 컴파일러 | 천청 시에, 타오 루, 지용 팡, 시치 왕, 진페이 장, 용정 자, 던 송, 지아헝 장

• Plonkify: R1CS-to-Plonk 트랜스파일러 | 펑페이 주

• JesseQ: 모든 필드에 대한 효율적인 영지식 회로 증명 | 멩링 류, 양 헝, 싱예 루, 만 호 아우

• 레거시 서명을 위한 소유권 효율적 증명 | 안나 P. Y. 우, 알렉스 오즈데미르, 채드 샤프, 토마스 포르닌, 폴 그럽스

• 솔로이스트: 랭크-원 제약 시스템을 위한 분산 SNARK | 웨이한 리, 종양 장, 윤 리, 펑페이 주, 청 홍, 젠웨이 류

도구/구현

• 느와르의 세마포어 | 분산 랩

• zkVM에서 애그레이어 비관적 증명 및 벤치마크 | 브라이언 성 (@BrianSeong99)

• libZK: 영지식 증명 라이브러리 | 구글

프로젝트 업데이트

• 저렴한 온체인 폴딩 검증기로 모든 계산 검증 가능 | 노바넷

• 라리모 ZK 롤업 출시 | 라리모

• AI를 통제하기 위한 딥프루브: zkML 발표 | 라그랑주

• 파이 스퀘어드 백서 | 파이 스퀘어드

• Lean4의 zk 회로를 위한 형식 검증 DSL 'clean' 소개 | zk 보안

• 발리다를 통한 클라이언트 측 증명 및 검증 | 리타

• OP 체인을 ZK 롤업으로 전환하는 OP 카일루아 | RISC 제로

• 사례 연구: ICICLE로 Zircuit의 영지식 증명 가속화 | 잉고니아마

• ICICLE-Snark: 세계에서 가장 빠른 Groth16 구현 | 잉고니아마

• 넥서스 런타임: 상호운용성을 지원하는 ZK 상태 검증 | 어베일

• 스크롤 로드맵 2025: 보안, 확장성 및 더 나은 사용자 경험 | 스크롤

• LLZK: ZK 언어를 위한 새로운 중간 표현(IR) | 베리다이즈

• zkVerify: 대규모 ZK 증명 검증 최적화 | 델파이디지털

• 매터 랩스, 엘라스틱 체인에서 증명 분산화를 위해 라그랑주 사용 | 라그랑주

• 신드리 탐색기 소개: ZK 앱의 허깅 페이스 | 신드리

• 레오 프로그래밍 언어: 빠르고 안전하며 기다릴 가치가 있음! 🦁 | 알레오

이벤트/해커톤

• ZK 해크 밋업 #11 | 대만 타이페이. 2025년 4월 1일

• ETH 글로벌 타이페이 | 대만 타이페이. 2025년 4월 4일 - 6일

• 비들 아시아 | 한국 서울. 2025년 4월 15일 - 16일

• 인비저블 가든 | 코스타리카. 2025년 4월 21일 - 5월 31일

• zk 서밋13 | 토론토. 2025년 5월 12일

• ETH 글로벌 프라하 | 체코 프라하. 2025년 5월 30일 - 6월 1일

• 댑콘 25 | 독일 베를린. 2025년 6월 16일 - 18일

• ZK 해크 베를린 | 독일 베를린. 2025년 6월 20일 - 22일

• ETHCC | 프랑스 칸. 2025년 6월 30일 - 7월 3일

————

이상입니다! 이번 ZK 메시 에디션을 즐기셨기를 바랍니다. 다음 에디션을 받아보시려면 꼭 구독해주세요.

마지막으로, 다음 에디션에 포함되어야 할 내용이나 형식에 대한 제안이 있다면 @__zkhack__에게 트윗해주세요!