zkMesh: 2024년 5월 요약

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

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

최신 연구, 유용한 기사, 비디오, 팟캐스트, 트윗, 도구, 프로젝트 업데이트 및 이벤트를 제공합니다. 매달 새로운 버전이 출시될 예정입니다. 꼭 공유하고 구독해주세요 !

** ZK Hack Montréal은 8월 9일부터 11일까지 진행됩니다(가입 신청) **

연구

• 무조건 UC 보안이 포함된 ROM의 zkSNARK (Alessandro Chiesa 및 Giacomo Fenzi 제작)

• Clap: 의미 보존 최적화 컴파일러를 사용하는 PlonKish 증명 시스템용 Rust eDSL 작성자 : Marco Stronati, Denis Firsov, Antonio Locascio 및 Benjamin Livshits

• 비전 Mark-32: Tomer Ashur, Mohammad Mahzoun, Jim Posen 및 Danilo Šijačić의 바이너리 타워 필드에 대한 ZK 친화적 해시 함수

• ZK의 우로보로스: 검증기를 검증하면 장기적인 ZK 혁신이 실현되는 이유 작성자: Denis Firsov 및 Benjamin Livshits

• Annalisa Barbara, Alessandro Chiesa 및 Ziyi Guan의 상대화된 간결한 주장은 존재하지 않습니다.

• Albert Garreta, Hayk Hovhanissyan, Aram Jivanyan, Ignacio Manzur, Isaac Villalobos 및 Michał Zając의 FRI 기반 SNARK에 대한 상각 기술

• SigmaSuite: 간결한 최종 검증을 유지하면서 ZKP 회로에서 외래 산술을 최소화하는 방법 - Wyatt Benno

• 대규모 MPC: Remco Bloemen, Daniel Kales, Philipp Sippl 및 Roman Walch의 개인 홍채 코드 고유성 검사를 수백만 명의 사용자에게 확장

• Jan Bobolz, Pooya Farshim, Markulf Kohlweiss 및 Akira Takahashi 의 글로벌 일반 그룹 및 UC 보안 제로 오버헤드 SNARK의 멋진 신세계

• Noga Ron-Zewi 및 Mor Weiss의 증인 길이에 접근하는 영지식 IOP

• Or Keret, Ronin(RON) D. Rothblum 및 Prashant Nalini Vasudevan의 통계적 영지식 에서 두 배 효율적인 배치 검증

• PERK: 순열 커널 문제의 새로운 변형을 기반으로 한 컴팩트 서명 체계 - Slim Bettaieb, Loïc Bidoux, Victor Dyseryn, Andre Esser, Philippe Gaborit, Mukul Kulkarni 및 Marco Palumbi

• 프록싱으로 충분함: TLS Oracle의 프록싱 보안 및 AEAD 컨텍스트 위조 불가능성 작성자 : Zhongtang Luo, Yanxue Jia, Yaobin Shen 및 Aniket Kate

• Antonio Faonio, Dario Fiore 및 Luigi Russo의 실제 Universal zkSNARK는 가단성이 없습니다.

• 신경망을 위한 효율적이고 확장 가능한 영지식 증명 프레임워크 - Tao Lu, Haoyu Wang, Wenjie Qu, Zonghui Wang, Jinye He, Tianyang Tao, Wenzhi Chen 및 Jiaheng Zhang

• Hoeteck Wee와 David J. Wu가 작성한 k-Lin의 회로에 대한 간결한 기능 약속

• Scott Griffy, Markulf Kohlweiss, Anna Lysyanskaya 및 Meghna Sengupta의 추가 동형 암호화 데이터에 대한 간결하게 검증 가능한 계산을 통한 개인 정보 보호 청사진

기사/스레드

• ZK Hack Kraków 요약 기사 | ZK 해킹

• ZK 업계 리더, 물질 연구소를 비난하고 ZK 티커 토론에서 다면체 편을 들다 | 사슬에서 풀려난

• ZK 상표에 대한 Matter Labs의 답변

• 레이어 2는 실제로 실행 샤딩과 어떻게 다른가요? | 비탈릭 부테린

• 영지식 패러다임: 1부 - zk-VM이란 무엇입니까? | 리타

• ZK 여권 기반 투표 구축 | 라리모

• 탈중앙화는 밈(meme) 아닙니다(1부) | 아즈텍

• SNARK를 사용한 검증 가능한 FHE 부트스트래핑 | 자마

• 모듈러 대 모놀리식은 죽었습니다 | =없음; 기반

• 토네이도 캐시에 대한 미국 정부의 위선적 사례 | 코인데스크

• 전염병 MPC, 효율적인 데이터 구조 및 고급 암호화 기술을 통해 ZK-롤업 확장성, 보안 및 검열 저항 최적화 | EthResearch 포럼

• 끊임없는 접근: 가장 빠른 영지식 증명 시스템을 위한 경쟁 | ICME

• 신뢰 인프라를 설계해야 합니다 | 통크

• 기술 혁신, 신뢰하지 않음 확인, SNARK 레시피 | a16z crypto

비디오/팟캐스트

• Justin Thaler와 함께하는 ZK 시스템의 정의, 보안 및 Sumcheck | 제로 지식 팟캐스트

• Antonio Sanso 및 Youssef El Housni와 함께 새로운 타원 곡선 발견 | 제로 지식 팟캐스트

• Pluto의 Tracy와 함께하는 웹 증명 | 제로 지식 팟캐스트

• Ligero와 Ligetron의 MPC & ZK | 제로 지식 팟캐스트

• 동형이 없는 축적(Wilson Nguyen - Stanford, William Wang - NYU) | zk스터디클럽

