Login / Signup
iChing: A Scalable Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto's Design via Proof-of-Stake).
Lei Fan
Hong-Sheng Zhou
Published in:
IACR Cryptol. ePrint Arch. (2017)
Keyphrases
</>
design process
knowledge based systems
theorem prover
theorem proving
design principles
database
database systems
multiscale
data structure
computer aided
user experience
engineering design
design decisions
design tools
automated theorem proving