Hi-Con2018から〜LayerXのブロックチェーン版「https」、非中央集権版メルカリ、DeNAのゲームへの取り組み(2/6)

LayerXが取り組む新プロトコルの説明図。コントラクトを呼び出す時に、形式検証されていることをzk-SNARKsで証明する。LayerXではWebにおける「https」に例えている。