• Introduction
  • Enterprise L2
  • 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