A smart contract is a computerized transaction protocol that executes the terms of a contract. When stored in a blockchain their effect becomes immutable. They can be used to define immutable business rules which are enforced in a decentralized way. The Ethereum blockchain supports smart contracts in Solidity and Vyper.

The attendees are advised to learn about Blockchain using the following references:

• Antony Lewis: A Gentle Introduction to Blockchain Technology
• Stanford Course on Bitcoin and Cryptocurrencies
• Bitcoin and Cryptocurrency Technologies Princeton
• ECE398SC: Smart Contracts and Blockchain Security at UIUC

  Content

• Prerequisites
• Requirements
• Reading Resources
• List of Potential Projects

Prerequisites

    Computational Models and Software Project

Workshop Requirements

• Register to the Course Forum
• Go over the Solidity tutorial
• Select an open source project with instructors by March 17
• Review and critique the project by either finding bugs and/or proving that no bugs exist and/or improving the project.
• Present the project by TBD

Reading Resources

• An introduction to the workshop
• Solidity for the workshop
• Deductive Verification

A list of interesting open source projects

• Awesome Solidity
• Ico Contracts
• Zeppelin
• Gnosis
• CLN
• aragon
• trueUSD
• Mana
• Rico

More Projects

• Trending


For further information Email:msagiv@acm.org