Analyzing Polygon's zkEVM PIL State Machines with Leo Alt
Автор: Spearbit
Загружено: 2023-07-10
Просмотров: 329
Описание:
Unravel the Secrets of Polygon zkEVM's PIL State Machines. 🎓 Join us for an exclusive seminar with @leonardoalt, Formal Verification Lead at the Ethereum Foundation & Spearbit Lead Security Researcher, as he delves into the world of PIL State Machines!
🛠️ Discover Pilspector, the cutting-edge PoC tool for static analysis, nondeterminism checks, and proofs of correctness. Witness the results from various zkEVM state machines and their coverage during the seminar.
Follow Leo Alt ➡️ / leonardoalt
Polygon zkEVM Audit Reports ➡️ https://github.com/0xPolygonHermez/zk...
ABOUT SPEARBIT -
Spearbit is a decentralized network of expert security engineers offering reviews and other security-related services to Web3 projects with the goal of creating a stronger ecosystem. Our network has experience in every part of the blockchain technology stack, including but not limited to protocol design, smart contracts and the Solidity compiler.
LINKS -
🌐 Website: https://spearbit.com/
📄 Portfolio: https://github.com/spearbit/portfolio
🐦Twitter: / spearbitdao
#Spearbit #Web3 #Web3Security #smartcontract #blockchain #ethereum
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
