搜索结果: 1-2 共查到“军事学 search problems”相关记录2条 . 查询时间(0.078 秒)
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 ...
We consider natural ways to extend the notion of Zero-Knowledge (ZK) Proofs beyond decision problems. Specifically, we consider search problems, and define zero-knowledge proofs in this context as int...