The Plasma module provides functionality for handling layer2 dispute logics. This refer to: https://github.com/cryptoeconomicslab/ovm-contracts/blob/master/contracts/UniversalAdjudicationContract.sol
Plasma Module is a module that is responsible for processing specific to Plasma. It calls the OVM Module and the specified smart contract function. The Plasma Module has one "Commitment" and "Deposit" address per application. These are each defined by decl_child_storage. decl_child_storage! is a macro that implements DB in SubTrie. This sets AccountId as the key value. This is like a contract address. Specifically, implements with reference to AccountDb of contract module.
This is modularized Commitment, Deposit and CompiledPredicate contracts in the Ethereum.
Property stands for dispute logic and we can claim every Properties to Adjudicator Contract. Property has its predicate address and array of input.
Simple plapps address determiner.
The game decision by predicates.
Error for the staking module.
Events for this module.