https://github.com/annenkov/lbs

Supplementary materials for the Language-based Security Lecture on Smart Contracts
https://github.com/annenkov/lbs

Last synced: 9 days ago
JSON representation

Supplementary materials for the Language-based Security Lecture on Smart Contracts

• Host: GitHub
• URL: https://github.com/annenkov/lbs
• Owner: annenkov
• Created: 2019-04-04T13:21:55.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2022-04-22T10:56:19.000Z (over 2 years ago)
• Last Synced: 2024-11-06T08:03:05.686Z (about 2 months ago)
• Language: LigoLANG
• Size: 914 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# LBS

Supplementary materials for the Language-based Security Lecture on Smart Contracts

Contents

--------

[Exercises and homework](exercises.md)

[Code snippets](Code)

[Lecture slides](SmartContractsSlides.pdf)

CameLIGO

--------

* [CameLIGO online editor](https://ide.ligolang.org/)

* [CameLIGO documentation](http://www.liquidity-lang.org/edit/doc/)

More functional smart contract languages

----------------------------------------

* Simplicity: https://blockstream.com/simplicity.pdf

* Plutus: https://testnet.iohkdev.io/plutus/

* Scilla: https://scilla-lang.org/

* LIGO: https://ligolang.org/

Concordium's Smart Contracts in Rust

-------------------------------------

* Concordium docs: https://developer.concordium.software/en/mainnet/net/index.html

* The piggy bank tutorial [here](https://developer.concordium.software/en/testnet/smart-contracts/tutorials/piggy-bank/index.html#piggy-bank), source code [here](https://github.com/Concordium/concordium-rust-smart-contracts/tree/main/examples/piggy-bank)

* Concordium contract examples: https://github.com/Concordium/concordium-rust-smart-contracts/tree/main/examples

Supplementary reading

----------------------

* ConCert paper: https://arxiv.org/abs/1907.10674

* ConCert Smart Contract extraction: https://arxiv.org/abs/2012.09138

* ConCert on GitHub: https://github.com/AU-COBRA/ConCert

* Declarative contracts vs smart contracts on blockchains:

Fritz Henglein. Smart contracts are neither. http://hjemmesider.diku.dk/~henglein/smart-contracts-are-neither.pdf

* Examples of vulnerabilities for contracts in Solidity: 

https://github.com/crytic/not-so-smart-contracts