Login / Signup
Transparency Dictionaries with Succinct Proofs of Correct Operation.
Ioanna Tzialla
Abhiram Kothapalli
Bryan Parno
Srinath Setty
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
sparse representation
case study
neural network
formal proof
databases
real world
web services
theorem prover
theorem proving
power plant
formal proofs