Proof of Steak

12/13/2021
by   Jon Crowcroft, et al.
0

We introduce Proof-of-Steak (PoS) as a fundamental net-zero block generation technique, often accompanied by Non-Frangipane Tokens. Genesis cut is gradually heated and minted (using the appropriate sauce), enabling the miners to redirect the extracted gold and the dissipated heat into the furnace, hence enabling the first fully-circular economy ever built using blockchain technology, utilising tamper-evident steak haché. In this paper we present the basic ingredients for building Proof-of-Steak, assessing its global impact, and opportunities to save the world and beyond!

READ FULL TEXT
research
01/14/2020

A circular proof system for the hybrid mu-calculus

We present a circular and cut-free proof system for the hybrid mu-calcul...
research
06/29/2021

Zero-knowledge Based Proof-chain – A methodology for blockchain-partial system

Intuitively there is a drastic distinction between the pure decentralize...
research
04/30/2018

Proof of spending in block-chain systems

We introduce proof of spending in a block-chain system. In this system t...
research
06/22/2021

Counterexample to cut-elimination in cyclic proof system for first-order logic with inductive definitions

A cyclic proof system is a proof system whose proof figure is a tree wit...
research
09/05/2021

Post-Quantum VRF and its Applications in Future-Proof Blockchain System

A verifiable random function (VRF in short) is a powerful pseudo-random ...
research
09/30/2021

Enabling Blockchain Scalability and Interoperability with Mobile Computing through LayerOne.X

Interoperability and scalability are currently the bottlenecks preventin...
research
05/04/2023

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq

We address the challenges of scaling verification efforts to match the i...

Please sign up or login with your details

Forgot password? Click here to reset