feat: add simplest order matching

Author: olehmisar

packages/contracts/noir/lob_router/src/lib.nr

@@ -3,14 +3,28 @@ mod LobRouter {
         context: &mut common::Context,
         seller_secret_key: Field,
         seller_note: erc20::Erc20NoteConsumptionInputs,
-        seller_amount: common::TokenAmount,
+        seller_order: crate::Order,
         seller_randomness: Field,
         buyer_secret_key: Field,
         buyer_note: erc20::Erc20NoteConsumptionInputs,
-        buyer_amount: common::TokenAmount,
+        buyer_order: crate::Order,
         buyer_randomness: Field,
     ) {
-        // TODO(security): orders must be signed by parties and the prices should match
+        // TODO(security): orders must be signed by parties
+
+        assert(
+            seller_order.sell_amount == buyer_order.buy_amount,
+            "seller order amount does not match buyer order amount",
+        );
+        assert(
+            seller_order.buy_amount == buyer_order.sell_amount,
+            "buyer order amount does not match seller order amount",
+        );
+        let seller_amount = seller_order.sell_amount;
+        let buyer_amount = seller_order.buy_amount;
+        assert(seller_amount.token == seller_note.note.amount.token, "invalid seller note token");
+        assert(buyer_amount.token == buyer_note.note.amount.token, "invalid buyer note token");
+
         erc20::Token::transfer(
             context,
             seller_secret_key,
@@ -32,3 +46,8 @@ mod LobRouter {
         );
     }
 }
+
+pub struct Order {
+    pub sell_amount: common::TokenAmount,
+    pub buy_amount: common::TokenAmount,
+}

packages/contracts/noir/lob_router_swap/src/main.nr

@@ -3,12 +3,12 @@ fn main(
     // seller
     seller_secret_key: Field,
     seller_note: erc20::Erc20NoteConsumptionInputs,
-    seller_amount: common::TokenAmount,
+    seller_order: lob_router::Order,
     seller_randomness: Field,
     // buyer
     buyer_secret_key: Field,
     buyer_note: erc20::Erc20NoteConsumptionInputs,
-    buyer_amount: common::TokenAmount,
+    buyer_order: lob_router::Order,
     buyer_randomness: Field,
 ) -> pub common::Result<4, 2> {
     let mut context = common::Context::from(tree_roots);
@@ -17,11 +17,11 @@ fn main(
         &mut context,
         seller_secret_key,
         seller_note,
-        seller_amount,
+        seller_order,
         seller_randomness,
         buyer_secret_key,
         buyer_note,
-        buyer_amount,
+        buyer_order,
         buyer_randomness,
     );
 

packages/contracts/sdk/LobService.ts

@@ -56,22 +56,31 @@ export class LobService {
       randomness: buyerRandomness,
     });
 
+    const seller_order = {
+      sell_amount: await params.sellerAmount.toNoir(),
+      buy_amount: await params.buyerAmount.toNoir(),
+    };
+    const buyer_order = {
+      sell_amount: await params.buyerAmount.toNoir(),
+      buy_amount: await params.sellerAmount.toNoir(),
+    };
+
     const input = {
       tree_roots: await this.trees.getTreeRoots(),
       seller_secret_key: params.sellerSecretKey,
       seller_note: await this.poolErc20.toNoteConsumptionInputs(
         params.sellerSecretKey,
         params.sellerNote,
       ),
-      seller_amount: await params.sellerAmount.toNoir(),
+      seller_order,
       seller_randomness: sellerRandomness,
 
       buyer_secret_key: params.buyerSecretKey,
       buyer_note: await this.poolErc20.toNoteConsumptionInputs(
         params.buyerSecretKey,
         params.buyerNote,
       ),
-      buyer_amount: await params.buyerAmount.toNoir(),
+      buyer_order,
       buyer_randomness: buyerRandomness,
     };
     const { proof } = await prove("swap", swapCircuit, input);