This content assumes that you have prior knowledge of Ethereum and general familiarity with Plasma.
SFT = max(exit_request_block.timestamp + MFP, utxo_submission_block.timestamp + MFP + REP)
exitable_at = max(exit_request_block.timestamp + MFP, youngest_input_block.timestamp + MFP + REP)
SFT = max(exit_request_block.timestamp + MFP, utxo_submission_block.timestamp + MFP)
REP
to ensure you have enough time to submit an exit request in case the chain is invalid.MFP
to challenge invalid regular exits.MFP/2
to challenge invalid actions in the in-flight exit protocol.To cover all possible misbehaviors that may occur in the network, the user must validate at rarest everymin(REP, MFP/2)
.
Important! The full implementation of this feature is reserved for future research and development.
Transaction per block limit is assumed to be 2^16, per Minimal Viable Plasma.
(sumAmount(spent UTXOs) - sumAmount(created UTXOs) >= 0)
— the fee that the child chain operator is eligible to claim later.inpPos
is an output's unique position, derived from:All zero outputs, inputs must come after the non-zero ones.
To create a valid transaction you must have access to the positions of all the UTXOs that you own.