Alex

>To summarize my understanding, are we essentially collecting orders in the way the roll-up is collecting transfer requests (i.e. off-chain)? I was under the impression that roll-up is eventually also...

>This proposal is very similar to the Data Availability Committee that StarkWare and 0x propose for their dex. I gave it a read, and yes basically they want to have...

>My argument against removing the naive solver or even running our CI with this open solver instead is that we wanted something quick that would give us a valid end...

Others have done it like this: https://plmlab.math.cnrs.fr/nuccio/mathlib4/-/blob/splittingfieldch/Mathlib/Data/FP/Basic.lean?ref_type=heads#L164 not sure whether this is good enough...

Currently, the fleetdeployment, ordersetting and transferApproveDeposits are happing in a separate transaction and hence, I think they need to be indexed separately and we have to go the roundtrips. But,...