ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data

Explore a conference talk on ADSNARK, a system for privacy-preserving proofs on authenticated data. Delve into the challenges of proving computations over data from trusted sources to third parties while maintaining privacy and correctness. Examine the three-party model, application scenarios, and the design of ADSNARK, which offers significant improvements over existing solutions. Learn about its enhanced proof-computation time and reduced prover storage space compared to previous systems like Pinocchio. Gain insights into the implications for wearable computing, smart metering, and business-to-business interactions.