作業用論文
契約の全体です。その中核、法と仕組み、発言権と匿名の発言権、正義、保護プール、クレジット、だれでも確認できるレコード、そして主張する内容と主張しない内容を扱います。
論文
完全版の作業用論文と、10ページの短縮版です。どちらに載る数値もすべて、契約を実行するコードが計算しています。
Read
契約の全体です。その中核、法と仕組み、発言権と匿名の発言権、正義、保護プール、クレジット、だれでも確認できるレコード、そして主張する内容と主張しない内容を扱います。
同じ契約を約10ページにまとめたものです。元の資料と数値は同じです。
両方の版は、ひとつの原稿から作られています。図表の数値は、契約の参照実装から取得しています。ビルドでは、元にしたコードとテストのダイジェストを記録します。そのため、コードと合わなくなった論文は、公開前に検出されます。