Merge pull request #5 from Yakuhito/auctions

Wrong branch

Author: Yakuhito

include/slots.clib

@@ -20,4 +20,26 @@
       (list hint)
     )
   )
+
+  (defun spend_slot_inline (SLOT_1ST_CURRY_HASH slot_value_hash)
+    (list
+      SEND_MESSAGE
+      18 ; puzzle-puzzle
+      ()
+      (curry_hashes_inline SLOT_1ST_CURRY_HASH
+        (sha256 1 slot_value_hash)
+      )
+    )
+  )
+
+  (defun create_slot_inline (SLOT_1ST_CURRY_HASH slot_value_hash hint)
+    (list
+      CREATE_COIN
+      (curry_hashes_inline SLOT_1ST_CURRY_HASH
+        (sha256 1 slot_value_hash)
+      )
+      0
+      (list hint)
+    )
+  )
 )

puzzles/actions/auctions/bid.clsp

@@ -0,0 +1,52 @@
+; bid.clsp by yakuhito & Rigidity
+
+(mod (
+    BID_PROGRAM ; Checks the pre-buyer's premium amount against the previous bid
+        ; CHECK PREVIOUS BID > BID HERE
+    TIMESTAMP_PROGRAM ; Adds conditions to the output of the action
+        ; return: (new_state seconds is_relative)
+    REFUND_PROGRAM
+    (Ephemeral_State . (@ Current_State (Bid_Index Bid King End_State)))
+    solution ; (new_bid new_king)
+)
+    (include condition_codes.clib)
+
+    (defun main ((Bid_Index Bid King End_State) (new_bid new_king) (end_new_state end_seconds end_is_relative))
+        (if (a BID_PROGRAM (list Bid_Index Bid new_bid))
+            (list
+                (
+                    (+ Bid_Index 1)
+                    new_bid
+                    new_king
+                    end_new_state
+                ) ; new state
+                1 ; new ephemeral state
+                (list
+                    (list
+                        CREATE_PUZZLE_ANNOUNCEMENT
+                        (sha256 2 (sha256 1 new_bid) (sha256 1 new_king))
+                    ) ; create puzzle
+                    (list -42
+                        CREATE_COIN
+                        King
+                        (a REFUND_PROGRAM (list Bid_Index Bid))
+                        (list King)
+                    ) ; refund last bid
+                    (i is_relative
+                        (i Ephemeral_State
+                            (list REMARK) ; THIS IS TERRIBLE REMOVE BEFORE PRODUCTION
+                            ; else
+                            (list ASSERT_BEFORE_SECONDS_RELATIVE end_seconds)
+                        )
+                        ; else
+                        (list ASSERT_BEFORE_SECONDS_ABSOLUTE end_seconds)
+                    )
+                ) ; conditions
+            )
+            ; else
+            (x)
+        )
+    )
+
+    (main Current_State solution (a TIMESTAMP_PROGRAM (list Bid_Index End_State)))
+)

puzzles/actions/auctions/bid.clsp.hex

@@ -0,0 +1 @@
+ff02ffff01ff02ff1effff04ff02ffff04ff6fffff04ff5fffff04ffff02ff0bffff04ff81afffff04ff8205efff80808080ff808080808080ffff04ffff01ffff5533ff3eff01ff02ffff03ff8b2124a25f50528fd505491dffff01ff04ffffff10ff09ffff01018080ffff04ffff0101ffff04ffff04ffff04ff0affff04ffff0bffff0102ffff0bffff0101ff1380ffff0bffff0101ff2b8080ff808080ffff04ffff04ffff0181d6ffff04ff0cffff04ff2dffff04ff8e0a48a2a72aa35f50528fd505491dffff04ffff04ff2dff8080ff808080808080ffff04ffff03ffff018b69735f72656c6174697665ffff03ffff018f457068656d6572616c5f5374617465ffff04ff16ff8080ffff04ffff019e4153534552545f4245464f52455f5345434f4e44535f52454c4154495645ffff04ff57ff80808080ffff04ff08ffff04ff57ff80808080ff80808080ff80808080ffff01ff088080ff0180ff018080

puzzles/actions/auctions/bid_programs/linear_increase.clsp

@@ -0,0 +1,5 @@
+; linear_increase.clsp by yakuhito & Rigidity
+
+(mod (STEP_AMOUNT Prev_Index Prev_Bid bid)
+    (not (> (* STEP_AMOUNT Prev_Index) (- bid Prev_Bid)))
+)

puzzles/actions/auctions/bid_programs/linear_increase.clsp.hex

@@ -0,0 +1 @@
+ff20ffff15ffff12ff02ff0580ffff11ff17ff0b808080

puzzles/actions/auctions/bid_programs/minimum_bid.clsp

@@ -0,0 +1,9 @@
+; minimum_bid.clsp by yakuhito & Rigidity
+
+(mod (MINIMUM_AMOUNT INNER_PROGRAM (@ inner_solution (Prev_Index Prev_Bid bid)))
+    (if (= Prev_Index 0)
+        (not (> MINIMUM_AMOUNT bid))
+        ; else
+        (a INNER_PROGRAM inner_solution)
+    )
+)

puzzles/actions/auctions/bid_programs/minimum_bid.clsp.hex

@@ -0,0 +1 @@
+ff02ffff03ffff09ff13ff8080ffff01ff20ffff15ff02ff5b8080ffff01ff02ff05ff0b8080ff0180

puzzles/actions/auctions/bid_programs/static_increase.clsp

@@ -0,0 +1,5 @@
+; static_increase.clsp by yakuhito & Rigidity
+
+(mod (AMOUNT Prev_Index Prev_Bid bid)
+    (not (> AMOUNT (- bid Prev_Bid)))
+)

puzzles/actions/auctions/bid_programs/static_increase.clsp.hex

@@ -0,0 +1 @@
+ff20ffff15ff02ffff11ff17ff0b808080