• ZK Accelerate Athens: 요약 및 링크(Chainlink) 허브 | 인곤야마

• L3 Summit ETHDenver의 토론 패널: zkEVM 대 zkVM – 사용 사례, 과제 및 미래 | ETH덴버

• Paul Lou: NP ∩ coNP​​의 어려운 언어와 구조화되지 않은 경도의 NIZK 증명 | CMU Cylab 암호화폐 세미나

• 이론에서 코드로: 획기적인 zkVM Jolt 구축 | a16z crypto

• 기술 청중에게 영지식 증명을 설명하는 강연 및 패널 | 뉴욕의 ZK 다이브

가이드 및 리소스

• 해시 함수로 암호화 증명 구축 | 알레산드로 키에사 & 에일론 요게브

• 문매쓰 스터디 그룹 | ZK 해킹

• WTF-zk 튜토리얼 | WTF아카데미

• BrainSTARK: Turing-complete zk-STARK 엔진 설계 | @aszepieniec

• 협업 zk-SNARK에 대한 참고 사항 | 레쿠

• zkSNARK를 사용한 SHA256 해시 의 영지식 증명 | 비노드 카루나나야케

취약점/공개

• 스마트빈 종이 깨기 | 아리엘, 리암

• 취약점 보고서: 바이낸스 PoR 더미 사용자 공격 | 레쿠

• ETHDam(n) | 마치

• Web3 보안 수호자인 Recon을 만나보세요 | Web3sec 뉴스

• ZKP의 고급 형식 검증 : 두 가지 버그 이야기 | CertiK

• 길이 확장 공격 | @0xtiagofneto

도구/구현

• 입증 가능한 비트코인 ​​라이트 클라이언트를 위한 접기 방식 사용 | @xyz_pierre

• Open-Binius: 바이너리 필드에 대한 ZK 증명 가속화를 위한 빌딩 블록 | 인곤야마

• ZK 애플리케이션 구축 | 리게로

프로젝트 업데이트

• Succinct의 SP1, 폴리곤(Polygon) Plonky3으로 구축… Agg 레이어용 | 폴리곤(Polygon)

• Taiko가 이더리움 메인넷에 출시되었습니다! | 타이코

• Lita의 Valida zkVM & C 컴파일러 발표 | 리타

• 이더리움용 zkSharding | =없음; 기반

• 정말 어둡고 어두운 풀 만들기 | 자외선 차단제

• zkTLS로 새로운 세계를 증명하다 | 텔라

• ZK 보안의 해 | zk보안

• ZKP를 활용하여 RWA 토큰화의 개인정보 보호 문제 해결 | 노바넷

• Zeth, Optimism의 옵티미즘(OP) 스택에 타당성 증명 제공 | RISC 제로

• SNARKnado 소개 | 알펜 연구소

• RISC Zero의 신뢰할 수 있는 설치 행사 확인 | RISC 제로

• 보안 감사 요약: 영지식 가상 머신(zkVM) | RISC 제로

• 스틸 소개 | RISC 제로

• ZaKi 소개 | 인곤야마

• Linea에서 유동성의 중요성 | 리네아

• SP1 테스트넷 출시: 개발자를 위한 가장 빠르고 기능이 완전한 zkVM | 간결한 실험실

• ZKThreads: 디앱(DApp) 용 표준 ZK 샤딩 프레임워크 | 스타크웨어

• ZKBoost: ZKML을 위한 새로운 XGBoost 모델 | 기자

• 이기종 증명 집계를 위한 프레임워크 | 리제 연구소

• 범용 zkVM은 어떻게 네트워크 효과를 달성할 수 있습니까? | ZKM

• 호리즌(Horizen) 영지식 증명으로 블록체인을 재정의하는 방법 | 호라이즌 연구소

• 라그랑주의 다음 장 | 라그랑주 연구소

• Ola: 인프라 그 이상 – Web2와 Web3 세계를 연결하는 새로운 게이트웨이 | 올라

• 디지털 신원: 영지식 증명으로 개인 정보 보호 문제 해결 | 미나 프로토콜(MINA) 프로토콜

이벤트/해커톤

• 이더리움(ETH) 프라하 | 프라하, 체코. 5월 31일 - 6월 2일

• EthCC | 벨기에의 브뤼셀. 7월 8~11일

• 암호화의 날 | 벨기에의 브뤼셀. 7월 9일

• ZK Hack Meetup #5 | 벨기에의 브뤼셀. 7월 9일

• ETHGlobal 브뤼셀 | 벨기에의 브뤼셀. 7월 12일 - 14일

• ZK 해킹 몬트리올 | 캐나다 몬트리올. 8월 9일 - 11일 (지금 신청하세요!)

• ETH바르샤바 | 바르샤바, 폴란드. 9월 5~8일

• ETHGlobal 싱가포르 | 싱가포르. 9월 20일~22일

• zkSummit12 | 리스본, 포르투갈. 10월 8일(날짜를 저장하세요)

• ETHGlobal 샌프란시스코 | 미국 샌프란시스코. 10월 18일~20일

• 데브콘 | 방콕, 태국. 11월 12일~15일

• ETH글로벌 방콕 | 방콕, 태국. 11월 15일~17일

————

거기 있어요! 이 zkMesh 버전이 마음에 드셨기를 바랍니다. 받은편지함으로 다음 버전을 받으려면 구독을 꼭 하세요.

마지막으로, 다음 버전에 포함되어야 한다고 생각하는 내용이나 형식에 대한 제안 사항이 있으면 @__zkhack__ 로 트윗해 주세요!