zkMesh: 2023년 11월 요약

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

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

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

** ZK Hack Online은 2024년 1월에 돌아옵니다. 자세한 내용을 보려면 메일링 리스트 에 가입하세요!**

연구

• 바이너리 필드 타워에 대한 간결한 주장 | 벤자민 E. 다이아몬드와 짐 포센

• BaseFold: 접이식 코드의 효율적인 필드 독립적 다항식 커밋 방식 | Hadas Zeilberger, Binyi Chen, Ben Fisch

• 벡터 약속의 간결한 주장에 대한 구체적인 보안 | 알레산드로 키에사, 마르셀 달아뇰, 쯔이 관, 니콜라스 스푸너

• 일정한 크기의 공개 키를 사용한 책임 있는 다중 서명 | 댄 보네(Dan Boneh), 아디티 파르탑(Aditi Partap), 브렌트 워터스(Brent Waters)

• PCP의 병렬 반복 | Alessandro Chiesa, Ziyi Guan 및 Burcu Yıldız

• Isogenies 기반 회로에 대한 그룹 작업 및 영지식 증명의 가단성 약속 | Mingjie Chen, Yi-Fu Lai, Abel Laval, Laurane Marco 및 Christophe Petit

• 양자 시뮬레이션-건전성에 대하여 | 베자드 압돌말레키, 셀린 슈발리에, 에산 에브라히미, 줄리오 말라볼타, 쿠옥후이 부

• E2E 검증 가능한 온라인 투표의 타당성에 관한 – Durga Puja 재판의 사례 연구 | Horia Druliac, Matthew Bardsley, Chris Riches, Christian Dunn, Luke Harrison, Bimal Roy 및 Feng Hao

• ZKSMT: 영지식에서 SMT 정리를 증명하기 위한 VM | Daniel Luick, John Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang 및 Ning Luo

• 비대화형 영지식 기능 증명 | Gongxian Zeng, Junzuo Lai, Zhengan Huang, Linru Zhang, Xiangning Wang, Kwok-Yan Lam, Huaxiong Wang 및 Jian Weng

• Dora: 프로세서 표현력은 RAM 프로그램에 대한 영지식에서 (거의) 무료입니다 | 아루시 고엘, 마티아스 홀-안데르센, 가브리엘 캅추크

• 업데이트 가능한 개인 정보 보호 청사진 | 베르나르도 다비드, 펠릭스 엥겔만, 토레 프레데릭센, 마르쿨프 콜바이스, 엘레나 파그닌, 미하일 볼호프

• 효율적인 양자 병렬 반복 정리 및 응용 | 존 보스탄치(John Bostanci), 루오웬 치안(Luowen Qian), 니콜라스 스푸너(Nicholas Spooner), 헨리 위안(Henry Yuen)

• BabySpartan: 비균일 계산을 위한 올가미 기반 SNARK | 스리나스 세티와 저스틴 탈러

• MPC-in-the-Head를 넘어서: 짧은 영지식 증명의 블랙박스 구성 | 카르미트 하자이(Carmit Hazay), 무투라마크리슈난 벤키타수브라마니암(Muthuramakrishnan Venkitasubramaniam), 모르 와이스(Mor Weiss)

• BLS용 임베디드 곡선 제품군 | 안토니오 산소

• 임계값 암호 해독을 위한 배신자 추적 | 댄 보네(Dan Boneh), 아디티 파르탑(Aditi Partap), 리오르 로템(Lior Rotem)

기사/스레드

• ZK Hack 이스탄불 요약 및 승자 | ZK 해킹

• DevConnect 2023의 통찰력과 반성 | O(1) 연구실

• 이상한 커플: 확장 날짜에 대한 ZK 및 낙관적 롤업 | AltLayer 및 RISC 제로

• ZKID: 개인정보 보호를 위한 디지털 신원을 향한 발걸음 | 스케일링X

• 분산형 증명자 조정 문제 및 메커니즘에 대한 긴 스레드 | @ballsyalchemist

• Nova: IVC에서 zkMapReduce용 일반 PCD로 | @nikkolasg1

• 부스터 롤업 2부: ZK 보조 프로세서로서의 ZK-EVM | 이더리움 연구

• ZKP, SIGINT 및 심리전 | @omershlomovits

• ZK 프로젝트의 현재 상황 | HC캐피탈

• Aztec이 Web3에 개인 정보 보호를 제공하는 방법 설명 | @MohamedFFOuda

• 최신 SNARK 시스템을 구축하는 방법 | 호세산드로 루이스

• Binius: 하드웨어에 최적화된 SNARK | 울베타나

• 더 빠른 약속을 통해 Lasso+Jolt 강화 – 광범위한 결과 초래 | 저스틴 탈러

• Lasso, Jolt 및 SNARK 디자인의 최근 발전에 대한 기술 FAQ | 저스틴 탈러

• ZKML과 자율 세계 | EZKL x 래티스

• 오프체인 컴퓨팅만 있으면 됩니다 | @0x_emperor & @0xkrane

• ZKML 이해하기 | 비드 케르식

• 영지식을 넘어서: 프로그래밍 가능한 암호화의 다음 단계는 무엇일까요? | PSE

• EVM Validiums를 위한 종료 게임: 플라즈마의 귀환 | 비탈릭 부테린

비디오/팟캐스트

• ZK Hack 이스탄불 워크샵 모든 비디오 | ZK 해킹

• Zac Williamson의 2023년 ZK | 안탈파 연구소

• ZK Accelerate 2023 모든 동영상 | 인곤야마

• Axiom을 통해 온체인 거래 및 영수증에 액세스 | 공리

• 에피소드 300: ZK 팟캐스트 회고전 | ZK 팟캐스트

