Results 261 to 270 of about 4,888,581 (309)

Blockchain Without Waste: Proof-of-Stake

The Review of financial studies, 2020
Permissionless blockchains require a protocol to generate consensus. Many prominent permissionless blockchains employ Proof-of-Work (PoW) for that purpose, but PoW possesses significant shortcomings. Various alternatives have been proposed.
Fahad Saleh
semanticscholar   +1 more source

The Knowledge Complexity of Interactive Proof Systems

SIAM journal on computing (Print), 1989
Usually, a proof of a theorem contains more knowledge than the mere fact that the theorem is true. For instance, to prove that a graph is Hamiltonian it suffices to exhibit a Hamiltonian tour in it; however, this seems to contain more knowledge than the ...
S. Goldwasser, S. Micali, C. Rackoff
semanticscholar   +1 more source

Proof Against Proof:

2022
Abstract This paper offers a new reading of the final chapters of Sextus Empiricus’ Against the Logicians (M 8.463–81), arguing against two orthodoxies: (i) that here we have an instance of the sceptic deploying his classic method of equipollence (opposing equally compelling arguments against one another and suspending judgement in light
openaire   +1 more source

Proof and Canonical Proof

Synthese, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Proof of Local Convergence for the Adam Optimizer

IEEE International Joint Conference on Neural Network, 2019
Adaptive Moment Estimation (Adam) is a very popular training algorithm for deep neural networks, implemented in many machine learning frameworks. To the best of the authors knowledge no complete convergence analysis exists for Adam.
Sebastian Bock, M. Weiß
semanticscholar   +1 more source

Revision proofness

Journal of Economic Theory, 2014
We analyze an equilibrium concept called revision-proofness for infinite-horizon games played by a dynasty of players. Revision-proofness requires strategies to be robust to joint deviations by multiple players and is a refinement of sub-game perfection. Sub-game perfect paths that can only be sustained by reversion to paths with payoffs below those of
Ales, Laurence, Sleet, Christopher
openaire   +2 more sources

Strategy-Proof Exchange [PDF]

Econometrica, 1995
Summary: We consider the allocation of goods in exchange economies with a finite number of agents who may have private information about their preferences. In such a setting, standard allocation rules such as Walrasian equilibria or rational expectations equilibria are not compatible with individual incentives.
Barbera, Salvador, Jackson, Matthew O
openaire   +2 more sources

Proof of Authentication: IoT-Friendly Blockchains

IEEE potentials, 2019
This article introduces the concept of proof of authentication (PoAh) for the lightweight implementation of blockchains in the Internet of Things (IoT). The PoAh can replace existing consensus algorithms, such as proof of work (PoW), proof of stake (PoS),
Deepak Puthal, S. Mohanty
semanticscholar   +1 more source

Noninteractive Proof

2006
No abstract.
openaire   +2 more sources

Spill proof

Nursing Standard, 1987
An anti-spill device which is attached to the standard male urine bottle may help to solve the problem of accidental spillage.
openaire   +2 more sources