搜索结果: 1-2 共查到“军事学 falsifiable assumptions”相关记录2条 . 查询时间(0.062 秒)
Iterated Search Problems and Blockchain Security under Falsifiable Assumptions
blockchain protocols proof-of-work falsifiable assumptions
2019/4/1
We put forth a new class of search problems, iterated search problems (ISP), and study their relation to the design of secure blockchain protocols. We prove that (i) any blockchain protocol implies a ...
Separating Succinct Non-Interactive Arguments From All Falsifiable Assumptions
black-box separation computationally sound proofs
2010/11/30
In this paper, we study succinct computationally sound proofs (arguments) for NP, whose communication complexity is polylogarithmic the instance and witness sizes. The seminal works of Kilian '92 and ...