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

Поделиться
HTML-код
  • Опубликовано: 2 окт 2024
  • 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

Комментарии •

Следующие
Автовоспроизведение
Carnegie Mellon University Secure Blockchain Summit - Day 2 Closing Remarks - April 17, 20241:16Carnegie Mellon University Secure Blockchain Summit - Day 2 Closing Remarks - April 17, 2024
Carnegie Mellon University Secure Blockchain Summit - Day 2 Closing Remarks - April 17, 2024CyLab
Просмотров 17
Abhiram Kothapalli - HyperNova: Towards Practical Zero-Knowledge Virtual Machines20:54Abhiram Kothapalli - HyperNova: Towards Practical Zero-Knowledge Virtual Machines
Abhiram Kothapalli - HyperNova: Towards Practical Zero-Knowledge Virtual MachinesCyLab
Просмотров 97
Ethan Cechetti - SCIF: Securing Smart Contracts with Explicit Trust21:09Ethan Cechetti - SCIF: Securing Smart Contracts with Explicit Trust
Ethan Cechetti - SCIF: Securing Smart Contracts with Explicit TrustCyLab
Просмотров 12
True Facts: How Jellyfish Hunt12:05True Facts: How Jellyfish Hunt
True Facts: How Jellyfish HuntZe Frank
Просмотров 428 тыс.
"It's a war zone": Steinhatchee neighbors behind recovery with rubble on every corner02:08"It's a war zone": Steinhatchee neighbors behind recovery with rubble on every corner
"It's a war zone": Steinhatchee neighbors behind recovery with rubble on every cornerWTXL - Tallahassee, FL
Просмотров 111 тыс.
Al Nassr vs. Al Rayyan: Extended Highlights | AFC Champions League Elite | CBS Sports Golazo - Asia12:59Al Nassr vs. Al Rayyan: Extended Highlights | AFC Champions League Elite | CBS Sports Golazo - Asia
Al Nassr vs. Al Rayyan: Extended Highlights | AFC Champions League Elite | CBS Sports Golazo - AsiaCBS Sports Golazo - Asia
Просмотров 132 тыс.
New Beginnings33:03New Beginnings
New BeginningsEamon & Bec
Просмотров 521 тыс.
Bolton Bailey - Formal Verification of SNARK Soundness19:14Bolton Bailey - Formal Verification of SNARK Soundness
Bolton Bailey - Formal Verification of SNARK SoundnessCyLab
Просмотров 22
Abdoulaye Ndiaye - Why Bitcoin and Ethereum Differ in Transaction Costs22:42Abdoulaye Ndiaye - Why Bitcoin and Ethereum Differ in Transaction Costs
Abdoulaye Ndiaye - Why Bitcoin and Ethereum Differ in Transaction CostsCyLab
Просмотров 53
Cybersecurity Architecture: Application Security16:36Cybersecurity Architecture: Application Security
Cybersecurity Architecture: Application SecurityIBM Technology
Просмотров 66 тыс.
Abhi Srivastava Blockchain Interoperability Challenge and Cross chain Bridges mp4 Source10:09Abhi Srivastava Blockchain Interoperability Challenge and Cross chain Bridges mp4 Source
Abhi Srivastava Blockchain Interoperability Challenge and Cross chain Bridges mp4 SourceCyLab
Просмотров 52
Kartik Nayak - Sailfish: Towards Improving Latency of DAG-based BFT23:46Kartik Nayak - Sailfish: Towards Improving Latency of DAG-based BFT
Kartik Nayak - Sailfish: Towards Improving Latency of DAG-based BFTCyLab
Просмотров 70
Jason Milionis - LVR (Loss-Versus-Rebalancing) and the Economics of Decentralized Exchanges16:57Jason Milionis - LVR (Loss-Versus-Rebalancing) and the Economics of Decentralized Exchanges
Jason Milionis - LVR (Loss-Versus-Rebalancing) and the Economics of Decentralized ExchangesCyLab
Просмотров 97
Carnegie Mellon University Secure Blockchain Summit - Policy Panel - April 17, 202456:58Carnegie Mellon University Secure Blockchain Summit - Policy Panel - April 17, 2024
Carnegie Mellon University Secure Blockchain Summit - Policy Panel - April 17, 2024CyLab
Просмотров 23
Introducing ClickHouse -- The Fastest Data Warehouse You've Never Heard Of (Robert Hodges, Altinity)1:01:24Introducing ClickHouse -- The Fastest Data Warehouse You've Never Heard Of (Robert Hodges, Altinity)
Introducing ClickHouse -- The Fastest Data Warehouse You've Never Heard Of (Robert Hodges, Altinity)CMU Database Group
Просмотров 29 тыс.
Ben Taylor - The Digital Asset Accounting Coalition12:09Ben Taylor - The Digital Asset Accounting Coalition
Ben Taylor - The Digital Asset Accounting CoalitionCyLab
Просмотров 19
СОЛНЕЧНОЕ ЗАТМЕНИЕ 2 ОКТЯБРЯ 2024 года САМОЕ ПОЗИТИВНОЕ для всех знаков зодиака от ANGELA PEARL54:04СОЛНЕЧНОЕ ЗАТМЕНИЕ 2 ОКТЯБРЯ 2024 года САМОЕ ПОЗИТИВНОЕ для всех знаков зодиака от ANGELA PEARL
СОЛНЕЧНОЕ ЗАТМЕНИЕ 2 ОКТЯБРЯ 2024 года САМОЕ ПОЗИТИВНОЕ для всех знаков зодиака от ANGELA PEARLAngela Pearl
Просмотров 687 тыс.
🔴СРОЧНО ИРАН АТАКОВАЛ ИЗРАИЛЬ | 400 БАЛЛИСТИЧЕСКИХ РАКЕТ! #новости #иран #израиль #атака19:55🔴СРОЧНО ИРАН АТАКОВАЛ ИЗРАИЛЬ | 400 БАЛЛИСТИЧЕСКИХ РАКЕТ! #новости #иран #израиль #атака
🔴СРОЧНО ИРАН АТАКОВАЛ ИЗРАИЛЬ | 400 БАЛЛИСТИЧЕСКИХ РАКЕТ! #новости #иран #израиль #атакаОдин день
Просмотров 1 млн
ПИ ДИДДИ - АБСОЛЮТНОЕ ЗЛО | Грязный Голливуд (белые вечеринки)16:46ПИ ДИДДИ - АБСОЛЮТНОЕ ЗЛО | Грязный Голливуд (белые вечеринки)
ПИ ДИДДИ - АБСОЛЮТНОЕ ЗЛО | Грязный Голливуд (белые вечеринки)ЮТУБНАЯ
Просмотров 333 тыс.
#kikakim00:10#kikakim
#kikakimKika Kim
Просмотров 13 млн
СОТНИ РАКЕТ ПО ИЗРАИЛЮ: какая расплата ждет Иран? ПРЯМОЙ ЭФИР. 2 октября. Новости Израиля сегодня2:30:29СОТНИ РАКЕТ ПО ИЗРАИЛЮ: какая расплата ждет Иран? ПРЯМОЙ ЭФИР. 2 октября. Новости Израиля сегодня
СОТНИ РАКЕТ ПО ИЗРАИЛЮ: какая расплата ждет Иран? ПРЯМОЙ ЭФИР. 2 октября. Новости Израиля сегодня9 канал | Channel 9
Просмотров 288 тыс.
Life hack 😂 Watermelon magic box! #shorts by Leisi Crazy00:17Life hack 😂 Watermelon magic box! #shorts by Leisi Crazy
Life hack 😂 Watermelon magic box! #shorts by Leisi CrazyLeisi Crazy
Просмотров 25 млн
🎙Пою РЕТРО Песни💃3:05:57🎙Пою РЕТРО Песни💃
🎙Пою РЕТРО Песни💃Саша Квашеная
Просмотров 1,3 млн
Сотни ракет Ирана, тревога по всей стране, стрельба в Тель-Авиве: Израиль после вторжения в Ливан08:55Сотни ракет Ирана, тревога по всей стране, стрельба в Тель-Авиве: Израиль после вторжения в Ливан
Сотни ракет Ирана, тревога по всей стране, стрельба в Тель-Авиве: Израиль после вторжения в ЛиванRTVI Новости
Просмотров 1,4 млн