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

No abstract is available for this paper.

• Publication year

  2016

• Venue

  IEEE Symposium on Security and Privacy

• Publication date

  2016-05-22

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/SP.2016.55
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fair and Robust Multi-party Computation Using a Global Transaction Ledger

  2016cited by this paper
• Accelerating Wright–Fisher Forward Simulations on the Graphics Processing Unit

  2016cited by this paper
• Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab

  2016cited by this paper
• Enigma: Decentralized Computation Platform with Guaranteed Privacy

  2015cited by this paper
• How to Use SNARKs in Universally Composable Protocols

  2015influential reference
• Complete Characterization of Fairness in Secure Two-Party Computation of Boolean Functions

  2015cited by this paper
• ObliVM: A Programming Framework for Secure Computation

  2015cited by this paper
• Efficient RAM and control flow in verifiable outsourced computation

  2015cited by this paper
• The Ring of Gyges : Using Smart Contracts for Crime

  2015cited by this paper
• Secure Sampling of Public Parameters for Succinct Zero Knowledge Proofs

  2015cited by this paper
• Micropayments for Decentralized Currencies

  2015cited by this paper
• Eclipse Attacks on Bitcoin's Peer-to-Peer Network

  2015cited by this paper
• The Bitcoin Backbone Protocol: Analysis and Applications

  2015cited by this paper
• SoK: Research Perspectives and Challenges for Bitcoin and Cryptocurrencies

  2015cited by this paper
• Geppetto: Versatile Verifiable Computation

  2015cited by this paper
• GNUC: A New Universal Composability Framework

  2015cited by this paper
• Authenticated data structures, generically

  2014cited by this paper
• How to Use Bitcoin to Design Fair Protocols

  2014influential reference
• Bitcoin Transaction Malleability and MtGox

  2014cited by this paper
• Byzantine Consensus from Moderately-Hard Puzzles : A Model for Bitcoin

  2014cited by this paper
• Scalable Zero Knowledge Via Cycles of Elliptic Curves

  2014cited by this paper
• Chaskey: An Efficient MAC Algorithm for 32-bit Microcontrollers

  2014cited by this paper
• How to Use Bitcoin to Incentivize Correct Computations

  2014influential reference
• Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations

  2014cited by this paper
• Secure Multiparty Computations on Bitcoin

  2014influential reference
• Zerocash: Decentralized Anonymous Payments from Bitcoin

  2014influential reference
• Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture

  2014cited by this paper
• ZØ: An Optimizing Distributing Zero-Knowledge Compiler

  2014cited by this paper
• Quantitative Analysis of the Full Bitcoin Transaction Graph

  2013cited by this paper
• Pinocchio: Nearly Practical Verifiable Computation

  2013influential reference
• A Fistful of Bitcoins Characterizing Payments Among Men with No Names

  2013cited by this paper
• ZQL: A Compiler for Privacy-Preserving Data Processing

  2013cited by this paper
• Recursive composition and bootstrapping for SNARKS and proof-carrying data

  2013cited by this paper
• CryptoNote v 2.0

  2013cited by this paper
• SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge

  2013cited by this paper
• Zerocoin: Anonymous Distributed E-Cash from Bitcoin

  2013cited by this paper
• Pinocchio coin: building zerocoin from a succinct pairing-based proof system

  2013cited by this paper
• PCF: A Portable Circuit Format for Scalable Two-Party Secure Computation

  2013cited by this paper
• Quadratic Span Programs and Succinct NIZKs without PCPs

  2013cited by this paper
• The SIMON and SPECK Families of Lightweight Block Ciphers

  2013cited by this paper
• Majority is not enough

  2013cited by this paper
• Random Oracles with(out) Programmability

  2010cited by this paper
• Bitcoin: A Peer-to-Peer Electronic Cash System

  2008influential reference
• Sharemind: A Framework for Fast Privacy-Preserving Computations

  2008cited by this paper
• Short PCPs with Polylog Query Complexity

  2008cited by this paper
• Universally Composable Security with Global Setup

  2007cited by this paper
