Static Analyzer for Solidity and Vyper
-
Updated
Feb 5, 2025 - Python
#
Solidity
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on various blockchain platforms, most notably, Ethereum. The Solidity programming language is an open source, community project governed by a core team. The core team is sponsored by the Ethereum Foundation. The programs compiled by the Solidity are intended to be run on Ethereum Virtual Machine.
Here are 534 public repositories matching this topic...
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
security ethereum smart-contracts blockchain symbolic-execution solidity program-analysis security-analysis
-
Updated
Jan 31, 2025 - Python
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
ethereum smart-contracts blockchain polygon solidity ethereum-contract tron-protocol maticnetwork binance-smart-chain avalanche-c-chain arbitrum
-
Updated
Jun 28, 2024 - Python
Ethereum smart contracts for security and utility tokens
python ethereum smart-contracts blockchain ico solidity crowdsale solidity-contracts security-token-service security-token
-
Updated
Dec 8, 2022 - Python
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
security awesome ethereum dapp smart-contracts tokens solidity awesome-list vulnerabilities erc20 erc20-tokens
-
Updated
Feb 15, 2024 - Python
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
bitcoin ethereum smart-contracts production live solidity bitcoin-transaction mainnet btc-relay bitcoin-proof
-
Updated
Jul 3, 2023 - Python
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
-
Updated
Oct 26, 2024 - Python
Innovative tool for blockchain developers and crypto project teams to optimize the development, testing and deployment of decentralized applications (DApps). The program is designed for local operation, providing enhanced security, autonomy and flexibility in development.
ethereum dapp smart-contracts solidity ethereum-contract web3 dex ethereum-dapp ethereum-blockchain polkadot crosschain blockchain-development dapps-development defi blockchain-tool uniswap compound-finance aave curve-finance lending-protocol
-
Updated
Jan 31, 2025 - Python
Slither Detectors by Pessimistic.io
-
Updated
Jun 25, 2024 - Python
Simplify Ethereum security analysis and testing
-
Updated
Jun 29, 2023 - Python
<블록체인의 정석 The Art of Blockchain>, <하이퍼레저 블록체인 개발 Hands-On Blockchain with Hyperledger> 소스코드 및 참고자료 저장소
-
Updated
Jan 12, 2023 - Python
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
cryptography tools libraries ethereum solidity ring-signatures secp256k1 zero-knowledge schnorr bn256
-
Updated
Jun 18, 2019 - Python
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
-
Updated
Jan 31, 2025 - Python
A python utility to flatten Solidity code with imports into a single file.
-
Updated
Sep 13, 2023 - Python
Implementation of a novel practical scheme for submarine commitments
-
Updated
Dec 8, 2022 - Python
Created by Gavin Wood, Christian Reitwiessner, Alex Beregszaszi
Released August 2015
Latest release 4 months ago
- Followers
- 674 followers
- Repository
- ethereum/solidity
- Website
- soliditylang.org
- Wikipedia
- Wikipedia