#Blockchain #note
## TL;DR
Ethereumの特に [[Layer2]] 技術の話、略して [[OVM]] でspecは [https://github.com/plasma-group/ovm](https://github.com/plasma-group/ovm)
Layer2には様々な派生方法があって、それらを統一したインターフェースやプロトコルで統一したいというのが目的
[[predicate]] を組み合わせて、claimという統一した形で投げて、deciderがそのclaimを解決するという流れ
## Optimistic decision
楽観的な決定とあるように、off chainのローカル情報だけで「あるstateが未来において達成可能か」ということを判定することで、そのトランザクションが正当かどうかを判定する。
shell
```
satisfies_assumptions(assumptions, ethereum_state, local_information) => true/false
```
`assumptions` と `loacl_information` から `ethereum_state` が実現可能かどうかを判定してbooleanを返す。
## Future Cone
達成可能なstateは無数にある。そのうちで達成不可能なものを削除していき未来の可能性を狭めていく。この過程を `future cone narrows` と言っている。
## The Universal Dispute Contract
## Reference
[https://medium.com/plasma-group/introducing-the-ovm-db253287af50](https://medium.com/plasma-group/introducing-the-ovm-db253287af50)
[https://medium.com/cryptoeconomics-lab/cel-development-direction-to-the-greater-abstraction-6860f87ce0eb](https://medium.com/cryptoeconomics-lab/cel-development-direction-to-the-greater-abstraction-6860f87ce0eb)
[https://medium.com/cryptoeconomics-lab/a-gentle-guide-to-the-ovm-934035646942](https://medium.com/cryptoeconomics-lab/a-gentle-guide-to-the-ovm-934035646942)
[https://github.com/cbc-casper/cbc-casper-paper/blob/master/cbc-casper-paper-draft.pdf](https://github.com/cbc-casper/cbc-casper-paper/blob/master/cbc-casper-paper-draft.pdf)
[https://medium.com/plasma-group/introducing-the-ovm-db253287af50](https://medium.com/plasma-group/introducing-the-ovm-db253287af50)
[https://speakerdeck.com/takamichitsutsumi/introduction-to-ovm](https://speakerdeck.com/takamichitsutsumi/introduction-to-ovm)