Security proofs explained: What they guarantee (and what they don’t) | Alp Bassa

Description

What’s a security proof — and does it really make your protocol safe? Alp Bassa explains the value (and limits) of proofs and why real security comes from wise expert review and validation. 0:00 What is a security proof for a cryptographic protocol? 1:37 What benefits does a security proof have? 3:18 What guarantees does proof provide? 4:01 If there is proof, is everything alright? 5:18 If I have already audited my security protocol, do I still need security proof? 6:06 Can a proof be wrong? 6:25 What type of protocols should you consider conducting these security proofs? About Veridise: Veridise is an industry-leading blockchain security company. We conduct security audits and develop tools for smart contracts, blockchains, and zero-knowledge. https://veridise.com/