• Universally composable signature, certification, and authentication

  2004cited by this paper
• Using replication and partitioning to build secure distributed systems

  2003cited by this paper
• Uptake and transport of selenite and selenate by soybean seedlings of two genotypes

  2003cited by this paper
• Universal Composition with Joint State

  2003cited by this paper
• Universally composable security: a new paradigm for cryptographic protocols

  2001cited by this paper
• Capability-Based Financial Instruments

  2000cited by this paper
• Formalizing and Securing Relationships on Public Networks

  1997cited by this paper
• Provision of Public Goods: Fully Implementing the Core through Private Contributions

  1989cited by this paper
• Limits on the security of coin flips when half the processors are faulty

  1986cited by this paper
• Counterspeculation, Auctions, And Competitive Sealed Tenders

  1961cited by this paper

• Zero‐Knowledge Proof Enabled Blockchain Smart Contracts for Efficient Health Insurance System

  2026cites this paper
• From Bitcoin to Ethereum: ethics and antifragility of decentralization

  2026cites this paper
• gcVM: Publicly Auditable MPC via Garbled Circuits with Applications to Private EVM-Compatible Computation

  2026cites this paper
• Techniques for Using Server-side Node.js Modules with the Truffle Ethereum Development Framework

  2026cites this paper
• Blockchain and IoT based smart contract framework for efficient and secure product life management

  2026cites this paper
• NeuroCrypt: A Neuro Symbolic AI Ecosystem for Advanced Cryptographic Data Security and Transmission

  2026influential citation
• An analytical framework for evaluating blockchain and IoT use cases in sustainable supply chains

  2026cites this paper
• Blockchain-Enhanced Maritime Education Ecosystem: Decentralized Credentialing for Global Seafarer Competency Verification

  2026cites this paper
• Blockchain-based academic certificate credentialing system for Asia Pacific University

  2026cites this paper
• Academic certificate fraud detection by Web-based intelligent access control system: An effective role of Blockchain technology

  2026cites this paper
• Qurrency: a quantum-secure, private, and auditable platform for digital assets

  2026cites this paper
• Enhancing Food Security with Blockchain: Developing a Web3 Application to Strengthen National Food System Resilience

  2025cites this paper
• Chain Bridge: A Secure Privacy-Preserving Framework for Anonymous Authentication and Cross-chain Routing

  2025cites this paper
• BC-TMICP: A Blockchain-based Transitional Medical Image Copyright Protection Scheme From Centralization to Decentralization

  2025cites this paper
• Smart Contract Management in Resource Sharing Agreements

  2025cites this paper
• Game-Theoretically Fair Distributed Coin Tossing With Private Preferences

  2025cites this paper
• Dynamic adversarial neural cryptography for ensuring privacy in smart contracts

  2025cites this paper
• A Comprehensive Survey on the Evolution of Proof of Work Consensus for EHR Smart Contracts: From Classical to AI Driven Approaches

  2025cites this paper
• Research on Access Control Model of Electronic Medical Records Based on Blockchain Technology

  2025cites this paper
• Blockchain in the Digital Twin Context: A Comprehensive Survey

  2025influential citation
• Non-coercive extortion in game theory

  2025cites this paper
• zk-Agreements: A Privacy-Preserving Way to Establish Deterministic Trust in Confidential Agreements

  2025cites this paper
• An Intelligent NFT Marketplace Framework Integrating Blockchain Technology and Artificial Intelligence for Digital Asset Management

  2025cites this paper
• Harnessing the Synergy of Artificial Intelligence and Blockchain Technology in Smart Buildings for Enhanced Efficiency and Security

  2025cites this paper
• ZTP: A Scalable and Lightweight Privacy-Preserving Blockchain via Scale-Free Quorums and Geometric Fragmentation

  2025cites this paper
• Efficient Privacy-Preserving Blueprints for Threshold Comparison

  2025cites this paper
• GeeksGather: A Novel Approach to Verified Technical Communities

  2025cites this paper
