• Introduction
• Repeated Game Assumption
• How to test a ligo script with custom Tezos
• How to deploy ligo contract to Tezos
• How to run a Tezos node
• Bug analysis of the command unrecognization
• How to dockerize Tezos on MacOS
• How to build Tezos on MacOS (abandoned)
• How to run OVM on Hyperledger and connect from ethersjs
• Investigation on EVMCC
• How to add a constant to ligolang
• How to add an opcode to Tezos
• The Eight Insights I Got From DeFi and Plasma
• Manually test new opcode on LIGO
• OVM Plasma Gametree Sequence (WIP)
• OCaml setup manual
• Job Description
• DSL for plasma predicate
• Discussion Sep 17
• Difficulty of Multiplatform Implementation