Polylogarithmic Proofs for Multilinears over Binary Towers.

Benjamin E. Diamond Jim Posen

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

Keyphrases

real time
theorem prover
theorem proving
data sets
face recognition
relational databases
non binary
multi valued
decision procedures
formal proofs