Login / Signup
ISTVP: Independent single transaction verification protocol for light node using fraud proofs without collaborator.
Minghao Lee
Binhao Ma
Di Han
Dejun Wang
Bo Meng
Published in:
IET Blockchain (2024)
Keyphrases
</>
formal proof
formal analysis
cryptographic protocols
transaction data
database
anomaly detection
lightweight
social networks
database systems
electronic commerce
theorem prover
theorem proving
formal verification
concurrency control protocols
database transactions
protocol specification