Cryptanalysis of Lattice-Based Sequentiality Assumptions and Proofs of Sequential Work.

Chris Peikert Yi Tang

Published in: CRYPTO (5) (2024)

Keyphrases

theorem proving
simplifying assumptions
theorem prover
scatter search
real time
databases
machine learning
natural deduction
sequential search
formal proof
mathematical proofs
search engine
logic programs
sequential data
initial conditions