Recently, The ACM SIGPLAN International Conference on Systems, Programming, The ACM Sigplan International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) has come to an end in Pasadena, California, USA. During the ACM Student Research Competition (SRC) held during the conference, Zhong Youwei, An undergraduate of Zhiyuan College's first John Hopcroft Class, presented his research work on "A Parameterized Framework for the Formal Verification of zero-knowledge virtual machines. Zero-Knowledge Virtual Machines "and won the second place in the undergraduate group.

In this paper, a parameterized framework for formal verification of zero-knowledge virtual machines is proposed for the first time, and the cryptographic properties of zero-knowledge virtual machines are formalized for the first time. The research was highly praised by the review experts as very interesting and meaningful.

ACM SIGPLAN SPLASH Conference is one of the top annual international conferences in the field of computer systems and programming languages, and the main part of SPLASH OOPSLA is A class A conference recommended by the Chinese Computer Society. The conference mainly consists of academic reports and discussion activities. The ACM Student Research Competition (SRC) provides an exclusive forum for undergraduate and graduate students to present their original research to judges and attendees at prestigious ACM sponsored conferences, as well as the opportunity to participate in the computer science research community.