Скачать или смотреть Discoveries from Analyzing 141 Real-World ZK-SNARK Vulnerabilities! 🧐

Join me for a quick review of 'SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs.' We'll discuss the key findings from the paper, focusing on the taxonomy of 141 real-world vulnerabilities in SNARK implementations and providing some quick feedback on the proposed security enhancements. Tune in to gain insights into how these vulnerabilities can impact SNARK-based systems now and in the future.

paper: https://arxiv.org/pdf/2402.15293.pdf

#zkp #snark #vulnerability

Other links:
ZK10: ZK Vulnerabilities and Attacks - Stefanos Chaliasos -    • ZK10: ZK Vulnerabilities and Attacks - Ste...  
ZK10: Pushing the limits in the automated detection of vulnerabilities in ZKP circuits -    • ZK10: Pushing the limits in the automated ...  

==== 💻 FuzzingLabs Training ====
C/C++ Whitebox Fuzzing: https://academy.fuzzinglabs.com/c-whi...
Rust Security Audit and Fuzzing: https://academy.fuzzinglabs.com/rust-...
WebAssembly Reversing and Dynamic Analysis: https://academy.fuzzinglabs.com/wasm-...
Go Security Audit and Fuzzing: https://academy.fuzzinglabs.com/go-se...

==== 🦄 Join the community ====
https://academy.fuzzinglabs.com/fuzzi...

==== 📡 Socials ====
Twitter:   / fuzzinglabs  
Telegram: https://t.me/fuzzinglabs
TikTok:   / fuzzinglabs  

Keywords: ZK, Zero Knowledge, ZKP, Proof, Verifier, Prover, SNARKS, STARKS, Aleo, Noir, Aztec, ZKEVM, Vulnerabilities, Bugs, Unsoundness, Unconstrainte, Fuzzing, CIrcom, Circuit
Link to this video:    • Discoveries from Analyzing 141 Real-World ...