Zealynx Securityzealynx.hashnode.dev·Apr 17, 2024Invariant Tests with Echidna for AMM Smart ContractsIn this article, we are going to review Invariant tests for AMM contracts with Echidna, with a short comparison with Foundry invariant testing and a deep dive into property-based invariant tests for an Automated Market Maker smart contract. Introduc...Discuss·10 likes·28 readsSmart Contracts
Zealynx Securityzealynx.hashnode.dev·Apr 17, 2024The Critical Role of Fuzzing in Blockchain SecurityIn this article, we will dive into the fascinating realm of fuzzing. To understand it and before setting up our tests in Foundry we will learn what is the core concept of fuzzing. What is fuzzing? Fuzzing, or fuzz testing, is a technique where invali...Discuss·32 readsSmart Contracts
Isaac Davidorion160.hashnode.dev·Mar 10, 2024Software engineer series: Fuzzing IFor those who can't afford to make mistakes Fuzzing is a technique to check against unexpected errors, which lead to software quality and security assurance. On the contrary than traditional software testing methodologies, where we specify a set of ...Discuss·131 readsSoftware Engineering
shafouzshafouz.hashnode.dev·Aug 21, 2023Rediscovering CVE-2023-36617 (ruby ReDoS) with fuzzingsummary CVE-2023-36617 Two ReDoS bugs existed in the Ruby uri module. Both bugs cause the program to hang and eventually throw a URI::InvalidURIError error. They affect version v0.12.2 of the gem. The commit has some tests that help understand what w...Discussfuzzing
Christoph Behrchristophbehr.hashnode.dev·Aug 2, 2023TryHackMe Bookstore WriteupStart After starting the victim machine I started my Parrot VM on VirtualBox connected via OpenVPN to the tryhackme network and checked if I was really connected. With a Ping, I ensured that it was visible and the connection was established. Enumerat...Discuss·160 readstryhackme
CrabNebulaforCrabNebulacrabnebula.hashnode.dev·Jul 19, 2023Introducing Fuzzing with AlexandreWelcome to the first of our ‘Meet the CrabNebula Team’ series. Each installment will feature a new member of the talented CrabNebula team and cover both the person as well as the nature of their work at CrabNebula. We sat down with Alexandre Dang, a ...Discuss·13 likesfuzzing
decentraluisdecentraluis.hashnode.dev·Jul 7, 2023Introducción rápida al invariant TestingIntroducción En el dinámico y creciente universo de las Finanzas Descentralizadas (DeFi), la estabilidad y confiabilidad de los protocolos son elementos cruciales para garantizar la seguridad de los fondos y la integridad del ecosistema. En este cont...Discussfuzzing
Tobias VogelforDeveloper DAO Blog | Web3 Tutorialsblog.developerdao.com·May 19, 2023Secure Your Smart Contract with Diligence FuzzingAs the Ethereum ecosystem grows, so does the need for secure smart contracts. With billions of dollars locked in DeFi protocols and other decentralized applications, the stakes are high for developers to ensure that their code is free of vulnerabilit...Discuss·310 readsWeb3
Amir Hossein Babaeianchaincloud.hashnode.dev·May 10, 2023Streamline Your Smart Contract Development with ScribbleThe world of smart contract development can be overwhelming, with countless lines of code to write and endless testing to ensure everything works as intended. But what if there was a tool that could make the process easier and more efficient? Look no...Discuss·36 readsfuzzing
John Vesterjohnjvester.hashnode.dev·Apr 7, 2023Smart Contract Audits with ConsenSys Diligence Fuzzing - Fuzzing as a ServiceIf you’re working with smart contracts—or even just exploring them—you probably already know that smart contract security is important. Smart contracts are immutable once deployed, and often involve significant amounts of money. Writing safe and reli...Discuss·1 like·44 readsWeb3