smart contract languages

[monperrus]

• https://en.wikipedia.org/wiki/Smart_contract
• https://en.wikipedia.org/wiki/Ricardian_contract

other list of smart contract languages:

• https://www.dslfin.org/resources.html
• https://github.com/s-tikhomirov/smart-contract-languages

[monperrus]

Solidity https://soliditylang.org/

[monperrus]

Vyper https://vyper.readthedocs.io/

[monperrus]

Fe is a statically typed language for the Ethereum Virtual Machine (EVM). It is inspired by Python and Rust which makes it easy to learn -- especially for new developers entering the Ethereum ecosystem.
https://github.com/ethereum/fe

[monperrus]

Yul (previously also called JULIA or IULIA) is an intermediate language that can be compiled to bytecode for different backends.
https://docs.soliditylang.org/en/latest/yul.html

And Yul+ https://fuellabs.medium.com/introducing-yul-a-new-low-level-language-for-ethereum-aa64ce89512f

[monperrus]

Rust for smart contracts:

• https://use.ink/why-rust-for-smart-contracts/
• https://docs.casperlabs.io/dapp-dev-guide/writing-contracts/rust/

[monperrus]

Michelson smart-contract language, used in the Tezos blockchain
https://www.michelson.org/

[monperrus]

Act: Smart contract specification language
https://github.com/ethereum/act

Contributor @MrChico may be located in STHLM

[monperrus]

Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly.
https://www.cairo-lang.org/

[monperrus]

Marlowe - a domain-specific language, it covers the world of financial contracts (Cardano)

[monperrus]

Scilla - A Smart Contract Intermediate Level Language

• paper https://ilyasergey.net/papers/scilla-oopsla19.pdf
• tool https://github.com/Zilliqa/scilla

[monperrus]

BitML BitML smart contracts to Bitcoin transactions

• paper https://eprint.iacr.org/2018/122.pdf
• compiler https://github.com/bitml-lang/bitml-compiler

[monperrus]

DeCon, a declarative programming language for implementing smart contracts

• paper Declarative smart contracts https://dl.acm.org/doi/10.1145/3540250.3549121
• tool https://github.com/HaoxianChen/declarative-smart-contracts
  cc/ @HaoxianChen

Verifying Declarative Smart Contracts in DeCon
https://faculty.sist.shanghaitech.edu.cn/hxchen/papers/2024-icse-dcv.pdf

[monperrus]

Teal: Algorand smart contracts are written in Transaction Execution Approval Language (TEAL). These contracts can be written directly or with Python using the PyTeal library.
https://developer.algorand.org/docs/get-details/dapps/avm/teal/

[monperrus]

Stipula: Pacta sunt servanda: Legal contracts in Stipula

[monperrus]

Noir is a domain specific language for zero knowledge proofs

• repo https://github.com/noir-lang/noir
• paper https://medium.com/aztec-protocol/introducing-noir-the-universal-language-of-zero-knowledge-ff43f38d86d9
• example code: https://github.com/vezenovm/simple_shield/blob/master/circuits/src/main.nr

cc/ @verificatum