Abstract:We introduce a new class of protocols called Proofs of Work or Knowledge PoWorKs. In a PoWorK, a prover can convince a verifier that she has either performed work or that she possesses knowledge of a witness to a public statement without the verifier being able to distinguish which of the two has taken place. We formalize PoWorK in terms of three properties, completeness, f-soundness and indistinguishability where f is a function that determines the tightness of the proof of work aspect and present a construction that transforms 3-move HVZK protocols into 3-move public-coin PoWorKs. To formalize the work aspect in a PoWorKï¾¿protocol we define cryptographic puzzles that adhere to certain uniformity conditions, which may also be of independent interest. We instantiate our puzzles in the random oracle RO model as well as via constructing \"dense\" versions of suitably hard one-way functions. We then showcase PoWorKï¾¿protocols by presenting a number of applications. We first show how non-interactive PoWorKs can be used to reduce spam email by forcing users sending an e-mail to either prove to the mail server they are approved contacts of the recipient or to perform computational work. As opposed to previous approaches that applied proofs of work to this problem, our proposal of using PoWorKs is privacy-preserving as it hides the list of the receiver's approved contacts from the mail server. Our second application, shows how PoWorK can be used to compose cryptocurrencies that are based on proofs of work \"Bitcoin-like\" with cryptocurrencies that are based on knowledge relations these include cryptocurrencies that are based on \"proof of stake\", and others. The resulting PoWorK-based cryptocurrency inherits the robustness properties of the underlying two systems while PoWorK-indistinguishability ensures a uniform population of miners. Finally, we show that PoWorKï¾¿protocols imply straight-line quasi-polynomial simulatable arguments of knowledge and based on our construction we obtain an efficient straight-line concurrent 3-move statistically quasi-polynomial simulatable argument of knowledge.

Plausibly Deniable Content Discovery for Bitswap Using Random Walks

Exploring the design space of privacy-enhanced content discovery for bitswap

Improving Bitswap Privacy with Forwarding and Source Obfuscation

SW-R2P: A Trusted Small World Overlay P2P Network with Zero Knowledge Identification.

A Small World Overlay P2P Transfer System with Role-Based and Reputation-Based Access Control Policies

Indistinguishable Proofs of Work or Knowledge.

PeerSwap: A Peer-Sampler with Randomness Guarantees

A random walk based anonymous peer-to-peer protocol design

Uncontrolled Randomness in Blockchains: Covert Bulletin Board for Illicit Activity

Content Censorship in the InterPlanetary File System

A Succinct Provable Data Possession Mechanism for Lightweight Clients in Network Computing.

Spam Prevention Using zk-SNARKs for Anonymous Peer-to-Peer Content Sharing Systems

Proof of file access in a private P2P network using blockchain

PROB: A Lightweight Approach for Fast Content Propagation in P2P Networks

Wb-Proxshare: A Warrant-Based Proxy Re-Encryption Model for Secure Data Sharing in Iot Networks Via Blockchain

Proofware: Proof of Useful Work Blockchain Consensus Protocol for Decentralized Applications

Sorcery: Could We Make P2P Content Sharing Systems Robust to Deceivers?

Proof of Sampling: A Nash Equilibrium-Secured Verification Protocol for Decentralized Systems

Garlic Cast: Lightweight and Decentralized Anonymous Content Sharing.

A lightweight anonymity protocol at terabit speeds on programmable switches

Attribute-based Searchable Proxy Re-encryption Blockchain Data Sharing Scheme