Fast amortized KZG proofs.

Dankrad Feist Dmitry Khovratovich

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

worst case
search tree
theorem proving
binary search trees
theorem prover
decision procedures
running times
equational theories
external memory
block size
mathematical proofs
formal proof
natural deduction
databases
data structure
main memory
multi dimensional
evolutionary algorithm
formal proofs
computer vision