Jun Furuse
21 SlideShares 9 Followers 10 Folgens
Personal Information
Unternehmen/Arbeitsplatz
tokyo Japan
Beruf
OCaml hacker
Branche
Technology / Software / Internet
Kontaktdetails
Tags
tezos blockchain cryptocurrency formal verification ocaml compiler japanese smartcontract smart contract ocaml api search #smartcontract #blockchain #cryptocurrency #ocaml #tezos merkle proof merkle tree tezos ocaml smartcontract blockchain scaml governance pos proof of stake simulation on-chain governance certification coq
Mehr anzeigen

Präsentationen

(21)
Alle anzeigen

Um2010

Vor 13 Jahren • 1450 Aufrufe

OCamlOScope: a New OCaml API Search

Vor 9 Jahren • 1236 Aufrufe

Challenges in blockchain certification (Nov 19, 2018 for TPP2018)

Vor 5 Jahren • 390 Aufrufe

Recent tezos core developments

Vor 5 Jahren • 418 Aufrufe

ブロックチェーンと形式検証

Vor 5 Jahren • 954 Aufrufe

Tezos: Self-amending crypt ledger (Japanese)

Vor 5 Jahren • 319 Aufrufe

Tezos hands-on : Tezos overview

Vor 4 Jahren • 539 Aufrufe

Tezos hands-on : Tezos exercise

Vor 4 Jahren • 519 Aufrufe

Tezos and its formal verification (Japanese)

Vor 4 Jahren • 999 Aufrufe

Tezos Hands on 2019-06-15 (Japanese)

Vor 4 Jahren • 261 Aufrufe

Tezos Hands on 2019-06-15 Exercise (Japanese)

Vor 4 Jahren • 312 Aufrufe

Blockchain and Formal verification (English)

Vor 4 Jahren • 1322 Aufrufe

Blockchain and formal verification (Japanese)

Vor 4 Jahren • 871 Aufrufe

Blockchain and Smart Contract Simulation

Vor 4 Jahren • 175 Aufrufe

SCaml compiler

Vor 4 Jahren • 103 Aufrufe

SCaml compiler

Vor 4 Jahren • 64 Aufrufe

Comparison of Proof of Stakes

Vor 4 Jahren • 90 Aufrufe

Tezso and on-chain governanace: towards "Kyoto amendment"

Vor 4 Jahren • 114 Aufrufe

SCaml update 2020-06

Vor 3 Jahren • 142 Aufrufe

Plebeia, a new storage for Tezos blockchain state

Vor 3 Jahren • 116 Aufrufe

Tezos 008 Edo protocol

Vor 3 Jahren • 387 Aufrufe
Personal Information
Unternehmen/Arbeitsplatz
tokyo Japan
Beruf
OCaml hacker
Branche
Technology / Software / Internet
Tags
tezos blockchain cryptocurrency formal verification ocaml compiler japanese smartcontract smart contract ocaml api search #smartcontract #blockchain #cryptocurrency #ocaml #tezos merkle proof merkle tree tezos ocaml smartcontract blockchain scaml governance pos proof of stake simulation on-chain governance certification coq
Mehr anzeigen