revocable CAT maker

Author: Yakuhito

puzzles/default_puzzles/revocable_cat_maker.clsp

@@ -0,0 +1,29 @@
+; revocable_cat_maker.clsp by yakuhito
+;; Given an inner puzzle and a user-supplied solution, CAT makers return the full puzzle of a CAT
+;;   with the given inner puzzle. This allows the registry to support intermediary layers in
+;;   future CATs, such as the recently-proposed revocation layer.
+
+;; The revocable CAT maker assumes the revocation layer is the only layer separating the CAT outer puzzle
+;;   from the inner puzzle.
+
+;; Note: Truths (Inner_Puzzle_Hash) are trusted and should be verified by the outer puzzle.
+
+(mod (
+    (CAT_MOD_HASH REVOCATION_LAYER_MOD_HASH . HIDDEN_PUZZLE_HASH_HASH)
+    TAIL_HASH_HASH ; (sha256 1 TAIL_HASH)
+    Inner_Puzzle_Hash
+    ; Note: other CAT makers may have more arguments here
+    ; Puzzles using the maker should prepend Inner_Puzzle_Hash to a user-supplied input
+)
+    (include curry.clib)
+
+    (curry_hashes_inline CAT_MOD_HASH
+        (sha256 1 CAT_MOD_HASH)
+        TAIL_HASH_HASH
+        (curry_hashes_inline REVOCATION_LAYER_MOD_HASH
+            (sha256 1 REVOCATION_LAYER_MOD_HASH)
+            HIDDEN_PUZZLE_HASH_HASH
+            (sha256 1 Inner_Puzzle_Hash)
+        ) ; CAT layer inner puzzle
+    )
+)

puzzles/default_puzzles/revocable_cat_maker.clsp.hex

@@ -0,0 +1 @@
+ff02ffff01ff0bff16ffff0bff04ffff0bff04ff1aff0980ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1affff0bffff0101ff098080ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1aff0b80ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1affff0bff16ffff0bff04ffff0bff04ff1aff1580ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1affff0bffff0101ff158080ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1aff1d80ffff0bff04ffff0bff1effff0bff04ffff0bff04ff1affff0bffff0101ff178080ffff0bff04ff1aff12808080ff12808080ff12808080ff1280808080ffff0bff04ff1aff12808080ff12808080ff12808080ff12808080ffff04ffff01ff02ffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ff018080