Solidity, the Smart Contract Programming Language
Go to file
Alex Beregszaszi f9d6abf69b Add more tests for state access (block, msg, tx, etc.)
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
2020-12-09 20:46:01 +00:00
.circleci Merge pull request #10541 from ethereum/add-isabelle-abiv2-fuzzer-to-circleci-nightly 2020-12-09 11:53:15 +01:00
.github
cmake Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
docs Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
libevmasm Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
liblangutil
libsmtutil Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
libsolc
libsolidity Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
libsolutil Move filter to CommonData.h 2020-12-09 11:13:27 +01:00
libyul Merge pull request #10536 from ethereum/fix-createlinkingfunction-to-cpp 2020-12-09 17:49:16 +01:00
scripts Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
snap
solc
test Add more tests for state access (block, msg, tx, etc.) 2020-12-09 20:46:01 +00:00
tools Enable the -Wconversion warning 2020-12-08 16:45:24 +00:00
.clang-format
.dockerignore
.editorconfig
.gitattributes
.gitignore
Changelog.md Move standard-json "modelCheckerSettings" key to "settings.modelChecker". 2020-12-09 15:53:32 +01:00
CMakeLists.txt Update version checks in cmake to match debian stable and remove some workarounds. 2020-12-07 18:26:51 +01:00
CODE_OF_CONDUCT.md
codecov.yml
CODING_STYLE.md
CONTRIBUTING.md
LICENSE.txt
README.md
ReleaseChecklist.md
SECURITY.md

The Solidity Contract-Oriented Programming Language

You can talk to us on solidity at https://gitter.im/ethereum/solidity. Questions, feedback, and suggestions are welcome!

Solidity is a statically typed, contract-oriented, high-level language for implementing smart contracts on the Ethereum platform.

Table of Contents

Background

Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on the Ethereum Virtual Machine. Smart contracts are programs that are executed inside a peer-to-peer network where nobody has special authority over the execution, and thus they allow to implement tokens of value, ownership, voting, and other kinds of logic.

When deploying contracts, you should use the latest released version of Solidity. This is because breaking changes, as well as new features and bug fixes are introduced regularly. We currently use a 0.x version number to indicate this fast pace of change.

Build and Install

Instructions about how to build and install the Solidity compiler can be found in the Solidity documentation.

Example

A "Hello World" program in Solidity is of even less use than in other languages, but still:

pragma solidity >=0.6.0 <0.8.0;

contract HelloWorld {
  function helloWorld() external pure returns (string memory) {
    return "Hello, World!";
  }
}

To get started with Solidity, you can use Remix, which is a browser-based IDE. Here are some example contracts:

  1. Voting
  2. Blind Auction
  3. Safe remote purchase
  4. Micropayment Channel

Documentation

The Solidity documentation is hosted at Read the docs.

Development

Solidity is still under development. Contributions are always welcome! Please follow the Developers Guide if you want to help.

You can find our current feature and bug priorities for forthcoming releases in the projects section.

Maintainers

License

Solidity is licensed under GNU General Public License v3.0.

Some third-party code has its own licensing terms.

Security

The security policy may be found here.