EthereumZuri.ch 2024

Michal Převrátil

Michal is a blockchain enthusiast, a graduate of Computer Security at CTU Prague, currently working on open-source tooling for secure and efficient Solidity development.


Sessions

04-06
11:15
20min
Wake Framework - Swiss Knife to Ethereum Tooling
Michal Převrátil

Smart contract development often involves using different tools serving different purposes like testing, analysis, deployment, or vulnerability scanning. We introduce a comprehensive open-source Python toolkit tailored for everyday Solidity development. The Wake tool is presented with simplistic real-world examples compared with other open-source options.

This talk covers the following scenarios:
- unit testing and cross-chain testing,
- fuzzing,
- vulnerability and code quality issue scanning,
- work with the editor (including enhancement with custom detectors and visualizations).

Security
Verge Stage
04-06
13:25
90min
Enhancing IDEs with Real-Time Static Analysis for Solidity Development
Michal Převrátil, Jan Kalivoda

The workshop introduces a unique way of enhancing LSP (Language Server Protocol) compatible editors with custom text and visual decorations. The presented concept opens new possibilities for Solidity source code analysis, replacing labor-intensive manual tasks with simple scripts in Python.

Participants of the workshop will learn how to effectively highlight specific segments of Solidity code and visualize critical information derived from source code analysis. Moreover, attendees will understand the basics of Solidity Abstract Syntax Trees, an internal representation of Solidity source code.

Given the dynamic nature of the IDE enhancements, the workshop holds particular value for auditors and reviewers who are tasked with ensuring code quality and security, as well as developers seeking to streamline their coding process.

Security
Merge Stage