• TrustFabric: A Privacy-Preserving Method for Hyperledger Fabric Using Trusted Execution Environment

  2025cites this paper
• Metaheuristic-Based Secure Forecasting of Cryptocurrency Volatility in Adversarial Environments

  2025cites this paper
• Decentralized Cross-Border Financial Aid Distribution Utilizing Blockchain-Based Tokenization

  2025cites this paper
• Towards Authorization and Batch Validation for NFTs: A Cryptographic Generic Framework

  2025cites this paper
• Unobservable Contracts from Zerocash and Trusted Execution Environments

  2025cites this paper
• DeFeed: Secure Decentralized Cross-Contract Data Feed in Web 3.0 for Connected Autonomous Vehicles

  2025cites this paper
• A Systematic Approach to Selecting the Right Blockchain for a Given Application

  2025cites this paper
• RaceTEE: Enabling Interoperability of Confidential Smart Contracts

  2025cites this paper
• Securing Credit Inquiries: The Role of Real-Time User Approval in Preventing SSN Identity Theft

  2025cites this paper
• A Review on AI - Enhanced Security in Blockchain and Cloud-Based Electronic Healthcare Records Systems

  2025cites this paper
• The Transparency Challenge in Blockchain-Enabled Sustainable Development Goals Applications: Exploring Privacy-Preserving Techniques and Emerging Platforms

  2025cites this paper
• Revolutionizing carbon sequestration: Integrating IoT, AI, and blockchain technologies in the fight against climate change

  2025cites this paper
• Verifiability for privacy-preserving computing on distributed data — a survey

  2025cites this paper
• Reliability Analysis of Smart Contract Execution Architectures: A Comparative Simulation Study

  2025cites this paper
• MPC-EVM: Enabling MPC Execution by Smart Contracts In An Asynchronous Manner

  2025cites this paper
• A Study on Blockchain Technology: Its Applications & Future Trends

  2025cites this paper
• BitPriv: A Privacy-Preserving Protocol for DeFi Applications on Bitcoin

  2025cites this paper
• Secure Enterprise Transaction with Corda Technology

  2025cites this paper
• Sealed-Bid Auctions via TEE-Backed Confidential Compute Blockchains

  2025cites this paper
• Privacy-Preserving Genomic Data Sharing via Hybrid AES/ECC and Blockchain-Based Dynamic Consent

  2025cites this paper
• Blockchain-Based Digital Identity Management Systems

  2025cites this paper
• A Framework for Decentralized Will Execution Using Smart Contracts and Secret Sharing

  2025cites this paper
• Smart contract-based data access control and consensus mechanism in edge computing environment

  2025cites this paper
• VerITAS: Verifying Image Transformations at Scale

  2025cites this paper
• A Survey on Off-chain Technologies

  2025cites this paper
• Differential Privacy-Preserving GANs for De-Identification of Medical Images in Federated Health Networks

  2025cites this paper
• Securing Educational Credentials with Zero-Knowledge Proofs and Blockchain Technology

  2025cites this paper
• High-Performance Number Theoretic Transform on GPU Through radix2-CT and 4-Step Algorithms

  2025cites this paper
• Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning

  2025cites this paper
• zk-DASTARK: A quantum-resistant, data authentication and zero-knowledge proof scheme for protecting data feed to smart contracts

  2025cites this paper
• Yoimiya: A Scalable Framework for Optimal Resource Utilization in ZK-SNARK Systems

  2025cites this paper
• An Efficient Consensus Protocol for Blockchain Technology in Smart Grid Contracts

  2025cites this paper
• Asteroid X: A Decentralized Finance Platform for Mining Sectors

  2025cites this paper
• Looking at NFT Art Through the Eyes of Virtual Communities: A Netnographic Analysis

  2025cites this paper
• Comprehensive Analysis of Mitigation Strategies for Denial-of-Service Attacks on Smart Contracts

  2025cites this paper
• BatchZK: A Fully Pipelined GPU-Accelerated System for Batch Generation of Zero-Knowledge Proofs

  2025cites this paper
