Stakechain: A Bitcoin-Backed Proof-of-Stake.

Published in: Financial Cryptography Workshops (2022)

Keyphrases

theorem prover
theorem proving
credit card
database
artificial intelligence
knowledge base
multiscale
data structure
digital libraries
proof planning
mathematical proofs