[ECC X ZKS] Deep dive on Halo2

안녕하세요 ZKS 운영자 AJ 입니다.
Zcash 로 잘 알려진 Electric Coin Compan (ECC) 의 핵심 개발자를 초대하여
최근 릴리즈한 Halo2 에 대해서 자세히 알아보는 시간을 갖습니다.
(온라인이며 링크는 추후 공유합니다.)

Zcash 의 경우 블록체인 영역에서 zk-SNARK 를 실제로 적용하여 구동하는 첫 사례로 여겨집니다. ZKP에 관심 많은 분들이 해당 zk-SNARK 스킴을 한번쯤은 들어보셨을 듯합니다.
Halo2 는 고성능 zk-SNARK의 Rust 구현체이며 ZCash의 확장성(Scalability)를 확보하면서도 기존 zkp에서 필요했던 Trusted Setup 을 하지 않습니다.

발표자 : Daira Hopwood & Ying Tong
주제 :

• Halo 와 Halo2 의 차이점 (SONIC을 PLONG 로 대체)
• PLONK 증명 시스템 소개
• PLONK 증명이 Halo polycommit 스킴과의 적합성
• 성능 / 벤치마크
• 실제 코드 설명 (시간이 남을 경우)

시간 : 45분 + Q/A

많은 참여부탁드립니다.

===============================
Title: Deep dive on Halo 2

Background: Halo 2, is a high-performance zk-SNARK implementation — written in Rust — which eliminates the need for a trusted setup while setting the stage for scalability in Zcash. The goal with Halo 2 is to build a robust and secure implementation that the Zcash community can feel confident adopting in the protocol.

Specific Topics:
Differences between Halo and Halo 2 (SONIC replaced by PLONK)
Overview of PLONK proving system
How PLONK proofs fit into Halo polycommit scheme
Optimisations + benchmarks
Code walkthrough if time allows

Audience Level: Intermediate
Talk Format: 45 mins + Q&A/ Discussion
Speaker : Daira Hopwood , Ying Tong