スケーリングのソリューションが必要

Caspter to Mainnet

Danny Ryan

What is Caspter?

What is FFG

Finality provided by stakers

slashing

Design Decisions

Hybrid PoW/PoS

Most of FFG はカプセル化されている

contract の上でうごく？EVMの上？

Roadmap to Mainnet

Soft Slashing

Formal Verification

Formal Verification Process

Formal spec of Casper contract in K

K

What can you do?

Casper とは

Ethereum における PoS の実装

GNOSIS

anna@gnosis.pm

GNOSIS CORE PRODUCTS

Prediction Markets

予測市場をつくる仕組み

oracle として etherscan を使用する

GNOSIS のうえで予測市場の dApp をつくることができる

prediction market dApp

SAFE

multisig wallet の mobile app

ユーザはprivate keyを使用する必要がない

2つのデバイスでトランザクションを実行できるようにする？

DutchX

GNOSIS DUTCH EXCHANGE

problems

Front-running (information)

Overlapping oders (arbitrage)

In illiquid maekets: big spread, high slippage (volatility)

High frequency trading (speed)

Discrete auction

Dutch auction

最初に高い価格を提示、価格を下げていく

auction の終わりには、全員が決まった価格を受け取ることができる

all participants obtain the same last price

Raiden

Jacob Stenum Czepluch

What is Raiden

A payment channel network

providing fast, cheap, scalable off-chain token transfer

A - B 間に直接のつながりがなくても中間に A,B それぞれとつながっている C がいれば実現できる送金ネットワーク

What is not?

not a silver bullet for scaling everything

casper とか シャーディングとか他のソリューションも必要

Raiden ではスマートコントラクト関連のことができない？

Microriden

many-to-one payment

Current status

0.3.0

The Swimming Goat

Raiden Modules

Message Transport

Problem: No scalable low latency whisper protocol

Splution: Use federated transport infrastracture

Pathfinding service

Problem: No global knowledge of channel

Solution Use federation of pathfinding helpers

Monitoring service

Problem:

オンラインでチャネルをモニターする必要がある

Solution:

3rd party のモニターをしてくれるサービスを使用

more fee が必要

Developer さがしているよ

MakerDAO

What is the main problem of cryptocurrency?

通貨として使用されていない

なぜか？

transaction fee?

もし tx fee がない場合は？

それでも使わない

理由は volatility

What is Maker?

platform of stability

DAI

1 DAI = 1 USD

どうやって実現するのか？

Asset backed hard currency

Normal usage: use DAI as decentralized USDT

How does dai work?

everyone can create DAI

1. Issue DAI with CDP: 担保付債務ポジション

2. Repay Dai + fee to retriece collateral

Similar to mortage loans

pawnshop - 質屋と同じと考えてもいい

Adcanced usage: deventralized margin trading

分散化された証券取引

DAI Solvency: liquidation process

liquidation ratio - 今は150%

developer からみると、ここから利益をえることができる

DAI solvency: black swan event

DAI DASHBOARD

DAI remains stable at 1 dolloar during the recent crash

Diversification

2018Q2, Multi-collateral Dai will be launched.

MKR

Aragon

Democratizing Governance

Aragon Core

Decentralized org をつくるためのプラットフォーム

Aragon network

a digital jurisdiction

aragonOS

the smart contract framework for DApps and protocols

Upgradeablity

access control

binary voting のみサポート

Melon

スイスは crypto-valley といわれるところがあるらしい