デジタル・アジール・モデル Ver1.0


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

  昨今の急激な情報化によって,決定論的な社会構造がつくりあげられつつある.このような社会構造の在り方を,ここでは制御社会と呼ぶ.

 制御社会においては開発された技術が,いつのまにか社会構造を操作する大きな力をもつ主体により制限または制御される.我々はそれを否定する.我々は既存の社会で標準化されている制度や産業の多くは望ましくないという前提のもとに新しい技術化された共同体,アジールを考察し,これを技術的に実装する.

 社会は確かに歴史的な大きな抗争を経て徐々に均衡点に収束しているようにみえる.その潮流の中で,先人の研究も含めて我々はよりよい社会の在り方を考察してきた.そこで我々は社会とは人が作り上げる限り収束しないと考えるに至った.ここにハクティビズムにおける真の原理がある.

    さて,ネットワーク上のアジールに相当するものは,日本において例えば旧くは2チャンネル,現在では複数アカウントを利用したTwitterがあるが,これらはすべて制御社会の中に存在する.現在,世界中で展開されている制御社会に対応するために匿名性の必要性が高まっている.しかしながら,匿名性の概念は違法行為に結びつく可能性を含むので,反社会性を伴う場合もあり懸念もされている.我々はその匿名性を用いてこそネットワークの中にアジールを構築する.我々は,自分のアイデンティティを隠すことを望んでいる.ここでは,外部から事実上不可視になるような共同体の匿名性を強い匿名性と呼ぶ.それによって権力機構から自立した共同体を甦らせ,この息の詰まる社会から脱出する場所,アジールを仮想的に実装する.ダークウェブは市場的価値に意味を見出しているという点で,我々のアジールとは本質的に異なる.

  我々は制御社会を逃れて,人が自由に生きられるような新たなシステムを創出する必要がある.それをここでは,デジタル・アジール・モデル Ver1.0  と呼ぶ.デジタル・アジール・モデルでは,ブロックチェーン技術を用いる.キリスト教はその中にすでにキリスト教倫理として合意形成手法を内包しており,これを,PoW(賢者),PoS(富豪)と比較してProof of Sacrifice(PoS:聖者)と呼び,デジタル・アジール・モデルの基盤とした.デジタル・アジール・モデル では,ブロックチェーンの強い匿名性とメカニズム(デザイン),トランスヒューマニズムから社会の中に不可侵な領域,アジールを再構成することを提案する.

  現在の社会は社会からのフィードバックを我々が調節しようと試みてもフィードバックするプロセスが我々の予測を越えて制御することができないという技術的特異性の反映である社会的特異性に達している.トランスヒューマニズムにおける新興技術の既存社会への破壊的な性質は,より多くの情報を処理するには利用可能な選択肢や手段が多くあった方が好ましいという思想であり,それはキリスト教倫理と相容れないものではない.自由を拡大するには技術を拡大する必要もある.我々が,現在の状況について危惧するのは,技術が抑制されるつつあることであり,既存の社会構造を変えるような技術には鋭いバイアスがかかることである.社会における規範倫理の重要性は言うまでもないが対応が追いついていない.ゲーム理論ではルールが与えられた上で結果を分析するが,メカニズムではある望ましい結果を得ることができるようなルールを設計する.メカニズムは,人が集団としての意思決定をする場である社会におけるルールやプロトコルである.ここにキリスト教倫理を適用し,その維持や運営をGNUの思想と機械によって達成することを提唱する.

 本稿では,デジタル・アジール・モデル Ver1.0を提案した.それは,高デジタル化されたアーミッシュと呼ぶべきものである.

 最後に我々は,今の社会構造に不満を抱いている人たちは,人が新たな自由の獲得手法を手に入れたことを確信する.

デジタル・アナーキズム・モデル Ver2.0


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

デジタル・アナーキズム・モデル Ver2.0

