Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocol.

Xinyu Li Jing Xu Xiong Fan Yuchen Wang Zhenfeng Zhang

Published in: CoRR (2019)

Keyphrases

formal proof
lightweight
theorem prover
formal analysis
signature verification
real time
communication protocol
network protocols
tcp ip
digital signature
theorem proving
cryptographic protocols
signature recognition
trusted third party
end to end
electronic commerce
complete axiomatization
coloured petri nets