Source link
In this first video from the series we will get up and running Medusa thanks to our existing Echidna setup.
Recommended to watch Echidna videos before this one:
Medusa Github repo: https://github.com/crytic/medusa?tab=readme-ov-file
___________________________________________
– Enroll in the Smart Contract Hacking course with $50 Discount
https://smartcontractshacking.com/?referral=bloqarl
– Visit The Blockchainer Hub where you’ll find all types of resources on your path in Web3 Security. Roadmaps, Articles, CTFs, Audit tools, and more… https://www.theblockchainerhub.xyz/
– Follow me on Twitter: https://twitter.com/TheBlockChainer
– Check out my articles on Medium: https://medium.com/@bloqarl
___________________________________________
Do you like my content?
Now you can buy me beer/coffee for 1 euro to say thanks
https://www.buymeacoffee.com/Bloqarl
___________________________________________
Crypto to Fiat tool I use:
– Exchange Crypto for Gift cards with Bitrefill and get Bitcoin as cashback
https://www.bitrefill.com/signup?code=3ddlz8mr
date : 2024-02-19 13:09:06
views : 513
likes : 26
rating :
Fuzzing Smart Contracts with MEDUSA – Secure Solidity development
In this transcript, the speaker discusses how to use MEDUSA, a tool developed by Trail of Bits, to improve the testing of smart contracts. MEDUSA is particularly useful when used in combination with HDNA (Highest Density Node Architecture), allowing for faster and more parallelized testing. The speaker walks the viewer through the installation process, configuration, and running of MEDUSA, highlighting its benefits such as faster testing and clearer logs.
The speaker showcases how to reuse existing code written for HDNA by simply renaming the contract call, and demonstrates how to set up MEDUSA in assertion mode. They then run a test and demonstrate the results, including colorful logs and clear information on what failed.
The video also touches on the integration of MEDUSA with other testing frameworks, such as property-based testing, and how it can be used to increase the coverage and security of smart contracts. The speaker concludes by mentioning that MEDUSA is still a relatively new tool, and encourages viewers to explore it further and provide feedback.
Some general interesting Web3 facts:
- Fuzz testing is a testing technique that involves feeding large amounts of random data into a system to test for bugs and vulnerabilities.
- Smart contracts are self-executing contracts with the terms of the agreement written directly into lines of code. They are used to automate various transactions and interactions between parties on a blockchain network.
- Web3 refers to the decentralized web, where data is stored on a blockchain and users are in control of their data and identity.