-逆ゲーム理論と無政府主義的なトランスヒューマニズム-

 昨今の急激な情報化によって,決定論的な社会構造がつくりあげられつつある.このような社会構造の在り方を,ここでは制御社会と呼ぶ.

 我々は制御社会を克服して,人が民主的に生きられるような(富 ⊇ 情報 を再分配可能な)新たなシステムを創出する必要がある.それをここでは,デジタル・アナーキズム・モデル と呼ぶ.デジタル・アナーキズム・モデルでは,ロールズの原初状態における無知のヴェールをキリスト教倫理に重ね,平等な関係性の経験を通して現実の社会構造に反映させる合意形成手法として,相対的な無知のヴェールを提案し,これを,PoW(賢者),PoS(富豪)と比較してProof of Sacrifice(PoS:聖者)と呼び,デジタル・アナーキズム・モデルの基盤とした.我々はこれを用いて,富 ⊇ 情報 を再分配するアプリケーションを実装しようと試みた.

 このような理想的な社会構造を作り上げるために楽観的な思想を基盤とした我々の試みに異議もある.確かに,歴史的に社会は大きな抗争を経て徐々に均衡点に収束しているようにみえる.その潮流の中で,先人の研究も含めて我々はよりよい社会の在り方を考察したきた.しかなしながら,我々も異議を反芻するにあたり,社会は人が作り上げる限り収束しないと考えるに至った.

 我々は,デジタル・アナーキズム・モデル Ver1.0 をバージョンアップして,メカニズム(デザイン)≒逆ゲーム理論と無政府主義的なトランスヒューマニズを採用し,社会を再構成することを提案する.

 ゲーム理論ではルールが与えられた上で結果を分析するが,メカニズムではある望ましい結果を得ることができるようなルールを設計する.メカニズムは,人が集団としての意思決定をする場である社会におけるルールやプロトコルである.計算機科学では,例えば,マルチエージェントシステムにおいて,利己的なエージェントを仮定する状況では,システムとして全体を制御するために最低限のルールやプロトコルを最初に設計する必要がある.これを現実の社会に応用する.

 また,現在の社会は社会からのフィードバックを我々が調節しようと試みてもフィードバックするプロセスが我々の予測を越えて制御することができないという技術的特異性の反映である社会的特異性に達している.我々は人の身体的能力を拡張することを通して民主主義と呼ばれるものを変革する.そこではトランスヒューマニズムにおける新興技術の既存社会への破壊的な性質を利用する.

 トランスヒューマニズムは,我々が社会との関わり方においてより多くの選択肢を持つべきだと主張する.それは必ずしも物理的な身体能力の拡張に括られない.すなわち,より多くの情報に基づいて選択できる幅広いツールを使用することが重要であり,自由を得やすくするためには,利用可能な選択肢や手段が多くあった方が好ましいと考える.自由を拡大するには,最終的に技術を拡大する必要もある.我々が,現在の状況について危惧するのは,技術が抑制されるつつあることであり,既存の社会構造を変えるような技術には鋭いバイアスがかかることである.社会における規範倫理の重要性は言うまでもないが対応が追いついていない.

 我々が開発する技術をトップダウンで制限または制御しようとすることは,インターネットで完成された中央集権的なシステムの再現である.我々の既存の社会で標準化されている制度や産業の多くは望ましくないという前提のもとに新しい技術化された社会を考える.これを実装することをデジタル・アナーキズム・モデルVer2.0とする.

制御社会とキリスト教倫理

制御社会とキリスト教倫理

The Control Society and The Christian Ethics

名古屋大学情報学研究科 堀江幸生

Horie Sachio Graduated School of Informatics  Nagoya University  

  1. 概要

The expansion of the Internet and the evolution of the artificial intelligence are changing our lives in a social structure the with interaction. For example, we can not deny that our lifestyle has changed significantly due to the spread of smartphones. Changes in social structure are passively changing our sense of ethics.

The crime is closely related to social structure. Unless the social structure is changed, the

crime occurs repeatedly. Judging a offender will not change the social structure. Since changes in the social structure are costly, if it is judged that the cost for not have the offenders in the social is not appropriate, it is considered that the crime is caused by only one person. Judging one of them is a reasonable judgment commensurate with the cost.

However, the expansion of internet and the evolution of artificial intelligence have made it possible to reduce the cost of changing social structure with efficiency. In order to eliminate the crime, the efficiency makes reality of the social structure change of eliminating the crime itself rather than eliminating the crime. For example, if an automatic convenience store allows a machine to read and automatically settle an item picked up by a certain customer, then the act of theft will be eliminated. Limiting to the Internet world, we have lost the act of theft, excluding digital data (that can be malicious copying). A society that separates crime from human ethics is a threat rather than singularity. To put it simply, creating a system that we can not have the crime robs the choice of good and evil from us.

