Archives
CVL from ERC20 to Read Only Reentrancy
Formal Verification for smart contracts has never realized its potential adoption due to prevalent m...
Ghila Castelnuovo
Incident response at OpenZeppelin Contracts and how to be in the loop
Smart contract libraries can experience bugs. Not knowing who uses the libraries, and how, it is ver...
Francisco Giordano
Building MPC Wallets
MPC has become a central tool in crypto, but there are many challenges and subtleties in deploying i...
Yehuda Lindell
zkEVM audit: Soundness & Completeness
1- Brief explanation of Soundness and completeness, and the difference 2- Brief explanation of the z...
Jacob Van Geffen
Auditing zkEVM and it's attack surfaces
Sharing the experience of auditing the very first zkEVM by Polygon, and how to form a security revie...
Vahe Karapetyan
Medjai: Verifying ZK Smart Contracts
Medjai is a tool for formally verifying smart contracts in Cairo. Unlike traditional testing, formal...
Jacob Van Geffen
Top Hacks since EthCC ’22: what did we learn?
Discover the most daring blockchain hacks of '22-'23 and how to defend against them. Join Rekt and...
Matthias Egli
Julien Bouteloup
Auditing ink! with OpenZeppelin
How we make safer and better our smart contract language by being audited by OpenZeppelin
Lea Narzis