132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu
Industry experts analyze emerging threats surrounding 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·19 min
Industry experts analyze emerging threats surrounding 6 Efficient Zero knowledge Arguments for Paillier Cryptosystem Rae Gong.
efficientzeroknowledge+3
IEEE Symposium on Security and Privacy·18 min
Presenters detail vulnerability discovery and exploitation in 6 Efficient Zero knowledge Arguments for Paillier Cryptosystem Rae Gong1.
efficientzeroknowledge+3
Strange Loop Conference·38 min
Industry experts analyze emerging threats surrounding "Rhapsody in Zero Knowledge: Proving Without Revealing" by Tony Arcieri.
rhapsodyzeroknowledge+2