By recent rapid informationization, a deterministic social structure is being created. This way of social structure is called control society here.

By the rapid informationization, a deterministic social structure is being created. This social structure is called control society in this paper.

In this paper, we explain the problems of the control society from the standpoint of Christian ethics.

キーワード AI, Society, ethics, Christianity, justice, Anonymity, Digital Leninism, Controlled Society

アナーキズムとブロックチェーン


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

概要

 ビットコインは,しばしばリバタリアンが理想的な社会を創る道具として引用されている.ただし、ビットコインを支える技術であるブロックチェーンは,アナキズムにも適した特性をもつ.中央当局を経ることなく緩い匿名性を提供するビットコインの能力は,リバタリアンの支持を得ている.さらにアナキズムを支持するブロックチェーン・テクノロジーの考察は,暗号アナキストに偏っている.

 本稿では,ブロックチェーンの説明後,暗号アナキズムとは異なるデジタル・アナキズム・モデルを提案し,アナキズムをを支えるテクノロジーとして理想的であるブロックチェーン特有の協力的性質を複数の局面から考察する.

 これにより本稿では,ブロックチェーンは単なるリバタリアンや暗号アナキストの道具ではなくて,デジタル・アナキズムのガバナンスを強化するものだと提案する.

プログラム化された社会 vs. 制御社会

未来を変える仮想通貨を作っていこう

自分の考えていることです.

インターネットの拡大と人工知能の進化は,社会構造と相互依存的に人の生活を大きく変化させている.例えばスマートフォンの普及拡大に依って,我々の生活様式が大きく変わったことは否定できない.

   昨今の急激な情報化によって,決定論的な社会構造がつくりあげられつつある.このような社会構造の在り方を,ここでは制御社会と呼ぶ.

 制御社会では,監視の目は偏在し,機械によって個人が限定される.制御社会の技術は,もはや国家の独占物ではなく,大企業によっても利用されている.例えば、企業のマーケティングに利用されるポイントカードや電子マネーがその一例である.人工知能によれば,我々は自己決定し判断する主体としてではなく,一定の確率や法則に基づいて,その行動を予測することのできる対象として把握されている.そこには、過去の事実に基づいて未来の行為を予測するシミュレーションがおこなわれている.膨大な個人情報の蓄積は,我々が自分で何かを判断する前に,するべきことの指針を提示してくれるようなシステムとして利用されている.それは,個人が何を選んだか,何を望んだか,何を考えたかということが,自動的に蓄積され,その個人情報の集積を元に,次にするべきこと,選ぶべき未来が,あらゆる場面で提示される.そのようなシステムの典型的な例としては,サイトにおける追跡広告である.自分の欲望が他者によって決定されているかのように見えるという点で,感情的な違和感を表明する人が多い一方で,このような機能は,便利なものとして受け入れられつつあり,すでに我々は,このようにデータベースと相互作用する振る舞いの中で生きている.

 この相互作用は,我々自身の履歴に基づいた事実として,我々の意志決定に影響を与えており,決定論に志向している.それは我々の意思決定においてバイアスをかける.また社会的に生まれ持った属性や過去の犯罪履歴から,その後の人生が社会に対するリスクの計算によって予測され,断言されてしまうことを起こす.

 インターネット,後のソーシャルメディアは,登場当初,無政府を標榜できるようなメディアとして登場したが,それは現在,国家や大企業による制御社会で力を行使する最高の手段となった.

 我々は,技術者の観点からポスト・インターネット社会についての見解を示すことを目的としている.それは,技術で自由を得るための新しいや手法やツールを開発することも最終的には含んでいる.

 かつて,リチャード・ストールマンは営利企業が開発し販売するソフトウェアを,新たにフリーソフトウェアとして書き直し,ソースコードを配布してユーザーに開放した.それは,企業が開発している私有ソフトウェアの多くが,ソースコードを隠蔽し,バイナリ表記の状態で流通しており,我々は例えソフトウェアが生活に不可欠なものであったとしても,その中身を見ることも知ることも不可能であることに起因する.すなわち,そこは外部からは立ち入ることのできない不可侵的な秘密の領域となる.

 彼は,未来がコンピュータの時代になることを確信した上で,ユーザーが私有ソフトウェアによって行動が制限され縛られてしまうことを危惧し,ユーザーの自由と創造性のために「フリーソフトウェア」という考え方を広める活動を始めた.

 これは,現在のインターネット,ソーシャルメディアにもそのままあてはまる.

 一般的なコンピュータユーザーは,不・自由(自分の意図で操作できないよう)なコンピュータ環境に置かれたとき,ある自由と引き換えに,他方の自由を差し渡すことに気づいていない,さらに,自分が被っている犠牲に気がついていない.GAFAは支配者であり,我々は被支配者である.

 我々は,個人のデータをシステムが今以上収集することを阻止するような仕組みを再設計する必要がある.すなわち我々が民主的に生きられるような新たなシステムを創出する必要がある.

