■ DAO4NのAdversary Model

全てのAdversaryに対して不可逆的に民主主義を破壊されないこと(liveness)を保証することを目的とする。また、Weak Adversary がセキュリティホールを突いてMedium Adversary のように振る舞えるようになるコストが高くなるように設計することも狙う。

Strong Adversary: ブロックチェーンを3日以上51%攻撃できるか、または、1年分の警察予算に匹敵する賄賂を3回以上供給できる((平成16年度=2,675億円)

■ Safety Proposition

熟議がunsafeであるということは、熟議の結果を任意の主体がある程度コントロールできるということ。

isDeliberationSafe := not isDeliberationUnsafe

isDeliberationUnsafe :=

isFacilitatorsUnsafe

or isProfessionalsUnsafe

or isJurisdictionUnsafe

or isCitizenRevisionUnsafe

or isEducationUnsafe

or isMediaUnsafe

or isSurveillanceUnsafe

or isMasqueradeUnsafe

subsetがunsafeであるということは、その行政が熟議の結果に圧力をかけられるということ。

isFacilitatorsUnsafe :=

( isRandomOracleUnsafe and isCorrupted(self) )

or isCoercedByMediumAdversary(self)

isProfessionalsUnsafe :=

( isRandomOracleUnsafe and isCorrupted(self) )

or isCoercedByMediumAdversary(self)

isJurisdictionUnsafe :=

( isRandomOracleUnsafe and isFragile(self) )

or isCoercedByMediumAdversary(self)

isCitizenRevisionUnsafe :=

isDocumentVerifierUnsafe

and

isResidenceCheckerUnsafe

isDocumentVerifierUnsafe :=

(isCheckerSubDAOUnsafe

or

isCitizenCheckUnsafe)

and

isProofOfPersonhoodUnsafe