Succinct、最初の分散型プロバーネットワーク、メインネットで開始