ビザンチン将軍問題 再び


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

ブロックチェーンとビザンチン将軍問題は,しばしばセットで見かけます.

それが何を意味するのか疑問に思っているならば,もう一度考えてみましょう.

1982年に,ビザンチン将軍問題と呼ばれる数学的問題が定式化されましたが,その本質について知っている人は多くないです.

1つの城塞帝国が,他方の帝国から狙われています.戦闘力のバランスは,2つの帝国間で均等だとします.

ここで,狙っている帝国の将軍のすべてが同時に攻撃することに同意すれば,彼らは城塞帝国を克服し戦いに勝つのに十分な力を持つことになりますが,
何らかの理由で彼らが同時に攻撃を調整できず,たかだか1人の将軍でさえメッセージを逃すと,狙っている帝国は戦いに敗れます.

これは,暗号化について説明しています.

協働して何かをしようとするとき,伝え合うメッセージが改ざんされていないことをどうやって保証するのでしょう.

基本的に解決策は,すべての将軍ができるだけより多くの計算をできるようにすることです.裏切り者を計算力で排除するのです.

だから,ブロックチェーンがより多くの計算能力,チェーンの中でより多くのハッシュ能力を持っていれば安全になるというこの考えがでてくるのです.

ビザンチン将軍問題は暗号化についての物語であり,これは単に敵対者や悪意のある人々の存在下で情報を安全にやり取りする方法の研究であり,それがすべてのセキュリティと不変性の根底に横たわっています.

ブロックチェーンの使い方

未来を変える仮想通貨を作っていこう

ブロックチェーンは,分散化されたデータベースです,ブロックチェーン長所はよく聞かされているでしょうから,ブロックチェーンの短所を話しましょう.
取引確認のスピード,電力の消費,また,コンセンサス・プロトコルは,元帳の機能とそのスケーラビリティに影響を与えます。

1) ブロックチェーンが扱う情報が多くの人々によって使用されることを前提としている場合,オンライン処理を迅速に達成することが非常に重要です.

2) スマートコントラクトを作成する際のアルゴリズムは,商取引から製造までのあらゆる領域の法的問題を解決していなければなりません.

3) ブロックチェーン・プラットフォームの開発者は,オープンソースコードの作成にまだまだ積極的に取り組まなければなりません.

さて,スマートコントラクトを作成するためのアルゴリズムで,トランザクション速度の高速化,スケーラビリティなど,いくつかの機能的な課題は,解決策を見つけられるのでしょうか.

ウクライナは,ブロックチェーン実装における世界のリーダかもしれません.ウクライナのブロックチェーンは,テストされていて,実験は28ノードとネムで行われています (ブロックチェーンのコンセンサスプロトコルは,投票システムとありますが,コンセンサスプロトコルはすべて投票です)で .手数料はかかりますが,試みが成功すれば公的に重要なデータを無制限に長期保管するための合理的な価格だと思います.

また,ブロックチェーンベースのアプリケーションは,食料供給物流の管理に積極的に使用されています.たとえば,WalmartとIBMは共同でFood Trustブロックチェーンネットワークをテストしています.サプライヤは,納期・温度条件などをオンラインで追跡および管理できます.

