Succinct Non-interactive Arguments via Linear Interactive Proofs 论文

2013Lecture notes in computer science引用 266
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeComplexity and Algorithms in Graphs
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsComplexity and Algorithms in Graphs
相关技术:Complexity and Algorithms in Graphs
关系图谱

Succinct Non-interactive Arguments via Linear Interactive Proofs · 相关事件

暂无数据