✨ 코어 프로그램이란 무엇인가?

올 해로 3년째 진행되고 있는 이더리움 코어 프로그램은, 이더리움 재단 (Ethereum Foundation)에서 주관/진행하는 학문적, 기술적 교류의 장으로, 현대 암호학의 기초와 함께 ZK, FHE, MPC 등의 주제를 함께 공부하고 구현해 보는 기술 컨퍼런스 입니다.

참고 :

Youtube : ZK 란 무엇인가? Computer Scientist Explains One Concept in 5 Levels of Difficulty

📂 A41 CTO 한주만님의 블로그

Source : a41-tech 블로그. 한주만님 작성. 전문 아래 링크

2024 Trustless: 블록체인은 여전히 최선일까?

📂디사이퍼 블로그 포스팅 : zkVM Exploration

https://medium.com/decipher-media/exploring-the-landscape-of-zkvms-436813427a90

Exploring the Landscape of zkVMs

🎯 왜 지금 ZK Proof (Zero-Knowledge Proof, 영지식 증명) 인가?

블록체인의 위/변조가 불가능한 특성은 많은 가능성을 제시합니다. 동시에 AI 생성형 컨텐츠의 폭발과 함께 어떤 것이 진실인가에 대한 증명이 강하게 요구되고 있습니다. 블록체인을 공부하는 많은 사람들은 블록체인 자체만으로는 이것을 해결 할 수 없으며, ZK의 도움으로 이것이 가능해진다고 이야기합니다. 일명 “ZK is the end game” 이라는 Mantra의 등장입니다.

100명의 학생이 모여있는 방에서 교수님이 설문조사를 하려면 어떻게 할까요? 답은 쉽습니다. 구글설문조사를 이용하면 됩니다. 하지만, 익명 설문에서, 반드시 100명 모두가 제출해야만 한다면 어떨까요? 1명이라도 제출하지 않으면 모두에게 계속해서 공지해야 합니다.

이렇게 하면 어떨까요? [1]설문 결과를 제출할때 밀봉하고, 섞도록 하되, [2]제출할 때마다 교수님의 서명을 담은 포스트잇을 받으면 됩니다. 자, 당신은 이렇게 단 한줄의 코딩 없이 영지식 증명을 경험 했습니다.

영지식 증명 프로그래밍 언어들은, 소프트웨어 세상에서 구현가능하게 합니다. 이러한 언어로 작성된 프로그램들은 [1]. 프로그램된 작업을 실행하고 [2]. 해당 작업의 증명을 만들어 출력합니다. 그리고 누구나 이 [2]번 증명서를 직접 검증하므로써 영지식 증명은 완결됩니다.