Shielded computations in smart contracts overcoming forks
From MaRDI portal
Publication:2145367
DOI10.1007/978-3-662-64322-8_4zbMATH Open1491.91164OpenAlexW3210043073MaRDI QIDQ2145367FDOQ2145367
Authors: Vincenzo Botta, Daniele Friolo, D. Venturi, Ivan Visconti 
Publication date: 17 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-662-64322-8_4
Recommendations
Cites Work
- Title not available (Why is that?)
- The Bitcoin Backbone Protocol: Analysis and Applications
- How to use bitcoin to design fair protocols
- Analysis of the Blockchain Protocol in Asynchronous Networks
- Modeling Bitcoin contracts by timed automata
- Thunderella: blockchains with optimistic instant confirmation
- Bitcoin as a transaction ledger: a composable treatment
- Fair and robust multi-party computation using a global transaction ledger
- Overcoming cryptographic impossibility results using blockchains
- Founding secure computation on blockchains
- Instantaneous decentralized poker
- Secure multi-party computation with identifiable abort
- Publicly verifiable proofs from blockchains
- Efficient constant-round MPC with identifiable abort and public verifiability
- Insured MPC: efficient secure computation with financial penalties
- Hybrid consensus: efficient consensus in the permissionless model
- Afgjort: a partially synchronous finality layer for blockchains
Cited In (3)
Uses Software
This page was built for publication: Shielded computations in smart contracts overcoming forks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145367)
