echidna
solidity
echidna | solidity | |
---|---|---|
33 | 103 | |
2,576 | 22,359 | |
1.2% | 1.5% | |
8.5 | 9.8 | |
1 day ago | 4 days ago | |
Solidity | C++ | |
GNU Affero General Public License v3.0 | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
echidna
- Echidna 2.2.0 released with improvements in fuzzing performance and UX
-
Fuzzing Around: Better Smart Contract Testing through the Power of Random Inputs
Fuzzing has been around for a while in traditional full-stack development, but a new class of tools is here that can apply fuzzing to smart contract testing in web3. Some of the fuzzing tools include the open source Echidna and MythX.
-
Smart Contract Audits with ConsenSys Diligence Fuzzing - Fuzzing as a Service
Fuzzing has been around for a while. Defensics and Burp Suite are some examples in the traditional development world. There are also several web3/blockchain fuzzing tools available, such as Echidna and Foundry. However, Diligence Fuzzing is fuzzing as a service and makes everything a little simpler to implement. Which in the end means better audits and more secure contracts. So let’s look into it in more detail.
- Echidna 2.1.1 released with fixes and reduced memory footprint!
solidity
-
How to Register a Smart Contract to Mode SFS with Thirdweb
Have a basic understanding of Solidity.
-
Smart Contract Programming Languages: sCrypt vs. Solidity
Solidity Solidity emerged as the first-ever programming language for smart contracts and remains the most extensively utilized language in the Web3 space due to its first-mover advantage. It serves as the primary language for developing applications today on Ethereum and Ethereum Virtual Machine (EVM) compatible blockchains, including Binance Smart Chain and Tron.
-
Top Paying Programming Technologies 2024
40. Solidity - $72,656
- Projects to contribute to
-
How I Contributed One Line of Code to Ethereum
Solidity - Smart contract programming language.
-
Optimize Your Web3 DevOps with User Feedback Forms
The cool part is that the entire feedback process employs its own factory contract written in Solidity, without requiring you to create or maintain your own smart contract.
-
a solidity compiler observation that does not make any sense, anyone knows why?
Inconsistent gas usage for conversion of calldata to memory in external call and internal call. · Issue #14444 · ethereum/solidity (github.com)
-
Solidity version 0.8.20 has been released!
There is a new PUSH0 opcode that allows to directly push 0 onto the EVM stack. You can checkout the change log here - https://github.com/ethereum/solidity/releases/tag/v0.8.20
-
Solidity v0.8.20 was just released!
💾: https://github.com/ethereum/solidity/releases/tag/v0.8.20
-
How to Build on Linea - a zk-rollup on Ethereum
In this article, we’ll explore what makes Linea so exciting. Then, we’ll walk through a tutorial on how to build a dapp on the Linea testnet. Finally, we’ll create our own cryptocurrency on Linea using Solidity, MetaMask, and Truffle: all mature ecosystem tools that are used by blockchain developers to build dapps.
What are some alternatives?
manticore - Symbolic execution tool
nvim-lspconfig - Quickstart configs for Nvim LSP
openzeppelin-solidity - OpenZeppelin Contracts is a library for secure smart contract development. [Moved to: https://github.com/OpenZeppelin/openzeppelin-contracts]
awesome-blockchain-rust - Collect libraries and packages about blockchain/cryptography in Rust
slither - Static Analyzer for Solidity and Vyper
kotlin - The Kotlin Programming Language.
openzeppelin-contracts - OpenZeppelin Contracts is a library for secure smart contract development.
Elixir - Elixir is a dynamic, functional language for building scalable and maintainable applications
remix-ide - Documentation for Remix IDE
mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
swift - The Swift Programming Language