Login / Signup
Redactable Proof-of-Stake Blockchain with Fast Confirmation.
Jing Xu
Xinyu Li
Lingyuan Yin
Bingyong Guo
Han Feng
Zhenfeng Zhang
Published in:
IACR Cryptol. ePrint Arch. (2019)
Keyphrases
</>
theorem proving
linear logic
theorem prover
genetic algorithm
database
data sets
search engine
information systems
e learning
proof planning
geometry theorem proving