A File Verification Scheme Based on Verkle Trees.

Kai-Wei Lin Yu-Chi Chen

Published in: ICCE-Taiwan (2023)

Keyphrases

decision trees
file system
database
model checking
face verification
representation scheme
real time
neural network
search engine
database systems
formal verification
verification method
functional verification