「スマートコントラクトにおける暴力装置とは何か」 => 参加者が主体的に無実を主張することができない点で、「裁く」という行為がスマートコントラクトの低いレイヤにはない。よって暴力装置は不要だし、主権者は「法に従う」存在である
2018-04-07 10:22:24スマートコントラクトにおいて、「裁かれる者は、無実であることを宣言をする必要がある」という法の世界の命題と食い違うものがある。この差が本質的に何を産むのだろうか。 pic.twitter.com/i6anDmgIHd
2018-04-07 10:25:46スマートコントラクトは法的手続きの抽象でしかなくて、現在のスマートコントラクトはあまりに原始的なものなのではないか?Plasmaが垣間見せた「法廷のメタファー」は一種の現代法を模したものであり、その法律行為の拘束さ、低コストさ、非ビザンチン化の容易さからくる高次な法を期待したくなる
2018-04-07 10:29:23@fixer_fx 「領土と資源がある限り国防は必須で、それを維持する国家がなくなることはないだろう」「国民がいて紛争がある限り法がなくなることはないだろう」という今に根ざした感覚でいうと、アリゾナ州のようにスマートコントラクトの結果が法廷で使われるのがひとつですね
2018-04-07 11:29:41@fixer_fx 一方で、人類が道具に使い慣れてくると、気づかないうちに「領土や資源を守り紛争を解決する手続きの50%がスマートコントラクトに頼っていた」なんてことも全然あるんでしょうね
2018-04-07 11:30:53プロトコルベースのスマートコントラクトだと(紛争の端緒となる)解釈余地のある実装にならないのではと。 twitter.com/_sgtn/status/9…
2018-04-07 10:35:59PlasmaのexitChallengeも必ずUTXO_IDを要求するのでchallengeにも根拠が必要で、仮に怠慢なりなんなりでchallengeがなければ不正なexitも無罪放免だから、解釈余地がないってのは確かに
2018-04-07 10:39:31@_sgtn どの程度Oraclizeされるかによる気がします。無実を判断する高度な法的判断が外部にどの程度神託されるか・・。全部スマコンでやるなら、法律は自然現象みたいになりますね。
2018-04-07 10:45:05現実へのadaptが進むにつれ「自然現象を法に、法を自然現象に近づけるためのOracle」が論点になってきそうな気もする
2018-04-07 10:47:28