于千山的主页

Some useful resourses

1. Formal theory
   1. Metamath (it is what math should be)
      • us.metamath.org
      • Play a proof to your professor: http://us.metamath.org/mpeuni/mmmusic.html
      • Book: Metamath: A Computer Language for Pure Mathematics
2. Blockchain
   1. Courses
      • Standford: CS 251: Bitcoin and Cryptocurrencies
      • Coursera: Bitcoin and Cryptocurrency Technologies
   2. Books
      • Bitcoin and Cryptocurrency Technologies
   3. Github repo
      • Formal Verification of Ethereum Contracts
      • EVM language design
      • Ethereum VM trace visualizer
      • EthFans Wiki
   4. Language: Solidity
      • IDE: Remix There is a contract about voting.
   5. Papers
      • PLAS ‘16: Formal Verification of Smart Contracts
      • Thesis: Safer smart contracts through type-driven development
      • ABOUT τ-CHAIN (a decentralized peer-to-peer network)
   6. Websites
      • Intelligent Decentralized Networks Initiatives
      • IDNI: some recap
      • The Chinese website of Tau-Chain
      • Tau Chain & Agoras
      • Bittrex Black money deal
      • Idris: A general purpose pure functional programming language with dependent types.
      • OH002 – TOTAL FUNCTIONAL PROGRAMMING
      • bitcoin.org
      • 为什么要用区块链技术实现智能合约
   7. Verfication
      • Formal Verification of Ethereum Smart Contracts From Software Reliability Lab, ETH Zurich
      • Imandra Contracts: A platform for analysing and reasoning about smart contracts, built on top of the Imandra formal verification system.
      • Why3: As early as last October, there were prototypes for how a toolkit called Why3 could be used for this purpose
      • Passmore: Even though this is something that many have never been exposed to, formal verification is what we need. It's a learning curve, but it must be embraced, and that's exciting.