Formal Verification of Smart Contracts in Cairo
Thu, Jul 11, 2024, 02:31 PM · 20:50
Delve into formal verification of smart contracts in Cairo language, highlighting its potential amidst the current lack of tooling, yet underscoring its pivotal role in ensuring security and reliability through rigorous validation techniques.
Nostra
More from EthCC2024
44:43Better DevEx: How to build and use web3.js plugins🧩
EthCC
EthCC2024 · Jul 17, 2024
SantiagoDevRel
15:485 Lessons Learned Building Autonomous Worlds
EthCC
EthCC2024 · Jul 16, 2024
William Robinson
18:27L2^2: multi-chain L2 settlement
EthCC
EthCC2024 · Jul 16, 2024
Avihu Levy
41:50Is Ethereum’s Issuance Policy Sustainable?
EthCC
EthCC2024 · Jul 16, 2024
Caspar Schwarz-Schilling, Ansgar Dietrichs
23:53Exploring L2/L3 Orbit Chains - Why & How
EthCC
EthCC2024 · Jul 16, 2024
Mahsa Moosavi
20:11Kakarot zkEVM: beyond ethereum compatibility
EthCC
EthCC2024 · Jul 16, 2024
Elias Tazartes
21:20Gamers'Verdict on Tokenized Items: Insights from Sorare
EthCC
EthCC2024 · Jul 16, 2024
Brian O'Hagan
03:24Decentralized Trust as a Web3 Primitive
EthCC
EthCC2024 · Jul 16, 2024
Radek Sienkiewicz
21:24Stay hydrated: a new approach for state growth
EthCC
EthCC2024 · Jul 16, 2024
David Mihal
26:00Human-Readable Push Notifications on Ethereum
EthCC
EthCC2024 · Jul 15, 2024
Gheorghe Pinzaru, Anastasia Rodionova
19:11EasyRetroPGF.xyz - RetroPGF for any EVM Based Ecosystem
EthCC
EthCC2024 · Jul 15, 2024
Kevin Owocki
48:57Building Trust: Ethereum Attestation Service
EthCC
EthCC2024 · Jul 15, 2024
Bryce, Steve