Er-Cheng | Recursive Proof Composition

Sat, Oct 2, 2021, 12:00 AM

Speaker introduction Er-Cheng Tang is a research engineer at HashCloak. He is interested in mathematics, cryptography, distributed systems, and game theory. Currently, he contributes to the Meson mixnet project and conducts blockchain security audits with the HashCloak team. Talk description "Recursive Proof Composition" Verification is central to the robustness of the blockchain networks, given that nodes can get offline. Improving verification costs would enable peers to quickly sync blockchain states. Some have introduced succinct arguments as a way to save verification costs, but generating these arguments still requires intensive resources. In this talk, I will discuss recursive proof composition as a technique to better handle the costs arising from the lengthy blockchain history. I will also explain the high-level idea of how to build such schemes.