Incremental Proofs of Sequential Work.

Nico Döttling Russell W. F. Lai Giulio Malavolta

Published in: EUROCRYPT (2) (2019)

Keyphrases

incremental learning
theorem prover
data driven
efficient incremental
incremental version
data sets
sequential search
incremental clustering
theorem proving
digital libraries
probabilistic model
video sequences
database systems
natural deduction
genetic algorithm
information retrieval
databases