The Ethereum Core Program, now in its third year, is an academic and technical exchange organized by the Ethereum Foundation, and is a technical conference where participants study and implement topics such as ZK, FHE, and MPC, along with the fundamentals of modern cryptography.
References:
Youtube: What is ZK: Computer Scientist Explains One Concept in 5 Levels of Difficulty
Source : a41-tech blog. Written by Juman Han. Full text below
2024 Trustless: ๋ธ๋ก์ฒด์ธ์ ์ฌ์ ํ ์ต์ ์ผ๊น?
https://medium.com/decipher-media/exploring-the-landscape-of-zkvms-436813427a90
Exploring the Landscape of zkVMs
The unforgeable nature of blockchains offers many possibilities. At the same time, with the explosion of AI-generated content, there is a strong need for proof of what is true. Many people studying blockchain say that blockchain by itself cannot solve this, and that ZK makes this possible. This is where the "ZK is the end game" mantra comes in.
What if a professor wants to conduct a survey in a room of 100 students? The answer is easy. You use Google Forms. But what if it's an anonymous survey, and all 100 people must submit? If even one person doesn't submit, you need to keep reminding everyone.
How about this? [1] seal and shuffle the survey results as they are submitted, but [2] get a post-it note with your professor's signature on it for each submission. There you have it, a zero-knowledge proof without a single line of code.
Zero-knowledge proof programming languages make it possible to implement in the software world. Programs written in these languages can be verified [1]. Execute the programmed task [2]. Produce and print a proof of that action, and anyone can verify this proof [2] that the job is done correctly.