部分可验证类型下的无中介通信

Unmediated communication with partially verifiable types

• Philipp Wagner · 多伦多大学 通讯