Open Source Linux Smart Contract Tools
Sort By:
Smart Contract Tools for Linux
View 9 business solutionsBrowse free open source Smart Contract tools and projects for Linux below. Use the toggles on the left to filter open source Smart Contract tools by OS, license, language, programming language, and project status.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation failed. As a relatively young language, Solidity is advancing at a rapid speed. We aim for a regular (non-breaking) release every 2-3 weeks, with approximately two breaking releases per year. You can follow the implementation status of new features in the Solidity Github project. You can see the upcoming changes for the next breaking release by switching from the default branch (develop) to the breaking branch. -
2
Hardhat
Hardhat is a development environment to compile, deploy, test
Hardhat is an Ethereum development environment for professionals. It facilitates performing frequent tasks, such as running tests, automatically checking code for mistakes or interacting with a smart contract. Check out the plugin list to use it with your existing tools. Hardhat Runner is the main component you interact with when using Hardhat. It's a flexible and extensible task runner that helps you manage and automate the recurring tasks inherent to developing smart contracts and dApps. Easily deploy your contracts, run tests and debug Solidity code without dealing with live environments. Hardhat Network is a local Ethereum network designed for development. Hardhat is the best choice for Solidity debugging. You get Solidity stack traces, console.log and explicit error messages when transactions fail. -
3
BlockScout
Blockchain explorer for Ethereum based network
Blockscout provides a comprehensive, easy-to-use interface for users to view, confirm, and inspect transactions on EVM (Ethereum Virtual Machine) blockchains. Blockscout currently supports a wide range of projects and hosts chains such as Ethereum, Ethereum Classic, Gnosis Chain, RSK, LUKSO, Astar, and many more. BlockScout is an Elixir application that allows users to search transactions, view accounts and balances, and verify smart contracts on the Ethereum network including all forks and sidechains. Currently available full-featured block explorers (Etherscan, Etherchain, Blockchair) are closed systems which are not independently verifiable. As Ethereum sidechains continue to proliferate in both private and public settings, transparent, open-source tools are needed to analyze and validate transactions. -
4
Truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
The most comprehensive suite of tools for smart contract development. Quickly build, test, debug, and deploy using the Truffle CLI. Write scripts and plugins to automate common processes. Interact directly with the blockchain using the Truffle console. Write tests in Solidity, JavaScript, and TypeScript. Truffle will manage your entire workflow. Get a deeper understanding of transactions with the Truffle debugger. Step in/out, set breakpoints, and analyze variables through the CLI and the native VS Code debugger. Debug mainnet transactions by stepping through verified contract source code. Truffle will give you the best view into what's happening. Bring up a local blockchain with pre-funded accounts for fast testing with Truffle’s Ganache. Fork mainnet with zero-config, impersonate accounts, auto-mine blocks, and use Ganache programmatically with Node.js. Print variables for quick analysis using console.log and Vyper’s print. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
Aiken
A modern smart contract platform for Cardano
A modern smart contract platform for Cardano. -
6
Plutus
The Plutus language implementation and tools
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal verification and functional programming paradigms. -
7
Remix Project
Compiler and IDE that enables users to build Ethereum contracts
Remix Project is a rich toolset including Remix IDE, a comprehensive smart contract development tool. The Remix Project also includes Remix Plugin Engine and Remix Libraries which are low-level tools for wider use. Remix IDE is used for the entire journey of contract development by users of any knowledge level. It fosters a fast development cycle and has a rich set of plugins with intuitive GUIs. The IDE comes in 2 flavors and a VSCode extension. Supported browsers: Firefox v100.0.1 & Chrome v101.0.4951.64. No support for Remix's use on tablets or smartphones or telephones. The gh-pages branch of remix-live always has the latest stable build of Remix. It contains a ZIP file with the entire build. Download it to use offline. It contains the latest supported version of Solidity available at the time of the packaging. Other compiler versions can be used online only. -
8
Embark
Framework for serverless Decentralized Applications using Ethereum
Embark is a platform that enables easy development and deployment of decentralized applications. Build, test, and deploy your Smart Contracts without the hassle. Embark takes care of the groundwork, watches for changes, and redeploys your application when needed. Testing shouldn't be an afterthought. Embark makes debugging and testing first-class citizens of your development workflow. Pick and choose which features, plugins and tools you want to integrate with. Embark is built with modularity in mind. Gives an overview of all processes controlled by Embark. It also comes with an interactive console and predictive commands. Cockpit's explorer lets you easily review any transactions, Smart Contracts, and accounts. With Cockpit you can iteratively and selectively deploy your Smart Contracts, removing headaches associated with complex applications. Edit your source files from right within Cockpit for quick and easy updates. -
9
OpenZeppelin Contracts
OpenZeppelin Contracts is a library for secure smart contracts
A library for secure smart contract development. Build on a solid foundation of community-vetted code. OpenZeppelin Contracts uses semantic versioning to communicate backward compatibility of its API and storage layout. To keep your system secure, you should always use the installed code as-is, and neither copy-paste it from online sources nor modify it yourself. The library is designed so that only the contracts and functions you use are deployed, so you don't need to worry about it needlessly increasing gas costs. Reduce the risk of vulnerabilities in your applications by using standard, tested, community-reviewed code. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Starknet Foundry
Blazing fast toolkit for developing Starknet contracts
Starknet Foundry is a fast development toolkit for building and testing Starknet smart contracts. It is written in Rust and built around native Cairo testing and Starknet-specific execution infrastructure. The project includes snforge for contract testing and sncast for interacting with deployed Starknet contracts from the command line. It is useful for developers who need testing, deployment, transaction handling, chain data access, and contract interaction tools in one workflow. The toolkit supports advanced development needs such as cheatcodes, state forking, fuzz testing, multicall, parallel test execution, and debugging-oriented utilities. Its main value is giving Starknet developers a Foundry-style experience tailored to Cairo and Starknet contract development. -
11
ZoKrates
A toolbox for zkSNARKs on Ethereum
ZoKrates is a toolbox for zkSNARKs on Ethereum. It helps you use verifiable computation in your DApp, from the specification of your program in a high-level language to generating proofs of computation to verifying those proofs in Solidity. Zero-knowledge proofs (ZKPs) are a family of probabilistic protocols, first described by Goldwasser, Micali and Rackoff in 1985. One particular family of ZKPs is described as zero-knowledge Succinct Non-interactive ARguments of Knowledge, a.k.a. zkSNARKs. zkSNARKs are the most widely used zero-knowledge protocols, with the anonymous cryptocurrency Zcash and the smart-contract platform Ethereum among the notable early adopters. Ethereum runs computations on all nodes of the network, resulting in high costs, limits in complexity, and low privacy. zkSNARKs have been enabling to only verify computations on-chain for a fraction of the cost of running them, but are hard to grasp and work with. -
12
vyper
Pythonic Smart Contract Language for the EVM
See Installing Vyper to install vyper. See Tools and Resources for an additional list of framework and tools with vyper support. See Documentation for the documentation and overall design goals of the Vyper language. See Learn.Vyperlang.org for learning Vyper by building a Pokémon game. See try.vyperlang.org to use Vyper in a hosted jupyter environment! There is also an online compiler available you can use to experiment with the language and compile to bytecode and/or IR. While the vyper version of the online compiler is updated on a regular basis it might be a bit behind the latest version found in the master branch of this repository. -
13
Aeternity node
Scalable blockchain for the people, smart contracts, state channels
Engineered to scale and last, æternity is an easily accessible blockchain platform for the global public. With numerous innovative functionalities and performance far ahead of earlier blockchains, æternity allows its users and community to seamlessly venture into the new era of society, economy, and digital interactions. The æternity blockchain project was born out of a desire for a more fair Internet supported by scalable, open-source and cryptographic software, with a commitment to technical excellence. æternity blockchain itself launched as the public æternity mainnet in 2018. It is now a blossoming community of enthusiasts supported via the æternity crypto foundation. At its core, æternity is a blockchain protocol and a smart contract platform that goes beyond what traditional blockchains do. It is designed to be fault-tolerant and perfect for cases with billions of transactions in DEFI and more. -
14
Mythril
Security analysis tool for EVM bytecode. Supports smart contracts
Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used (in combination with other tools and techniques) in the MythX security analysis platform. If you are a smart contract developer, we recommend using MythX tools which are optimized for usability and cover a wider range of security issues. The SWC Registry is a community catalog of known smart contract vulnerabilities with detailed descriptions, code samples, and remediations. MythX uses the SWC Registry as its database when scanning smart contracts for security issues. -
15
Nethereum
Ethereum .Net cross platform integration library
Nethereum is the .Net integration library for Ethereum, simplifying the access and smart contract interaction with Ethereum nodes both public or permission like Geth, Parity or Quorum. Nethereum is developed targeting netstandard 1.1, netstandard 2.0, netcore 2.1, netcore 3.1, net451 and also as a portable library, hence it is compatible with all the operating systems (Windows, Linux, MacOS, Android, and OSX) and has been tested on cloud, mobile, desktop, Xbox, hololens and windows IoT. Simplified smart contract interaction for deployment, function calling, transaction and event filtering and decoding of topics. ABI to .Net type encoding and decoding, including attribute-based for complex object deserialization. Transaction, RLP, and message signing, verification, and recovery of accounts. The simplified account life cycle for both managed by third-party client (personal) or stand-alone (signed transactions). -
16
uAgents
A fast and lightweight framework for creating decentralized agents
uAgents is a library developed by Fetch.ai that allows for creating autonomous AI agents in Python. With simple and expressive decorators, you can have an agent that performs various tasks on a schedule or takes action on various events. -
17
Chainlink
node of the decentralized oracle network
Securely connect smart contracts with off-chain data and services. Chainlink decentralized oracle networks provide tamper-proof inputs, outputs, and computations to support advanced smart contracts on any blockchain. Start building your hybrid smart contract with Chainlink. Use decentralization, trusted nodes, premium data, and cryptographic proofs to connect highly accurate and available data/APIs to any smart contract. Build on a flexible framework that can retrieve data from any API, connect with existing systems, and integrate with any current or future blockchain. Integrate pre-built, time-tested oracle solutions that already secure tens of billions in smart contract value for market-leading decentralized applications. Use a decentralized network of Chainlink Automation nodes to automate contracts, mitigating risk of manual interventions and centralized servers. -
18
Cy
Hackers terminal browser of Cyber blockchains
Cy - a nushell wrapper, a client for the Cyber family blockchains (bostrom, pussy) and IPFS. Bostrom is the name of the consensus computer that maintains a general-purpose, permissionless informational graph where nodes are CIDs of files in the IPFS network, and edges are Cyberlinks (consisting of source, destination, author, height - records) written into the blockchain. The information written into the blockchain is secured to remain in existence as long as the blockchain is operative. The blockchain is designed with economic incentives that motivate validators to sustain the network. For further information about Cyber blockchains, please refer to Bostrom Journal. -
19
Devault
Decentralized alternative to proprietary and centralized cloud storage
A Blockchain-based, self-hosted, and end-to-end encrypted cloud storage. Devault is a decentralized, self-hosted, and end-to-end encrypted alternative to proprietary and centralized cloud storage. The file gets encrypted using AES-256-CBC encryption. The encrypted file is split into pieces. The chunks are distributed across the network nodes. The root hash will be stored in your wallet on the blockchain. -
20
Echidna
Ethereum smart contract fuzzer
Echidna is a weird creature that eats bugs and is highly electrosensitive (with apologies to Jacob Stanley) More seriously, Echidna is a Haskell program designed for fuzzing/property-based testing of Ethereum smarts contracts. It uses sophisticated grammar-based fuzzing campaigns based on a contract ABI to falsify user-defined predicates or Solidity assertions. We designed Echidna with modularity in mind, so it can be easily extended to include new mutations or test specific contracts in specific cases. Optional corpus collection, mutation and coverage guidance to find deeper bugs. Powered by Slither to extract useful information before the fuzzing campaign. Source code integration to identify which lines are covered after the fuzzing campaign. Curses-based retro UI, text-only or JSON output. -
21
Neoblog
Neoblog is a public blogging platform that's completely serverless
Neoblog is a public blogging platform that's completely serverless. Reading and posting articles to our platform require no servers and runs completely on the NEO Blockchain and IPFS. The traditional way of setting up a blog is to set up a server that will store your content. With modern technologies, we are advancing into an age that moves away from traditional servers. Combine this with the decentralization of storage (IPFS) and blockchain, we now have a toolkit to provide an application that's completely serverless. Neoblog is a serverless application that uses these these technologies: built on the NEO blockchain, articles are posted to our smart contract, while the content is stored on IPFS. -
22
Scry.info blockchain Data Protocol
This is the first data protocol layer open source in the blockchain
By providing SDK for data exchange through blockchain, developers can more conveniently develop DAPP applications. It mainly includes the following contents:data encryption and decryption, digital signature, smart contract, event notification, data storage interface, data acquisition and query, digital currency payment, the third-party App payment interface, etc. -
23
0x Monorepo
0x protocol monorepo - includes our smart contracts
0x protocol monorepo, includes our smart contracts and many developer tools. 0x is an open protocol that facilitates the trustless, low-friction exchange of Ethereum-based assets. For more information on how it works, check out the 0x protocol specification. This repository is a monorepo including the 0x protocol smart contracts and numerous developer tools. Each public sub-package is independently published to NPM. Visit our developer portal for a comprehensive list of core & community-maintained packages. All packages maintained with this monorepo are listed. You will also need to have Python 3 installed, in order to build and run the tests of abi-gen's command-line interface, which is integrated with the yarn build, yarn test, and yarn lint commands described below. More specifically, your local pip should resolve to the Python 3 version of pip, not a Python 2.x version. -
24
Awesome Algorand
Curated list of awesome resources related to the Ⱥlgorand Blockchain
A curated list of awesome resources related to the Algorand Blockchain. Algorand is an open-source, proof-of-stake blockchain and smart contract computing platform. You can enhance your experience by interacting with the AI chatbot available at AwesomeAlgo Search. It's designed to answer any questions you might have regarding resources in this repository. -
25
BOOM POOL
A new type of utility token with self-destructing mechanism
BOOM is a new type of utility token with self-destructing mechanism, based on Ethereum smart contract. BOOM project is a social experiment, aiming at exploring the market influence of an extremely deflationary cryptocurrency, and it will validate the effect of BOOM token as a hedge against the rapid inflation in token ecosystem. The origin of BOOM is simple, once users transfer BOOM to others, 1% of the total transfer amount is automatically destroyed at the same time. The initial total supply of BOOM is 1 billion. The supply will decrease due to transactions, and no new BOOM will be issued then. The destruction of BOOM token will run automatically on chain, written in Ethereum smart contract. No one can interfere. When taking insight into bitcoin and litecoin supply halving history, you can find that destroying the liquidity can cause positive market expectations, and may cause a value increase. Now Boom provides a whole new supply curve, which is much more radical.
