132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu

Name: 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu
Uploaded: 2024-01-01
Duration: 8 min 21 s
Description: 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu — a 2024 IEEE S&P Sessions 2024 security conference talk on crypto (8:21 min). Watch the full video, indexed free on the Breach Arc Archive.

IEEE S&P Sessions 2024 · 2024 · 8:21

▶

132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu — a 2024 IEEE S&P Sessions 2024 security conference talk on crypto (8:21 min). Watch the full video, indexed free on the Breach Arc Archive.

▶ Watch video on YouTube

crypto

← Back to the Breach Arc Archive