Constantinopleで導入されるEIP-1014について

EIP-1014 Ethereum

今回は、いよいよ来週の2019/01/16にupdateされるConstantinopleで導入されるEIPのうちの一つである、EIP-1014について解説します。
eip-1014.mdにも書かれているとおり、これはstate channelに対して非常に重要な機能であり、個人的にConstantinopleで導入される機能の中でも一番注目しています。

では早速EIP-1014について解説していきます。

2018-12-30

secp256k-1には整数解は存在しないことの証明

証明数学

久しぶりのブログ投稿になります。こんにちは。今回はsecp256k-1である $y^2=x^3+7$ に整数解は存在しないことの証明を行いたいと思います。

元々はgemとC Libraryで書かれたsecp256k-1のライブラリが返す加算結果が違っていて、どっちのライブラリが正しい値かを手計算でも検算できそうな整数解となる点はどこかという話が発端でした。

納会のはずがy^2=x^3+7が整数解を持たないことの証明会に。 pic.twitter.com/P3Ij8GPgrH
— Shigeyuki Azuchi (@techmedia_think) 2018年12月28日

この話題のなかで、「secp256k-1 integer」などでググったところタイトルの通り、整数解は存在しないというhomeworkを見つけました。今回ではこのhomeworkの回答をみながら自分なりに証明をしていきたいと思います。

2018-12-02

ganache-cliのデータを永続化する

ganache-cli Truffle

今回はganache-cliのデータをファイルに吐き出して永続化する方法について説明します。
ganache-cliのデータを永続化できるとDappsのサンプルを提供する時にセットアップ済みのnodeもセットで提供できるため、非常に有用ですよね。
0x protocolでもganache-cliのsnapshotを提供しており、すぐにsampleを動かせるようになっています。
https://0xproject.com/wiki#Ganache-Setup-Guide0xproject.com

それでは早速、ganache-cliでデータを永続化する方法を説明します。と言っても非常に簡単だったので、さらに応用してevm_snapshotも利用した復元ポイントを持ったdumpデータの作成方法も合わせて説明したいと思います。