HELIOPOLIS: Verifiable Computation Over HE Data from Interactive Oracle Proofs is Practical
▶HELIOPOLIS: Verifiable Computation Over HE Data from Interactive Oracle Proofs is Practical — a 2024 FHE.org conference 2024 security conference talk on crypto (27:01 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube