Puncturable Signatures and Applications in Proof-of-Stake Blockchain Protocol.
Xinyu LiJing XuXiong FanYuchen WangZhenfeng ZhangPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- formal proof
- theorem proving
- lightweight
- formal analysis
- signature verification
- theorem prover
- communication protocol
- mathematical proofs
- neural network
- network protocols
- provably secure
- network simulator
- group communication
- cryptographic protocols
- authentication protocol
- multi party
- distributed databases
- end to end
- multi agent systems