| Title: |
Proof of Proof offers Universal Verifiable Computing by Correct-by-Construction ZKP Generation for All Programming Languages |
| Speaker: |
陈霄泓（CTO），Pi Squared Inc. |
| Time: |
2024年9月20日（周五），上午10:00 |
| Venue: |
中关村实验室 一号楼三层 会307，（#腾讯会议：486-527-706） |
| Abstract: |
Proof of Proof is a new technology for universal, trust-base-minimal, and fully interoperable verifiable computing, where programming languages and VMs are brought into an integrated computing space with full interoperability; where the trustbase of verification certificates is reduced to a minimum; where the need for traditional yet buggy language implementations (compilers, transpilers, interpreters, …) are eliminated; and where maintaining language changes/updates is as easy as plug-and-play. |
| Bio: |
Xiaohong Chen is the Chief Technology Officer, a formal methods engineer, and a zero-knowledge (ZK) researcher at Pi Squared Inc. His interests include formal program specification and verification, program logic, and efficient and scalable ZK solutions, as well as applying these techniques to achieve verifiable computing for all programs in all programming languages. Xiaohong obtained his BSc at Peking University and PhD at the University of Illinois Urbana-Champaign. |
下载中心
会议室预定
电子邮箱