Login / Signup
Bypassing Non-Outsourceable Proof-of-Work Schemes Using Collateralized Smart Contracts.
Alexander Chepurnoy
Amitabh Saxena
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
supply chain
theorem proving
database
website
image sequences
theorem prover
linear logic