Home | Diary | Todo | Index | About |
Related: block, cell, chain, CityCoin, DAO, fintech, lens, solidity, Work Agreement📃, 🔏
Console.Atra.io
https://blog.slock.it/analyzing-solidity-smart-contracts-with-piet-6db33a733e79
OpenLaw.io
Law.MIT.edu
COALA.global >>Coalition of Automated Legal Applications
DAML.com >>The developer’s choice for building smart contracts
Pact.Kadena.io >>Pact is the first truly human readable smart contract language. It lets anyone write clearly, directly and safely onto a blockchain—a true advance for secure, automated contracts. Pact supports entirely new business models and on-chain services.
Smart Contracts are legal instruments written in specialized programming languages such as:
Solidity
Vyper Vyper.ReadTheDocs.io github.com/ethereum/vyper/wiki/Vyper-tools-and-resources
Bamboo github.com/pirapira/bamboo OCaml >>Bamboo: a morphing smart contract language
Flint
LLL
Obsidian IEEEXplore.IEEE.org/document/7965268 >>Obsidian: A Safer Blockchain Programming Language
EVM The Ethereum Virtual Machine 'interprets' or 'executes' Solidity
Holo - maybe not the language name
NEO - um
==Dev tools
dapparatus
AuthIO.org >>Verify your smart contracts behave as intended.
==Security audits
Arxiv.org/pdf/1802.06038.pdf >>Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
https://medium.com/authio/solidity-ctf-part-4-read-the-fine-print-5ad259a5f5bb