• Alex G와 함께 zkSync 따라잡기 | ZK 팟캐스트

• Brandon 및 Steve와 함께하는 Mina의 zkApps 및 o1js | ZK 팟캐스트

• Or Sattath를 사용한 양자 암호화 파트 2 | ZK 팟캐스트(제1부는 여기에서 찾을 수 있습니다)

가이드 및 리소스

• 모르는 경우 찾아보거나 영지식 증명에 대한 조회 테이블을 만드는 방법 | LambdaClass 블로그

• 멋진 접기 GitHub 레포: 영지식 접기 계획의 엄선된 목록 | 러크 연구소

• 카이로의 공공 기억 | 암호학 블로그

• 버클 나무 | 폴리토프 블로그

• 느와르 언어를 발견하기 위한 노드 가디언즈의 새로운 캠페인 | NodeGuardians x 느와르

• FHE 소개 | 타이코 연구소

• ZK 친화적인 해시 함수를 선택하는 방법은 무엇입니까? | 타세오

• ZK 벤치마크 툴킷 | 인곤야마

취약점/공개

• zkSync 시대의 ZK-EVM 건전성 버그 발견 | 체인라이트

• 커뮤니티 크라우드펀딩 시스템 지갑 사건 | 모네로

도구/구현

• Arkworks 백엔드를 사용하여 3가지 다선형 다항식 커밋 방식(Hyrax, Ligero 및 Brakedown)을 처음부터 구현 | @0xHungryCats

• Uniswap V4 Hook + Brevis ZK 보조 프로세서 = 데이터 기반 DEX 경험 | 브레비스

• plonky2/starky 증명을 가속화하기 위해 Metal Compute Shader를 사용하는 시연 | QED 프로토콜

• Anon Exchange: 세마포어 프로토콜을 사용하여 익명성을 보호하는 NFT 교환 생성 | @lilioo826 x PSE

• Risc0 zkVM의 FHE | 해시클로크

• 기술 심층 분석: RISC Zero에서 FHE 검증, 1부 | @weikengchen

• Web2와 Web3를 Bonsai Pay로 연결: Bonsai 기반 데모 애플리케이션 | RISC 제로

• Farcaster에서 공개 대화를 촉진하고, zk-FID를 증명하고 비공개로 전송 | 33비트

• Python으로 플론크 | 타라스

• 강력한 C 작성 - 취약점 발견 및 예방을 위한 모범 사례 | EF

프로젝트 업데이트

• 하드웨어의 단계, 성능의 도약 | EZKL

• 소비자 데이터의 미래: Snickerdoodle이 제3자 쿠키 문제에 대한 솔루션을 제공하는 방법 | 스니커두들

• 테스트넷 3단계 III 배포 인센티브 회고전 | 알레오

• Polygon Labs와 NEAR Foundation, Polygon CDK용 구성 요소로 zkWasm L2 Prover 구축을 위해 협력 | 다각형 x NEAR

• 칩 회사 Ingonyama, 시드 라운드에서 2천만 달러 조달 | 인곤야마

• Hyperbridge 소개: 상호 운용성 보조 프로세서 | 폴리토프 연구소

• zkSend로 SUI를 DM으로 보내세요 | 미스틴 연구소

• ZKM, ZK 교육 허브 발표 | ZKM

• Aztec, Noir v0.19.2 및 기능 목록 발표 | 아즈텍

• Ethereum용 zkSharding 발표 | ;없음= 기초

• RISC Zero에서 오픈 소스 활용 강화 | RISC 제로

• 간결한 소개 | 간결

• 제품 발표: ZK-Containers | 인곤야마

• ZKP2P, 알파 출시 발표 | ZKP2P

• 파트너십 발표: Ion's Lab에 Modulus를 환영합니다 | 이온 프로토콜

• Avail에서 Ethereum으로 ZKP 보안 양방향 브리지 만들기 | 간결함 x 유용함

• 개인정보 보호를 뛰어넘는 도약 'Ten' 소개 | 옵스큐로 연구소

• Ola, DevTestnet 화이트리스트용 애플리케이션 공개: ZKRolups에 규정 준수 개인정보 보호 제공 | 올라

• Herodotus: Starknet의 저장 증명을 사용하여 Ethereum의 상태 증명 | 스타크웨어 x 헤로도토스

• 지갑 성능 문제 해결, ECC 비상 모드 종료 | 전기주화회사

• 전체 ZK 및 낙관적 ZK를 지원하는 ZKP 요청자-입증자 분리 모델 | ZK풀

• Lagrange의 Recproof와 ZKMapReduce(ZMKR) 스택을 접는 방식과 어떻게 결합합니까? | 라그랑주

이벤트/해커톤

• 다각형 연결 | 인도 벵갈루루. 12월 7일

• ETH인도 | 인도 벵갈루루. 12월 8~10일

• ZK 해킹 IV | 온라인. 2024년 1월 16일 - 2월 6일

• ETH덴버 | 미국 덴버 2월 23일~3월 3일

• ETH글로벌 런던 | 영국 런던. 3월 15일~17일

• RWC 2024 | 캐나다 토론토. 3월 25일~27일

• zkSummit11 | 아테네, 그리스. 4월 10일 - 날짜를 저장하세요

• 유로시스 2024 | 아테네, 그리스. 4월 22일~25일

• ETH글로벌 시드니 | 호주 시드니. 5월 3~5일

• 디앱콘 2024 | 독일 베를린. 5월 21일~23일

• ETH베를린 | 독일 베를린. 5월 24일~26일

• 유로크립트 2024 | 취리히 스위스. 5월 26일~30일

• 데브콘 | 동남아시아. 2024년 봄?

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

————

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

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