JF

Jun Furuse

Sort by
Tezos 008 Edo protocol
Plebeia, a new storage for Tezos blockchain state
SCaml update 2020-06
Tezso and on-chain governanace: towards "Kyoto amendment"
Comparison of Proof of Stakes
SCaml compiler
SCaml compiler
Blockchain and Smart Contract Simulation
Blockchain and formal verification (Japanese)
Blockchain and Formal verification (English)
Tezos Hands on 2019-06-15 Exercise (Japanese)
Tezos Hands on 2019-06-15 (Japanese)
Tezos and its formal verification (Japanese)
Tezos hands-on : Tezos exercise
Tezos hands-on : Tezos overview