dep(`magi`): `no_std` derivation pipeline

[clabby]

Overview

In order to develop the client program, we need a no_std compatible derivation pipeline. Ideally, the derivation pipeline implementation consists of pure functions that take in L1 inputs and produce L2 transactions, without any opinions on where the data comes from. At its core, this derivation pipeline implementation should be fully synchronous. The fault proof program will provide data directly to this derivation pipeline, and receipts and other L1 data from the host program through the PreimageOracle as it processes the L1 block range.