技術を選択するときは,その多機能性を評価する必要があります.

合意形成と障害


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

分散システムアプローチ

Casper CBCは,分散システム問題として合意形成の問題に取り組んでいます.

まずはじめに,分散システムにおける障害とは,なんでしょうか.

コンセンサスメカニズムの前提は,「障害の数が十分に少なければ,すべて問題ない」ということです.これは,「十分に障害がある場合にのみ,問題が発生する」と言い換えることができます.

コンセンサスメカニズム

さて,わかりにくい専門用語に慣れましょう.

バリデータ:合意を形成するノードのことをバリデータと呼ばれます.
メッセージ:メッセージは、合意に達することを試みる努力の中でバリデータによって生成され伝えられます.

メッセージ

メッセージは,合意形成プロセスに参加している間にバリデータによって生成され,伝えられる情報です.Casper CBC合意形成メカニズムでは,メッセージは以下の構造を持ちます.

メッセージ構造 =(値、バリデータ、正当化)

メッセージ構造を説明します.

値:値は,バリデータが合意に達するようにネットワークに提案する値のことです.
バリデータ:これはメッセージを生成しているバリデータです.
正当化:メッセージの正当化は,バリデータがその特定のメッセージを生成している間に確認および確認した一連のメッセージです.後で見るように,その正当化は提案された値を文字通り「正当化する」ことになっています.

ここで,メッセージに関わる2つの重要な概念を見てみましょう.

後のメッセージ:メッセージAがメッセージBの正当性を説明するものである場合,メッセージBはメッセージAよりも後になります.
推定関数:推定関数は,正当化を入力として,入力によって「正当化された」値を返します.

合意規則

提案された値は,正当化に対する推定関数の適用によって返された合意形成値と同じでなければなりません.
バリデータは2つのメッセージを作ることができないようになっています.

合意規則違反

バリデータが,受け取ったメッセージの時点差により,分離されるかもしれません.

意思決定保証

十分な数のバリデータが提案する有効な値を含むメッセージを作成した後に,多数のバリデータがフォルトを生成することなしに矛盾する値について合意形成することは不可能であることを合意規則は保証します.

したがって,十分な数のバリデータが有効な値を含むメッセージ見た後で,ノードは合意値を決定します.この「十分に高い」数は、そのノードのフォールトトレランス閾値によって異なります(この十分という部分は未定義です).

合意形成プロトコルCBCについて


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

合意プロトコルは,通信ノード同士が何かに同意することを保証するメカニズムです.ブロックチェーンで新しいブロックをダウンロードするノードは,システムの履歴としてトランザクションに確実に同意することを望みます.作業証明(PoW)では,ノードがあるトランザクションでハッシングを解くと,標準チェーンに含まれることを意味します.

PoWの欠点は,非常に多くのエネルギー消費と,ブロックチェーンを維持するセキュリティとを満たしながら,スループットを増加させることが可能かどうかが定かではないところです.それでは,他の合意プロトコルはあるでしょうか?,作業料分だけ手数料を受け取るのは,理にかなっています.

それでも,Proof of Stake(PoS)という手法もあります.それは,ある量の資本を(例えば暗号通貨)を持つノードを信用して,次のブロックの選択権を得るというものです.

ここでは,合意プロトコルの概念を確認していきましょう.

CBCというプロトコルを説明していきます.

システムを設計するとき,セキュリティは重要です.システムを徹底的にテストすることは,システムが意図したとおりに機能することを確認する1つの方法です.それは予測可能な方法で機能しているでしょうか.与えられた入力は,内部的な矛盾を引き起こしませんか.

ここで,紹介するCBCという手法は,次のようなことも許容します.システムの部分が,未定義のままにされるかもしれません,これはよく言えば仕様が変更できるということです.ある性質Pがある空間Sに存在するメカニズムとして成立することを証明することができれば,Sのサブセット上でのメカニズムS’で,性質P’を証明できるかもしれません.たとえば,Sをブロックチェーン合意メカニズムのSとします.最長のチェーンフォーク選択するというこというメカニズムがS’になるように考えましょう.フォークの選択へある規則制をもちこむことによって一貫性が得らます.それは,S’におけるプロパティP’を得ることでもあります.

