prosyslab-classroom / cs348-information-security

60 stars 10 forks source link

[Ad] ZK 프로그램 #370

Open KihongHeo opened 1 year ago

KihongHeo commented 1 year ago

Sorry this message is in Korean.

다른 교수님의 요청으로 아래 프로그램 정보 공유합니다. 관심이 있는 사람은 참여해 보시고요. 참여와는 별개로, 수업시간에 기환씨가 질문한 것에 대해 더 알고 싶으면 아래 설명과 웹사이트부터 출발해보면 되겠습니다.

== ZK Summer contribution program 개요 이번 여름, 2023년 7월 31일 부터 8주간 교육과 그룹 활동을 통해 암호학에 대해 공부하고 실제 오픈소스에 기여할 수 있는 ZK summer contribution program이 운영됩니다.

오픈소스 소프트웨어는 소스 코드를 공개함으로써 누구나 자유롭게 수정, 재배포 할 수 있는 소프트웨어를 말합니다. 오픈소스 소프트웨어는 자유 소프트웨어 운동에서 시작되어 현재의 컴퓨팅 환경을 만드는 데 큰 기여를 했습니다. 현재는 리눅스, 안드로이드와 같은 OS, 텐서플로우와 같은 라이브러리, Python, Rust 등의 프로그래밍 언어 등 다방면의 소프트웨어가 오픈소스로 개발되고 있습니다.

최근 각광을 받고 있는 영지식 증명(Zero Knowledge Proof) 기술은 특정한 암호학적 도구를 이용해 프라이버시를 해치지 않으면서 신뢰할 수 있는 합의를 만드는 것을 가능하게 했습니다. 현재 블록체인에서는 특정 그룹의 일원임을 개인정보 노출 없이 증명할 수 있는 Semaphore, 이를 이용한 익명 SNS, 익명 투표, 스팸 방지 프로토콜이 영지식 증명을 활용해 만들어졌습니다. 블록체인뿐만 아니라 Edge computing, AI 기술에서도 암호학적 도구를 이용해 개인정보를 보호하려는 시도가 늘어나고 있습니다. 개인정보 보호와 더불어 Ethereum Foundation에서 이더리움 가상 머신(EVM)을 작동을 증명하는 zkEVM 프로젝트를 진행하고 Microsoft Research에서는 Virtual Machine의 작동을 영지식 증명으로 만드는 프로토콜을 발표하는 등 다양한 방면으로 연구되고 있습니다.

이번 프로그램은 5주간의 그룹 학습과 토의, 3주간의 기여 기간으로 이루어져 있습니다. 기본적인 정수론에서부터 현대대수학의 기초 내용과 타원곡선(Elliptic curve)을 이해한 뒤, 암호학에서 그러한 수학적 지식이 어떻게 사용되는지 익히고 실제 그러한 지식을 기반으로 개발된 오픈소스에 기여하게 됩니다. 오픈소스 프로젝트는 Typescript, Python, Rust로 개발되고 있으며 영지식 증명 프로그램 작성 전용 언어인 circom이 사용되거나 Rust의 영지식 증명 라이브러리인 halo2를 사용하고 있습니다. 이 프로그램을 통해, 참여한 모든 분들은 오픈소스 개발 문화와 암호학에 대해서 알아가고 실제 사용되고 배포되는 오픈소스 프로젝트에 기여를 할 수 있는 기회를 얻을 수 있습니다.

운영 일정

지원 자격

얻어갈 수 있는 것

  1. 영지식 증명을 비롯한 현대 암호학에 대한 이해
  2. GitHub 오픈소스 기여 경력
  3. 우수한 참가자에게 Grant 수여

자세한 정보 및 신청 https://pse-team.notion.site/PSE-ZK-Summer-Contribution-Program-fffef810476a45e88394fd120dc48697?pvs=4

주최, 주관 및 운영: Privacy & Scaling Explorations team @ Ethereum Foundation

Privacy & Scaling Explorations (PSE) 팀은 이더리움 재단 내에서 암호학 연구와 개발 도구, 라이브러리 개발을 통해 개인정보 보호 문제와 이더리움의 확장성 문제를 해결하고 있습니다.