• ReZK: A Highly Reconfigurable Accelerator for Zero-Knowledge Proof

  2025cites this paper
• Block chain technologies for UAV swarms and UAV-based networks, SLR

  2025cites this paper
• Privacy-Preserving Biometric Verification With Handwritten Random Digit String

  2025cites this paper
• Blockchain technology adoption and sustainable performance in Chinese manufacturing: insights on learning and organizational inertia

  2025cites this paper
• Beyond the blockchain hype: addressing legal and regulatory challenges

  2025cites this paper
• Quantum-safe identity-based designated verifier signature for BIoMT

  2025cites this paper
• MuLPP: A multi-level privacy preserving for blockchain-based bilateral P2P energy trading

  2025cites this paper
• Digital Innovation in Admission Processes based on an Architectural Model of Information Security using Blockchain Technology

  2025cites this paper
• Mitigating Blockchain extractable value (BEV) threats by Distributed Transaction Sequencing in Blockchains

  2025cites this paper
• zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks

  2025cites this paper
• Cybersecurity With Blockchain: Strengthening the Privacy and Security of Data in Internet of Things Networks

  2025cites this paper
• Air-FRI: Acceleration of the FRI Protocol on the GPU for ZkSNARK Applications

  2025cites this paper
• Bibliometric Analysis of Scientific Publications on Blockchain Research and Applications

  2025cites this paper
• The Application of Blockchain Technology in Cross-Border Personal Data Transfer Activities in Indonesia: Opportunities and Challenges

  2025cites this paper
• ZKPoG: Accelerating WitGen-Incorporated End-to-End Zero-Knowledge Proof on GPU

  2025cites this paper
• Practical Iterative Quantum Consensus Protocol With Sharding Construction

  2025cites this paper
• Web Assembly and Blockchain for High-Performance Secure Front-End Systems

  2025cites this paper
• k-out-of-n Proofs and Application to Privacy-Preserving Cryptocurrencies

  2025cites this paper
• Transaction-Level Blockchain Rewrites with Revocation and Traceability Using Attribute-Based Cryptosystems

  2025cites this paper
• The environmental cost of cryptocurrency: Analyzing CO2 emissions in the 9 leading mining countries

  2025cites this paper
• Committed random double blinded coalition-proofed sampling

  2025cites this paper
• Trusted Execution Environments for Blockchain: Toward Robust, Private, and Scalable Distributed Ledgers

  2025cites this paper
• Jigsaw: Doubly Private Smart Contracts

  2025influential citation
• Blockchain Aided Smart Consensus Model for IoMT Architecture

  2025cites this paper
• Cycles Protocol: A Peer-to-Peer Electronic Clearing System

  2025cites this paper
• Blockchain-based access control and privacy preservation in healthcare: a comprehensive survey

  2025cites this paper
• ScaFedCrowd: A secure cross-system anonymous authentication and privacy-preserving task recommendation scheme for federated crowdsourcing

  2025cites this paper
• Encryption Algorithm Identification through ML with Character Frequency Approach

  2025cites this paper
• Trust in a Decentralized World: Data Governance From Faithful, Private, Verifiable, and Traceable Data Feeds

  2025cites this paper
• HiFA: A High-Performance and Flexible Acceleration Framework for Large-Size Number Theoretic Transform

  2025cites this paper
• A User Based HVAC System Management Through Blockchain Technology and Model Predictive Control

  2025cites this paper
• Trust, But Verify When Using the Powers of Tau

  2025cites this paper
• A Note on Notes: Towards Scalable Anonymous Payments via Evolving Nullifiers and Oblivious Synchronization

  2025cites this paper
• Exploring blockchain’s role in enhancing marketing strategies within the sharing economy

  2025cites this paper
• Blockchain-Enabled Zero Trust Architectures for Securing 6G-Connected Smart Cities

  2025influential citation
• Fast and designated-verifier friendly zk-SNARKs in the BPK model

  2025cites this paper
• Scalable Vehicle Toll Model using Second Layer Blockchain

  2025cites this paper