Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits

Описание к видео Kostas Ferles - Practical Security Analysis of Zero-Knowledge Proof Circuits

From the 2024 Carnegie Mellon University Secure Blockchain Summit. Kostas Ferles, Chief Research Officer at Veridise, discusses his research on common vulnerabilities in Circom, the most popular domain-specific language for zero-knowledge proof (ZKP) circuits, and describes a static analysis framework for detecting these vulnerabilities.

Originally recorded at Carnegie Mellon University on April 17, 2024.

#blockchain #cryptocurrency #cryptoeconomy #web3 #crypto #defi #zkp

Комментарии

Информация по комментариям в разработке