Scribble in a Nutshell

on YouTube ↗05m

" summary

Scribble is a specification language for Solidity that lets developers annotate contracts and functions with high-level properties written as comments and automatically translates those properties into runtime checks. Those checks run under unit tests, plug into ConsenSys Diligence’s fuzzing and symbolic-execution tools, and feed into formal verification, so one expressive property replaces many manual test cases and surfaces surprising edge cases without writing exhaustive inputs. Runtime-check outputs are tool-agnostic

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 0:37Unit Testing
3. 1:23Property Based Testing
4. 4:27Runtime Checks

" related talks

• 30mVerifying Solidity Smart Contracts Via Communication Abstraction in SmartACEArie Gurfinkel, Jorge A. Navas, Maria Christakis, Scott Wesley, Richard Trefler, Valentin Wu?stholz · VMCAI 2022
• 25mBehavioral simulation for smart contractsSidi Mohamed Beillahi, Constantin Enea, Michael Emmi, Gabriela Ciocarlie · SPLASH 2022
• 46mFormal verification of C# smart contractsAllister Beharry · NDC Oslo 2022
• 33mSymbolic value-flow static analysis:deep,precise,complete modeling of Ethereum smartcontractsYannis Smaragdakis, Neville Grech, Ilias Tsatiris, Sifis Lagouvardos, Konstantinos Triantafyllou · SPLASH 2022
• 15mSymbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart ContractsYannis Smaragdakis, Neville Grech, Ilias Tsatiris, Sifis Lagouvardos, Konstantinos Triantafyllou · OOPSLA 2021
• 33mAudit-Driven Signature Tracing for Smart Contract SafetyJaehyung Lee · Open Source Summit Korea 2025
• 14mRich Specifications for Ethereum Smart Contract VerificationPeter Müller, Marco Eilers, Alexander J. Summers, Christian Braem, Robin Sierra · OOPSLA 2021
• 23mThanks for all the bugs!Yannis Smaragdakis · Solidity Summit 2022