USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs

Name: USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs
Duration: 12 min 37 s
Description: USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs — a USENIX security conference talk on crypto (12:37 min). Watch the full video, indexed free on the Breach Arc Archive.

USENIX · 12:37

▶

USENIX Security '24 - Formalizing Soundness Proofs of Linear PCP SNARKs — a USENIX security conference talk on crypto (12:37 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive