ZK Mesh: 2025년 4월 요약

ZK Mesh에 오신 것을 환영합니다. ZK Mesh는 고급 개인정보 보호 암호화, 분산 프로토콜 개발, 영지식 시스템 연구 분야의 최신 소식을 다루는 월간 뉴스레터입니다.

ZK Mesh는 ZK Hack 에서 제작되었습니다.

최신 연구 자료, 유용한 기사, 비디오, 팟캐스트, 트윗, 도구, 프로젝트 업데이트, 그리고 다양한 이벤트를 제공합니다. 매달 새로운 소식이 업데이트되니, 공유하고 구독해 주세요!

연구

• ColliderVM: 사기 방지 없이 비트코인 ​​상태 저장 계산 | Victor I. Kolobov, Avihu M. Levy, Moni Naor

• 타워 필드 상의 Sumcheck를 통한 부울 회로를 위한 효율적인 SNARK | Tianyi Liu 및 Yupeng Zhang

• 작은 공간에서 CPU 실행 증명 | Vineet Nair, Justin Thaler, Michael Zhu

• Zkspeed의 필요성: 영지식 증명을 위한 HyperPlonk 가속 | 알하드 다프타르다르, 지안차오 모, 조이 아키오우, 베네딕트 분츠, 라메쉬 카리, 시다르트 가르그, 브랜든 리건

• GIGA 프로토콜: 블록체인에서 무신뢰성 병렬 컴퓨팅 잠금 해제 | 알베르토 가로폴로, 드미트로 카이달로프, 로만 올리니코프, 다니엘레 디 툴리오, 마리아 로딘코

• 격자를 기반으로 한 효율적인 검증 가능한 믹스넷 재검토 | 조나단 부틀, 바딤 류바셰프스키, 안토니오 메리노-갈라르도

• 속성 기반 공개적으로 검증 가능한 비밀 공유 | Liang Zhang, Xingyu Wu, Qiuling Yue, Haibin Kan 및 Jiheng Zhang

• MProve-Nova: 모네로(Monero) 위한 개인정보 보호 준비금 증명 프로토콜 | 바룬 타코레와 사라바난 비자야쿠마란

• 공개적으로 검증 가능한 일반화된 비밀 공유 체계 및 적용 | Liang Zhang, Dongliang Cai, Tao Liu, Haibin Kan 및 Jiheng Zhang

• PLONK의 효율적인 외계 계산 | 미구엘 암브로나, 데니스 피르소프, 이니고 케레제타-아주르멘디

• 알려진 이산 대수에 대한 지식을 위한 영지식 프로토콜: 기밀 거래 및 익명 Zether 링에 대한 응용 프로그램 | Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang 및 Wenbiao Zhao

• 스레스홀드(Threshold) (완전) 동형암호 | Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap 및 Michael Walter

• 효율적인 비동기식 복호화 기능을 갖춘 스레스홀드(Threshold) FHE | 즈비카 브라케르스키(Zvika Brakerski), 오피르 프리드먼(Offir Friedman), 아비차이 마르모르(Avichai Marmor), 돌레프 무차리(Dolev Mutzari), 유발 스피이저(Yuval Spiizer), 니 트리우(Ni Trieu)

• 부선형 RAM 연산을 갖춘 부울 회로용 GKR | Yuncong Hu, Chongrong Li, Zhi Qiu, Tiancheng Xie, Yue Ying, Jiaheng Zhang 및 Zhenfei Zhang

• 검증 가능한 FHE에 적용하여 작은 특성 분야에 대한 Packed Sumcheck | Yuanju Wei, Kaixuan Wang, Binwu Xiang, Xinxuan Zhang, Yi Deng, Hailong Wang 및 Xudong Zhu

• 선형 시간 누적 계획 | 베네딕트 뷜츠, 알레산드로 키에사, 지아코모 펜지, 윌리엄 왕

• FICS 및 FACS: 코드 전환을 통한 빠른 IOPP 및 축적 | 아누바브 바웨자, 프라티우시 미슈라, 투샤르 모푸리, 마탄 슈테펠

• Myco: 메타데이터 개인 메시징에서 다대수 액세스 잠금 해제 | Darya Kaviani, Deevashwer Rathee, Bhargav Annem, Raluca 에이다(ADA) Popa

기사/스레드

• HyperPlonk의 하드웨어 친화성, Part2 | Ingonyama

• 10GB 무한 블록으로 확장: Avail의 수평 확장성 | Avail

• 포스트 양자 암호화 환경에서의 코드 최적화 | 개인정보 보호 및 확장성 탐색(PSE)

• 브레이브 월렛의 보호된 지캐시(ZEC) | 지캐시(Zcash) | 일렉트릭 코인 컴퍼니

• ZKsync Era에서 이더리움 가상 머신(EVM) 바이트코드 호환성이 이제 활성화되었습니다 | ZKsync

• SP1-2FA 소개: TEE를 사용하여 zkVM에 두 번째 보안 계층 ​​추가 | Succinct

• Lens Chain 출시: Avail 및 ZKsync를 활용한 SocialFi 확장 | Avail

• 스마트 계약은 시작일 뿐: 이더리움의 미래가 ZK 검증 실행인 이유 | 카카롯

• ZK-EVM Prover 입력 표준화 | Kakarot

• 카카롯의 다음 목적지: 증명 가능한 미래 | 카카롯

• 업데이트되었습니다! 인곤야마 연구 보조금 2025 | 인곤야마

• BaseFold±: BaseFold의 다중선형 다항식 커밋먼트 체계를 단순하게 개선한 방법 | Ingonyama

• Brevis가 지원하는 수익 전환 기능 활성화 | Brevis

• CoFHE 소개: 단 한 줄의 코드로 어디서나 FHE 기반 암호화 구현 | Fhenix

• 수평 확장: 라이트 클라이언트 및 다중 교정을 사용한 10GB 블록 | 사용 가능

• 이로의 지혜 | 람다 클래스

• 데이비드와 함께하는 프라이버시 보호 주택 신청 | 하일레

• 다양성 속의 안전: Kakarot이 이더리움을 2배 더 안전하게 만드는 방법 | Kakarot

• Avail이 Lens Chain을 통해 SocialFi를 강화하는 방법 | Avail

• 클라이언트 측 zkML 프레임워크, Bionetta 벤치마킹 | Rarimo

• Succinct, 이더리움과 120개 코스모스(Cosmos) 체인 통합 | Succinct

• 무신뢰성 ZK 기반 USUAL 보상이 이제 메인넷에 출시되었습니다 | Brevis

• Tangerine 업그레이드: Clementine에서의 BitVM 활성화 및 Core 프로토콜 업그레이드 | Citrea

• 아즈텍의 역사: 웹3에서의 선구적 프라이버시 | 아즈텍

• Avail의 Light Client를 사용하여 간단한 Next.js 앱 만들기 | Avail

• Jacob Weightman과의 난로 옆 대화: RISC Zero가 Veridise를 사용하여 입증 가능하고 지속적인 zkVM 보안을 달성하는 방법 |

• Vapps: 인터넷 규모의 검증 가능한 애플리케이션 | Succinct

• 장기 L1 실행 계층 제안, 이더리움 가상 머신(EVM) RISC-V로 대체 | Vitalik Buterin

• 10가지 ZK 활용 사례 | Hyle

• 스파르타 프로토콜 설명 | 스리나트 세티

• 진화하는 zkTLS: 분산형 오라클의 개인 정보 보호 컴퓨팅 | Nillion

• 기밀 유지의 균형: 솔라나(Solana) 생태계의 기밀성 강화 | 헬리우스

• 윙윙 | @tcoratger

• 폐쇄형 소스 AI 모델의 성능 입증 | EZKL

• Ethproofs 콜 #1에서 새로운 zkVM 3개가 공개되었습니다 | @eth_proofs

• 미덴: 엣지 블록체인 | @0x미덴

비디오/팟캐스트

• ZkCloud의 Norbert와 함께하는 증명자 조정 | 제로 지식 팟캐스트

• 코너 스완과 함께하는 ZK 벤치마크 | 제로 지식 팟캐스트

• Rarimo와 함께 온체인에서 ZK 레지스트리 구축 | 제로 지식 팟캐스트

• Ethproofs 콜 #1 | zkVMs | 이더리움

• ZK Hack 미팅 녹음 플레이리스트 | ZK Hack

가이드 및 리소스

• 격자 기반 ZK 설명 | ZKV

• Halo2 건전성 문제 가이드 | @0xteddav

• KZG의 변형: 1부, 단변량 | zkSecurity

• WebGPU를 활용한 ZK Proving 가속화: 기술과 과제 | zkSecurity

• 하이퍼큐브 IR: 영지식 증명 시스템의 기반 | Cysic

도구/구현

• 마이크로 zk-proofs JS 라이브러리 | Paul Miller

프로젝트 업데이트

• R0VM 2.0 소개 | RISC Zero

• DeFi 3.0: 무신뢰성 적응적이며 실시간 | EZKL

• 1단계를 포함한 최초의 zk-rollup이 확인되었습니다: 무엇이며 왜 중요한가 | 스크롤

• 미나 프로토콜(MINA) 커뮤니티 콜: 전략적 변화 및 생태계 업데이트 | 미나 프로토콜(MINA)

이벤트/해커톤

• 보이지 않는 정원 | 코스타리카. 2025년 4월 21일 - 5월 31일

• zkSummit13 | 토론토. 2025년 5월 12일

• ZK Hack Meetup #13 | 체코 프라하, 2025년 5월 28일

• ETHGlobal 프라하 | 체코 프라하. 2025년 5월 30일 - 6월 1일

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

• ZK Hack Berlin 해커톤 | 독일 베를린. 2025년 6월 20일 - 22일

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

————

자, 이제 끝입니다! 이번 ZK Mesh 편이 마음에 드셨기를 바랍니다. 다음 편을 받아보시려면 구독 하세요.

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