On the way to new and exciting research!
-
Peking University
- Moon
-
10:48
(UTC +08:00)
Verified zk(E)VM
Verified-zkEVM
Github organization for the verified zk(E)VM formal verification project
Yanshi XU
xuyanshi
If you're thinking without writing, you only think you're thinking.
Renmin University of China Beijing, China