Hawk: The Blockchain Model of Cryptography and Privacy-Preserving Smart Contracts

By Ahmed E. Kosba, Andrew K. Miller, Elaine Shi, Zikai Alex Wen, Charalampos Papamanthou. 2016

2,218 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Information Systems

Citations in the corpus

Ekiden: A Platform for Confidentiality-Preserving, Trustworthy, and Performant Smart Contracts (2018, neutral): “Researchers have explored cryptographic solutions to these challenges, such as various zero-knowledge proof systems [47] and secure multiparty computation [95].”
Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings (2019, background): “In recent years, cryptocurrencies have been one increasingly popular real-world application [10, 44, 52, 57], with general zero-knowledge protocols now deployed in both Zcash and Ethereum.”
A Blockchain Research Framework (2017, background): “Regarding anonymity, deanonymization attacks through analyzing transaction logs (Meiklejohn et al. 2013; Ron and Shamir 2013) are argued to be a major technology adoption hindrance (Kosba et al. 2015).”
Blockchain and Federated Learning for Privacy-Preserved Data Sharing in Industrial IoT (2020, methodology): “All the profiles of data from multiple participants will be recorded in forms of transactions, and will be verified by the blockchain nodes through adopting Merkle tree [24].”
Blockchain for smart grid resilience: Exchanging distributed energy at speed, scale and security (2017, background): “Applying blockchain based smart contracts [2 – 4] presents an opportunity to increase the speed, scale and security of transactive energy applications [5 – 7].”
Making sense of blockchain technology: How will it transform supply chains? (2019, background): “Blockchains have enabled the creation of decentralised currencies such as Bitcoin, self-executing digital contracts (‘smart contracts’) and intelligent assets that can be controlled over the internet, as in smart property (Wright and De Filippi, 2015; Kosba et al., 2016).”
Computational Integrity with a Public Random String from Quasi-Linear PCPs (2017, positive): “KOE-based systems were implemented in [66, 71, 15, 19, 77], and further optimizations of this latter system for specific applications related to Bitcoin [65] such as smart contracts [58] and anonymous payment systems [12] are already being evaluated by commercial entities [46].”
Giving State to the Stateless: Augmenting Trustworthy Computation with Ledgers (2019, background): “There have also been a number of attempts to combine trusted execution environments and public ledgers, but aimed at slightly different goals [39], [35], [65].”
Blockchain based searchable encryption for electronic health record sharing (2019, background): “The fairness defined in this paper is similar to [1, 24, 25].”
Concurrency and Privacy with Payment-Channel Networks (2017, methodology): “Note that our model for a blockchain is a coarse grained abstraction of the reality and that more accurate formalizations are known in the literature, see [44].”
Applications of Blockchains in the Internet of Things: A Comprehensive Survey (2019, methodology): “transactional model of the blockchain, the block headers or smart contract conditions [33], [102], [103].”
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge (2017, methodology): “Again, following [42], the timer functionality, message batching, and adversarial message re-ordering in KM-Buyer are handled by a generic “smart-contract wrapper”.”