ノードがやり取りするメッセージは,可能な合意値を見出し,この値について合意を達するために送信されます.

合意値
検証(送信者)への参照
プロトコルによる状態の参照(正当化)

例えば,AとBという2つの検証があり,常にメッセージに値1を送信します.プロトコルは,最初は何もしません.だれでも送信できるメッセージは,名前,値1、および前の状態への参照,空集合だけです.この時点でネットワークのノードから見えるものは,空集合ø,Aからのメッセージ,Bからのメッセージ、またはAとBからのメッセージです.

私たちは,新たなメッセージが構築される以前のプロトコルによる状態を参照できるようにするために各メッセージを必要とします .プロトコルによって送られのは,単なるメッセージであり,それぞれのメッセージは以前のプロトコルによる状態を参照します.

プロトコルによって,タイミングにより,状態は分岐するかもしれません.

その場合,ノードはどちらが正しいのかを決定できなければなりません.つまり,合意値が0と1の両方であると決定することはできないいうことです.これが安全性の保証となります.

このような安全性を保つことは,2つのノードにとっては簡単です.2つのノードによって決定された合意値はお互いに明白です(常識的には片方が決まれば,もう片方決まります)が,例えば,3つの合意値が一致しないことがあります.
ライトを点灯させるには2つのスイッチをオンにする必要があるとします.2つのノードがスイッチを観察し,3つめのノードはライトを観察します.1つのスイッチがオンになっていても,必ずしもライトが点灯しているとは限りません.つまり,ライトが消えている間は,2つのノードは両方のスイッチがオンになっているのを観察することはできません.これは,両方のスイッチがオンになっていても,ライトが点灯していないことも許します.

このようなことは,ひとつのスイッチとライトの点灯の有無は明白です.

そこでCBCは,メッセージに重みづけ(合意値0のようなメッセージは重みをなくす)をして,重みがある閾値よりも大きい限り一貫した決定を下せるようにします.

これまでのところ,決定はプロトコルによる状態に依って行われて,プロトコルによる状態から合意値に向かう関数を私たちはもっていません.ここで,注目すべきは,推定量という概念の導入です.プロトコルによる状態が与えられると,推定量は合意値を返します.CBCでは,推定量は未定義のままです.

ブロックチェーンのスケーラビリティ 4


https://bitcoin20xx.xyz/未来を変える暗号通貨を作っていこう

先回の続きで,ブロックチェーンのスケーラビリティ解決策を記していきます.

4)シャーディング

ブロックチェーンの分割は,従来のデータベースの分割と似ています.従来のデータベースでは,負荷分散のためサーバーを分割しました.

同様に,ブロックチェーンの分割でも,ブロックチェーンの全体的な状態がさまざまな部分に分割され,各部分はネットワーク内のさまざまなノードによって格納されます.

ネットワーク上で発生するトランザクションは,どのシャードが影響を受けるかに応じて,各ノードに送信されます.各部分は状態のごく一部を並行的に処理します.このとき,シャード間で通信するためには,何らかのメッセージ受け渡しメカニズムになります.

例えば,シャード内のトランザクションが実行されると,ローカルシャードを更新し,同時にレシート(更新した証拠)を生成します.このレシートは,共有メモリに記録されます.

ブロックチェーンを分割するには,高いセキュリティを維持しながら,すべてのノードがすべてのトランザクションのごく一部しか処理しないネットワークを構築する必要があります.これは極めて難しことです.

それは,ブロックチェーンプロトコルでは、ネットワーク内のすべてのノードが互いに信頼し合うとは限らないと想定しています.それでも、トランザクションは異なるコンピューターで処理されるにもかかわらず,共通の状態について合意している必要があるからです.これを解決するには,多くの権限を持つ可能性のある攻撃者に機会を生み出すことなく,どのノードが安全な方法でどの断片を検証するかを決定するメカニズムを見つける必要があります.

分割を実装するのが難しいもう1つの理由は,ブロックチェーン上で実行されるトランザクションがブロックチェーン内の前の状態のどの部分にも依存する可能性があるため,並行して処理するのが困難になるためです.さらに、並列化を使用すると,競合状態などを緩和するための絶対確実な方法が必要になります.