chia-blockchain 2.5.2rc2__py3-none-any.whl → 2.5.3rc1__py3-none-any.whl

chia/wallet/puzzles/singleton_top_layer.clsp

@@ -1,177 +0,0 @@
-(mod (SINGLETON_STRUCT INNER_PUZZLE lineage_proof my_amount inner_solution)
-
-  ;; SINGLETON_STRUCT = (MOD_HASH . (LAUNCHER_ID . LAUNCHER_PUZZLE_HASH))
-
-  ; SINGLETON_STRUCT, INNER_PUZZLE are curried in by the wallet
-
-  ; EXAMPLE SOLUTION '(0xfadeddab 0xdeadbeef 1 (0xdeadbeef 200) 50 ((51 0xfadeddab 100) (60 "trash") (51 deadbeef 0)))'
-
-
-  ; This puzzle is a wrapper around an inner smart puzzle which guarantees uniqueness.
-  ; It takes its singleton identity from a coin with a launcher puzzle which guarantees that it is unique.
-
-  (include condition_codes.clib)
-  (include curry-and-treehash.clib)
-  (include singleton_truths.clib)
-
-  ; takes a lisp tree and returns the hash of it
-  (defun sha256tree1 (TREE)
-    (if (l TREE)
-        (sha256 2 (sha256tree1 (f TREE)) (sha256tree1 (r TREE)))
-        (sha256 1 TREE)
-    )
-  )
-
-  ; "assert" is a macro that wraps repeated instances of "if"
-  ; usage: (assert A0 A1 ... An R)
-  ; all of A0, A1, ... An must evaluate to non-null, or an exception is raised
-  ; return the value of R (if we get that far)
-
-  (defmacro assert items
-    (if (r items)
-        (list if (f items) (c assert (r items)) (q . (x)))
-        (f items)
-    )
-  )
-
-  (defun-inline mod_hash_for_singleton_struct (SINGLETON_STRUCT) (f SINGLETON_STRUCT))
-  (defun-inline launcher_id_for_singleton_struct (SINGLETON_STRUCT) (f (r SINGLETON_STRUCT)))
-  (defun-inline launcher_puzzle_hash_for_singleton_struct (SINGLETON_STRUCT) (r (r SINGLETON_STRUCT)))
-
-  ;; return the full puzzlehash for a singleton with the innerpuzzle curried in
-  ; puzzle-hash-of-curried-function is imported from curry-and-treehash.clib
-  (defun-inline calculate_full_puzzle_hash (SINGLETON_STRUCT inner_puzzle_hash)
-    (puzzle-hash-of-curried-function (mod_hash_for_singleton_struct SINGLETON_STRUCT)
-      inner_puzzle_hash
-      (sha256tree1 SINGLETON_STRUCT)
-    )
-  )
-
-  ; assembles information from the solution to create our own full ID including asserting our parent is a singleton
-  (defun create_my_ID (SINGLETON_STRUCT full_puzzle_hash parent_parent parent_inner_puzzle_hash parent_amount my_amount)
-    (sha256 (sha256 parent_parent (calculate_full_puzzle_hash SINGLETON_STRUCT parent_inner_puzzle_hash) parent_amount)
-      full_puzzle_hash
-    my_amount)
-  )
-
-  ;; take a boolean and a non-empty list of conditions
-  ;; strip off the first condition if a boolean is set
-  ;; this is used to remove `(CREATE_COIN xxx -113)`
-  ;; pretty sneaky, eh?
-  (defun strip_first_condition_if (boolean condition_list)
-    (if boolean
-        (r condition_list)
-        condition_list
-    )
-  )
-
-  (defun-inline morph_condition (condition SINGLETON_STRUCT)
-    (list (f condition) (calculate_full_puzzle_hash SINGLETON_STRUCT (f (r condition))) (f (r (r condition))))
-  )
-
-  ;; return the value of the coin created if this is a `CREATE_COIN` condition, or 0 otherwise
-  (defun-inline created_coin_value_or_0 (condition)
-    (if (= (f condition) CREATE_COIN)
-        (f (r (r condition)))
-        0
-    )
-  )
-
-  ;; Returns a (bool . bool)
-  (defun odd_cons_m113 (output_amount)
-    (c
-      (= (logand output_amount 1) 1)  ;; is it odd?
-      (= output_amount -113)  ;; is it the escape value?
-    )
-  )
-
-  ; Assert exactly one output with odd value exists - ignore it if value is -113
-
-  ;; this function iterates over the output conditions from the inner puzzle & solution
-  ;; and both checks that exactly one unique singleton child is created (with odd valued output),
-  ;; and wraps the inner puzzle with this same singleton wrapper puzzle
-  ;;
-  ;; The special case where the output value is -113 means a child singleton is intentionally
-  ;; *NOT* being created, thus forever ending this singleton's existence
-
-  (defun check_and_morph_conditions_for_singleton (SINGLETON_STRUCT conditions has_odd_output_been_found)
-    (if conditions
-        (morph_next_condition SINGLETON_STRUCT conditions has_odd_output_been_found (odd_cons_m113 (created_coin_value_or_0 (f conditions))))
-        (if has_odd_output_been_found
-            0
-            (x)  ;; no odd output found
-        )
-    )
-  )
-
-  ;; a continuation of `check_and_morph_conditions_for_singleton` with booleans `is_output_odd` and `is_output_m113`
-  ;; precalculated
-  (defun morph_next_condition (SINGLETON_STRUCT conditions has_odd_output_been_found (is_output_odd . is_output_m113))
-    (assert
-      (not (all is_output_odd has_odd_output_been_found))
-      (strip_first_condition_if
-        is_output_m113
-        (c (if is_output_odd
-               (morph_condition (f conditions) SINGLETON_STRUCT)
-               (f conditions)
-          )
-          (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (r conditions) (any is_output_odd has_odd_output_been_found))
-        )
-      )
-    )
-  )
-
-  ; this final stager asserts our ID
-  ; it also runs the innerpuz with the innersolution with the "truths" added
-  ; it then passes that output conditions from the innerpuz to the morph conditions function
-  (defun stager_three (SINGLETON_STRUCT lineage_proof my_id full_puzhash innerpuzhash my_amount INNER_PUZZLE inner_solution)
-    (c (list ASSERT_MY_COIN_ID my_id) (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (a INNER_PUZZLE (c (truth_data_to_truth_struct my_id full_puzhash innerpuzhash my_amount lineage_proof SINGLETON_STRUCT) inner_solution)) 0))
-  )
-
-  ; this checks whether we are an eve spend or not and calculates our full coin ID appropriately and passes it on to the final stager
-  ; if we are the eve spend it also adds the additional checks that our parent's puzzle is the standard launcher format and that out parent ID is the same as our singleton ID
-
-  (defun stager_two (SINGLETON_STRUCT lineage_proof full_puzhash innerpuzhash my_amount INNER_PUZZLE inner_solution)
-    (stager_three
-      SINGLETON_STRUCT
-      lineage_proof
-      (if (is_not_eve_proof lineage_proof)
-          (create_my_ID
-            SINGLETON_STRUCT
-            full_puzhash
-            (parent_info_for_lineage_proof lineage_proof)
-            (puzzle_hash_for_lineage_proof lineage_proof)
-            (amount_for_lineage_proof lineage_proof)
-            my_amount
-          )
-          (if (=
-                (launcher_id_for_singleton_struct SINGLETON_STRUCT)
-                (sha256 (parent_info_for_eve_proof lineage_proof) (launcher_puzzle_hash_for_singleton_struct SINGLETON_STRUCT) (amount_for_eve_proof lineage_proof))
-              )
-              (sha256 (launcher_id_for_singleton_struct SINGLETON_STRUCT) full_puzhash my_amount)
-              (x)
-          )
-      )
-      full_puzhash
-      innerpuzhash
-      my_amount
-      INNER_PUZZLE
-      inner_solution
-    )
-  )
-
-  ; this calculates our current full puzzle hash and passes it to stager two
-  (defun stager_one (SINGLETON_STRUCT lineage_proof my_innerpuzhash my_amount INNER_PUZZLE inner_solution)
-    (stager_two SINGLETON_STRUCT lineage_proof (calculate_full_puzzle_hash SINGLETON_STRUCT my_innerpuzhash) my_innerpuzhash my_amount INNER_PUZZLE inner_solution)
-  )
-
-
-  ; main
-
-  ; if our value is not an odd amount then we are invalid
-  ; this calculates my_innerpuzhash and passes all values to stager_one
-  (if (logand my_amount 1)
-      (stager_one SINGLETON_STRUCT lineage_proof (sha256tree1 INNER_PUZZLE) my_amount INNER_PUZZLE inner_solution)
-      (x)
-  )
-)

chia/wallet/puzzles/singleton_top_layer.clsp.hex

@@ -1 +0,0 @@
-ff02ffff01ff02ffff03ffff18ff2fffff010180ffff01ff02ff36ffff04ff02ffff04ff05ffff04ff17ffff04ffff02ff26ffff04ff02ffff04ff0bff80808080ffff04ff2fffff04ff0bffff04ff5fff808080808080808080ffff01ff088080ff0180ffff04ffff01ffffffff4602ff3304ffff0101ff02ffff02ffff03ff05ffff01ff02ff5cffff04ff02ffff04ff0dffff04ffff0bff2cffff0bff24ff3880ffff0bff2cffff0bff2cffff0bff24ff3480ff0980ffff0bff2cff0bffff0bff24ff8080808080ff8080808080ffff010b80ff0180ff02ffff03ff0bffff01ff02ff32ffff04ff02ffff04ff05ffff04ff0bffff04ff17ffff04ffff02ff2affff04ff02ffff04ffff02ffff03ffff09ff23ff2880ffff0181b3ff8080ff0180ff80808080ff80808080808080ffff01ff02ffff03ff17ff80ffff01ff088080ff018080ff0180ffffffff0bffff0bff17ffff02ff3affff04ff02ffff04ff09ffff04ff2fffff04ffff02ff26ffff04ff02ffff04ff05ff80808080ff808080808080ff5f80ff0bff81bf80ff02ffff03ffff20ffff22ff4fff178080ffff01ff02ff7effff04ff02ffff04ff6fffff04ffff04ffff02ffff03ff4fffff01ff04ff23ffff04ffff02ff3affff04ff02ffff04ff09ffff04ff53ffff04ffff02ff26ffff04ff02ffff04ff05ff80808080ff808080808080ffff04ff81b3ff80808080ffff011380ff0180ffff02ff7cffff04ff02ffff04ff05ffff04ff1bffff04ffff21ff4fff1780ff80808080808080ff8080808080ffff01ff088080ff0180ffff04ffff09ffff18ff05ffff010180ffff010180ffff09ff05ffff01818f8080ff0bff2cffff0bff24ff3080ffff0bff2cffff0bff2cffff0bff24ff3480ff0580ffff0bff2cffff02ff5cffff04ff02ffff04ff07ffff04ffff0bff24ff2480ff8080808080ffff0bff24ff8080808080ffffff02ffff03ffff07ff0580ffff01ff0bffff0102ffff02ff26ffff04ff02ffff04ff09ff80808080ffff02ff26ffff04ff02ffff04ff0dff8080808080ffff01ff0bffff0101ff058080ff0180ff02ff5effff04ff02ffff04ff05ffff04ff0bffff04ffff02ff3affff04ff02ffff04ff09ffff04ff17ffff04ffff02ff26ffff04ff02ffff04ff05ff80808080ff808080808080ffff04ff17ffff04ff2fffff04ff5fffff04ff81bfff80808080808080808080ffff04ffff04ff20ffff04ff17ff808080ffff02ff7cffff04ff02ffff04ff05ffff04ffff02ff82017fffff04ffff04ffff04ff17ff2f80ffff04ffff04ff5fff81bf80ffff04ff0bff05808080ff8202ff8080ffff01ff80808080808080ffff02ff2effff04ff02ffff04ff05ffff04ff0bffff04ffff02ffff03ff3bffff01ff02ff22ffff04ff02ffff04ff05ffff04ff17ffff04ff13ffff04ff2bffff04ff5bffff04ff5fff808080808080808080ffff01ff02ffff03ffff09ff15ffff0bff13ff1dff2b8080ffff01ff0bff15ff17ff5f80ffff01ff088080ff018080ff0180ffff04ff17ffff04ff2fffff04ff5fffff04ff81bfffff04ff82017fff8080808080808080808080ff02ffff03ff05ffff011bffff010b80ff0180ff018080

chia/wallet/puzzles/singleton_top_layer_v1_1.clsp

@@ -1,107 +0,0 @@
-(mod (SINGLETON_STRUCT INNER_PUZZLE lineage_proof my_amount inner_solution)
-
-  ;; SINGLETON_STRUCT = (MOD_HASH . (LAUNCHER_ID . LAUNCHER_PUZZLE_HASH))
-
-  ; SINGLETON_STRUCT, INNER_PUZZLE are curried in by the wallet
-
-  ; EXAMPLE SOLUTION '(0xfadeddab 0xdeadbeef 1 (0xdeadbeef 200) 50 ((51 0xfadeddab 100) (60 "trash") (51 deadbeef 0)))'
-
-
-  ; This puzzle is a wrapper around an inner smart puzzle which guarantees uniqueness.
-  ; It takes its singleton identity from a coin with a launcher puzzle which guarantees that it is unique.
-
-  (include condition_codes.clib)
-  (include curry-and-treehash.clib)  ; also imports the constant ONE == 1
-  (include singleton_truths.clib)
-  (include utility_macros.clib)
-
-  (defun-inline mod_hash_for_singleton_struct (SINGLETON_STRUCT) (f SINGLETON_STRUCT))
-  (defun-inline launcher_id_for_singleton_struct (SINGLETON_STRUCT) (f (r SINGLETON_STRUCT)))
-  (defun-inline launcher_puzzle_hash_for_singleton_struct (SINGLETON_STRUCT) (r (r SINGLETON_STRUCT)))
-
-  ;; return the full puzzlehash for a singleton with the innerpuzzle curried in
-  ; puzzle-hash-of-curried-function is imported from curry-and-treehash.clib
-  (defun-inline calculate_full_puzzle_hash (SINGLETON_STRUCT inner_puzzle_hash)
-    (puzzle-hash-of-curried-function (mod_hash_for_singleton_struct SINGLETON_STRUCT)
-      inner_puzzle_hash
-      (sha256tree SINGLETON_STRUCT)
-    )
-  )
-
-  (defun-inline morph_condition (condition SINGLETON_STRUCT)
-    (c (f condition) (c (calculate_full_puzzle_hash SINGLETON_STRUCT (f (r condition))) (r (r condition))))
-  )
-
-  (defun is_odd_create_coin (condition)
-    (and (= (f condition) CREATE_COIN) (logand (f (r (r condition))) 1))
-  )
-
-  ; Assert exactly one output with odd value exists - ignore it if value is -113
-
-  ;; this function iterates over the output conditions from the inner puzzle & solution
-  ;; and both checks that exactly one unique singleton child is created (with odd valued output),
-  ;; and wraps the inner puzzle with this same singleton wrapper puzzle
-  ;;
-  ;; The special case where the output value is -113 means a child singleton is intentionally
-  ;; *NOT* being created, thus forever ending this singleton's existence
-
-  (defun check_and_morph_conditions_for_singleton (SINGLETON_STRUCT conditions has_odd_output_been_found)
-    (if conditions
-        ; check if it's an odd create coin
-        (if (is_odd_create_coin (f conditions))
-            ; check that we haven't already found one
-            (assert (not has_odd_output_been_found)
-              ; then
-              (if (= (f (r (r (f conditions)))) -113)
-                  ; If it's the melt condition we don't bother prepending this condition
-                  (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (r conditions) ONE)
-                  ; If it isn't the melt condition, we morph it and prepend it
-                  (c (morph_condition (f conditions) SINGLETON_STRUCT) (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (r conditions) ONE))
-              )
-            )
-            (c (f conditions) (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (r conditions) has_odd_output_been_found))
-        )
-        (assert has_odd_output_been_found ())
-    )
-  )
-
-  ; assert that either the lineage proof is for a parent singleton, or, if it's for the launcher, verify it matched our launcher ID
-  ; then return a condition asserting it actually is our parent ID
-  (defun verify_lineage_proof (SINGLETON_STRUCT parent_id is_not_launcher)
-    (assert (any is_not_launcher (= parent_id (launcher_id_for_singleton_struct SINGLETON_STRUCT)))
-      ; then
-      (list ASSERT_MY_PARENT_ID parent_id)
-    )
-  )
-
-  ; main
-
-  ; if our value is not an odd amount then we are invalid
-  (assert (logand my_amount ONE)
-    ; then
-    (c
-      (list ASSERT_MY_AMOUNT my_amount)
-      (c
-        ; Verify the lineage proof by asserting our parent's ID
-        (verify_lineage_proof
-          SINGLETON_STRUCT
-          ; calculate our parent's ID
-          (calculate_coin_id
-            (parent_info_for_lineage_proof lineage_proof)
-            (if (is_not_eve_proof lineage_proof)  ; The PH calculation changes based on the lineage proof
-                (calculate_full_puzzle_hash SINGLETON_STRUCT (puzzle_hash_for_lineage_proof lineage_proof))  ; wrap the innerpuz in a singleton
-                (launcher_puzzle_hash_for_singleton_struct SINGLETON_STRUCT)  ; Use the static launcher puzzle hash
-            )
-            (if (is_not_eve_proof lineage_proof)  ; The position of "amount" changes based on the type on lineage proof
-                (amount_for_lineage_proof lineage_proof)
-                (amount_for_eve_proof lineage_proof)
-            )
-          )
-          (is_not_eve_proof lineage_proof)
-        )
-        ; finally check all of the conditions for a single odd output to wrap
-        (check_and_morph_conditions_for_singleton SINGLETON_STRUCT (a INNER_PUZZLE inner_solution) 0)
-      )
-    )
-  )
-)

chia/wallet/puzzles/singleton_top_layer_v1_1.clsp.hex

@@ -1 +0,0 @@
-ff02ffff01ff02ffff03ffff18ff2fff3480ffff01ff04ffff04ff20ffff04ff2fff808080ffff04ffff02ff3effff04ff02ffff04ff05ffff04ffff02ff2affff04ff02ffff04ff27ffff04ffff02ffff03ff77ffff01ff02ff36ffff04ff02ffff04ff09ffff04ff57ffff04ffff02ff2effff04ff02ffff04ff05ff80808080ff808080808080ffff011d80ff0180ffff04ffff02ffff03ff77ffff0181b7ffff015780ff0180ff808080808080ffff04ff77ff808080808080ffff02ff3affff04ff02ffff04ff05ffff04ffff02ff0bff5f80ffff01ff8080808080808080ffff01ff088080ff0180ffff04ffff01ffffffff4947ff0233ffff0401ff0102ffffff20ff02ffff03ff05ffff01ff02ff32ffff04ff02ffff04ff0dffff04ffff0bff3cffff0bff34ff2480ffff0bff3cffff0bff3cffff0bff34ff2c80ff0980ffff0bff3cff0bffff0bff34ff8080808080ff8080808080ffff010b80ff0180ffff02ffff03ffff22ffff09ffff0dff0580ff2280ffff09ffff0dff0b80ff2280ffff15ff17ffff0181ff8080ffff01ff0bff05ff0bff1780ffff01ff088080ff0180ff02ffff03ff0bffff01ff02ffff03ffff02ff26ffff04ff02ffff04ff13ff80808080ffff01ff02ffff03ffff20ff1780ffff01ff02ffff03ffff09ff81b3ffff01818f80ffff01ff02ff3affff04ff02ffff04ff05ffff04ff1bffff04ff34ff808080808080ffff01ff04ffff04ff23ffff04ffff02ff36ffff04ff02ffff04ff09ffff04ff53ffff04ffff02ff2effff04ff02ffff04ff05ff80808080ff808080808080ff738080ffff02ff3affff04ff02ffff04ff05ffff04ff1bffff04ff34ff8080808080808080ff0180ffff01ff088080ff0180ffff01ff04ff13ffff02ff3affff04ff02ffff04ff05ffff04ff1bffff04ff17ff8080808080808080ff0180ffff01ff02ffff03ff17ff80ffff01ff088080ff018080ff0180ffffff02ffff03ffff09ff09ff3880ffff01ff02ffff03ffff18ff2dffff010180ffff01ff0101ff8080ff0180ff8080ff0180ff0bff3cffff0bff34ff2880ffff0bff3cffff0bff3cffff0bff34ff2c80ff0580ffff0bff3cffff02ff32ffff04ff02ffff04ff07ffff04ffff0bff34ff3480ff8080808080ffff0bff34ff8080808080ffff02ffff03ffff07ff0580ffff01ff0bffff0102ffff02ff2effff04ff02ffff04ff09ff80808080ffff02ff2effff04ff02ffff04ff0dff8080808080ffff01ff0bffff0101ff058080ff0180ff02ffff03ffff21ff17ffff09ff0bff158080ffff01ff04ff30ffff04ff0bff808080ffff01ff088080ff0180ff018080

chia/wallet/puzzles/singleton_truths.clib

@@ -1,21 +0,0 @@
-(
-  (defun-inline truth_data_to_truth_struct (my_id full_puzhash innerpuzhash my_amount lineage_proof singleton_struct) (c (c my_id  full_puzhash) (c (c innerpuzhash my_amount) (c lineage_proof singleton_struct))))
-
-  (defun-inline my_id_truth (Truths) (f (f Truths)))
-  (defun-inline my_full_puzzle_hash_truth (Truths) (r (f Truths)))
-  (defun-inline my_inner_puzzle_hash_truth (Truths) (f (f (r Truths))))
-  (defun-inline my_amount_truth (Truths) (r (f (r Truths))))
-  (defun-inline my_lineage_proof_truth (Truths) (f (r (r Truths))))
-  (defun-inline singleton_struct_truth (Truths) (r (r (r Truths))))
-
-  (defun-inline singleton_mod_hash_truth (Truths) (f (singleton_struct_truth Truths)))
-  (defun-inline singleton_launcher_id_truth (Truths) (f (r (singleton_struct_truth Truths))))
-  (defun-inline singleton_launcher_puzzle_hash_truth (Truths) (f (r (r (singleton_struct_truth Truths)))))
-
-  (defun-inline parent_info_for_lineage_proof (lineage_proof) (f lineage_proof))
-  (defun-inline puzzle_hash_for_lineage_proof (lineage_proof) (f (r lineage_proof)))
-  (defun-inline amount_for_lineage_proof (lineage_proof) (f (r (r lineage_proof))))
-  (defun-inline is_not_eve_proof (lineage_proof) (r (r lineage_proof)))
-  (defun-inline parent_info_for_eve_proof (lineage_proof) (f lineage_proof))
-  (defun-inline amount_for_eve_proof (lineage_proof) (f (r lineage_proof)))
-)

chia/wallet/vc_wallet/cr_puzzles/conditions_w_fee_announce.clsp

@@ -1,3 +0,0 @@
-(mod (CONDITIONS nonce)
-  (c (list 60 nonce) CONDITIONS)
-)

chia/wallet/vc_wallet/cr_puzzles/conditions_w_fee_announce.clsp.hex

@@ -1 +0,0 @@
-ff04ffff04ffff013cffff04ff05ff808080ff0280

chia/wallet/vc_wallet/cr_puzzles/credential_restriction.clsp

@@ -1,304 +0,0 @@
-; This is an outer puzzle for a coin that imposes a restriction that the coin can only be spent with an
-; announcement from a "verified credential" whose proofs are present due to a DID in a list of authorized providers.
-
-; A "verified credential" is defined as the following puzzle stack:
-;  - singleton top layer
-;    |_exigent metadata layer
-;      |_eml transfer program covenant adapter
-;      | |_covenant layer
-;      |   |_initial puzzle (hashed)
-;      |   | |_singleton top layer
-;      |   |   |_exigent metadata layer
-;      |   |     |_(mod (_ _ (provider tp)) (list (c provider ()) tp ())) (guaranteed metadata to be nil)
-;      |   |     |_p2 announced delegated puzzle
-;      |   |_eml covenant morpher
-;      |   |_eml update metadata with DID
-;      |_<inner puzzle>
-; The information to construct a VC is contained in a highly optimized way within CREDENTIAL_STRUCT
-;
-; This puzzle does many things:
-;  - Tree hash of a partially revealed tree to come to a proof hash present in the accompanying VC singleton
-;  - Validate the revealed proofs with a curried proofs checker
-;  - Assert an announcement from a VC with a message of 0xca which signals this spend is ok
-;  - Wrap all of its children in this layer
-;  - Create an announcement in the 0xcd namespace of each output it is creating (for a VC to assert if it wishes)
-;  - Block any announcements coming from the inner puzzle in the 0xcd namespace
-(mod
-  (
-    ; We curry twice: first, all of the static information we need, then the hash of the program with all of that info
-    ; this allows use to be more efficient when calculating our own hash (a (q . SELF_HASH) (c SELF_HASH (x INNER_PUZZLE 1)))
-    ; curried first
-    CREDENTIAL_STRUCT
-    AUTHORIZED_PROVIDERS
-    PROOFS_CHECKER
-    ; curried second
-    SELF_HASH
-    INNER_PUZZLE
-    proof_of_inclusions  ; Proof that key/value pairs exist in a tree (the root of the tree is implicit from this)
-    proof_checker_solution  ; solution to PROOFS_CHECKER program
-    provider_id  ; the DID that is curried into the metadata of the VC that is authorizing this coin
-    credential_id  ; the launcher ID of the VC that is authorizing this coin
-    credential_inner_puzhash  ; The <inner puzzle> (see above) of the VC that is authorizing this coin
-    my_coin_id  ; This coin's ID
-    inner_solution
-  )
-
-  (include curry.clib)
-  (include condition_codes.clib)
-  (include utility_macros.clib)
-
-  ; take two lists and merge them into one
-  (defun merge_list (list_a list_b)
-    (if list_a
-        (c (f list_a) (merge_list (r list_a) list_b))
-        list_b
-    )
-  )
-
-  (defconstant announcement_namespace 0xcd)
-  (defconstant ONE 1)
-
-  (defun-inline wrap_puzhash
-    (
-      SELF_HASH
-      puzhash
-    )
-
-    (curry_hashes SELF_HASH
-      (sha256 ONE SELF_HASH)
-      puzhash
-    )
-  )
-
-  ; Does three things:
-  ; 1) Wraps create coins with this layer
-  ; 2) Announces those create coins in a namespace
-  ; 3) Raises on announcements from the inner puzzle that could possibly be in the namespace
-  (defun process_conditions
-    (
-      SELF_HASH
-      conditions
-    )
-    (if conditions
-        (if (= (f (f conditions)) CREATE_COIN)
-            (c
-              (list
-                CREATE_COIN_ANNOUNCEMENT
-                (concat
-                  announcement_namespace
-                  (sha256 (f (r (f conditions))) (f (r (r (f conditions)))))
-                )
-              )
-              (c
-                (c
-                  CREATE_COIN
-                  (c
-                    (wrap_puzhash SELF_HASH (f (r (f conditions))))
-                    (r (r (f conditions)))
-                  )
-                )
-                (process_conditions SELF_HASH (r conditions))
-              )
-            )
-            ; else - not a create coin
-            (assert (or
-                (not (= (f (f conditions)) CREATE_COIN_ANNOUNCEMENT))  ; some coin announcements should be blocked
-                (not (= 33 (strlen (f (r (f conditions))))))  ; we only care about blocking 0xcd + some_hash
-                (not (= announcement_namespace (substr (f (r (f conditions))) 0 ONE)))  ; block prefix 0xcd
-              )
-              ; then
-              (c
-                (f conditions)
-                (process_conditions SELF_HASH (r conditions))
-              )
-            )
-        )
-        ; else - end of list
-        ()
-    )
-  )
-
-  (defun create_vc_puzhash_stage_2
-    (
-      (
-        (
-          (
-            SINGLETON_MOD_HASH
-            .
-            SINGLETON_LAUNCHER_HASH
-          )
-          .
-          (
-            OWNERSHIP_LAYER_MOD_HASH
-            .
-            ADAPTER_MOD_HASH
-          )
-        )
-        .
-        (
-          INITIAL_SINGLETON_INNER_PUZHASH
-          .
-          (
-            TWO_AND_COVENANT_MOD_HASH  ; (concat 2 COVENANT_MOD_HASH)
-            .
-            REST_COVENANT_ARGS_HASH  ; ((c PARENT_MORPHER (c EML_DID_TP 1)) . ()) hashed
-          )
-        )
-      )
-      provider_id
-      credential_singleton_struct_hash
-      proof_hash
-      credential_inner_puzhash
-      tp_hash
-    )
-
-    (curry_hashes SINGLETON_MOD_HASH
-      credential_singleton_struct_hash
-      (curry_hashes OWNERSHIP_LAYER_MOD_HASH
-        (sha256 ONE OWNERSHIP_LAYER_MOD_HASH)
-        (sha256 TWO
-          (sha256 ONE provider_id)
-          (sha256 ONE proof_hash)
-        )
-        tp_hash
-        (sha256 ONE tp_hash)
-        credential_inner_puzhash
-      )
-    )
-  )
-
-  (defun create_vc_puzhash
-    (
-      CREDENTIAL_STRUCT
-      provider_id
-      credential_singleton_struct_hash
-      proof_hash
-      credential_inner_puzhash
-    )
-
-    (create_vc_puzhash_stage_2
-      CREDENTIAL_STRUCT
-      provider_id
-      credential_singleton_struct_hash
-      proof_hash
-      credential_inner_puzhash
-      (curry_hashes (r (r (f CREDENTIAL_STRUCT)))  ; ADAPTER_MOD_HASH
-        (sha256
-          ; apply
-          (two_sha256_one_a_kw)
-          (sha256
-            ; func
-            (f (r (r CREDENTIAL_STRUCT)))  ; TWO_AND_COVENANT_MOD_HASH
-            (sha256 TWO
-              ; args
-              (sha256
-                (two_sha256_one_c_kw)
-                (sha256 TWO
-                  (sha256 TWO
-                    (sha256_one_one)
-                    (sha256 ONE (curry_hashes (f (f (f CREDENTIAL_STRUCT)))  ; SINGLETON_MOD_HASH
-                        credential_singleton_struct_hash
-                        (f (r CREDENTIAL_STRUCT))  ; INITIAL_SINGLETON_INNER_PUZHASH
-                    ))
-                  )
-                  (r (r (r CREDENTIAL_STRUCT)))  ; REST_COVENANT_ARGS_HASH
-                )
-              )
-              (sha256_one)
-            )
-          )
-        )
-      )
-    )
-  )
-
-  ; utility function that turns the output of two calls to collapse_tree_and_note_leaf_info into a single return value
-  (defun branch_hash_and_merge_info ((TREE1 PROOFS1) (TREE2 PROOFS2))
-    (list
-      (sha256 TWO TREE1 TREE2)
-      (merge_list PROOFS1 PROOFS2)
-    )
-  )
-
-  (defun collapse_tree_and_note_leaf_info (TREE PROOFS)
-    (if (l TREE)
-        (if (or (l (f TREE)) (l (r TREE)))  ; If either side is a cons, we have not reached a leaf pair yet
-            (branch_hash_and_merge_info
-              (collapse_tree_and_note_leaf_info (f TREE) ())
-              ; we favor right because merge_list merges from left
-              (collapse_tree_and_note_leaf_info (r TREE) PROOFS)
-            )
-            ; else - both first and rest are atoms, we are at a key/value pair
-            (branch_hash_and_merge_info
-              (list (sha256 ONE (f TREE)) ())
-              (list (sha256 ONE (r TREE)) (c TREE PROOFS))
-            )
-        )
-        (list TREE PROOFS)  ; All atoms that we reach must be pre-hashed subtrees
-    )
-  )
-
-  (defun main
-    (
-      CREDENTIAL_STRUCT
-      AUTHORIZED_PROVIDERS
-      PROOFS_CHECKER
-      SELF_HASH
-      proof_checker_solution
-      provider_id
-      credential_id
-      credential_inner_puzhash
-      my_coin_id
-      conditions
-      (tree_hash proofs)
-    )
-
-    (assert
-      ; Run proof checker to make sure it doesn't return () (fail)
-      (a PROOFS_CHECKER (list proofs proof_checker_solution))
-      (in provider_id AUTHORIZED_PROVIDERS)  ; VC needs to be in authorized list
-      ; then
-      (c
-        (list ASSERT_MY_COIN_ID my_coin_id)
-        (c
-          (list ASSERT_PUZZLE_ANNOUNCEMENT
-            (sha256
-              (create_vc_puzhash
-                CREDENTIAL_STRUCT
-                provider_id
-                (sha256 TWO
-                  (sha256 ONE (f (f (f CREDENTIAL_STRUCT))))  ; SINGLETON_MOD_HASH
-                  (sha256 TWO
-                    (sha256 ONE credential_id)
-                    (sha256 ONE (r (f (f CREDENTIAL_STRUCT))))  ; SINGLETON_LAUNCHER_HASH
-                  )
-                )
-                tree_hash
-                credential_inner_puzhash
-              )
-              (sha256 my_coin_id 0xca)  ; my_coin_id because VC must announce specifically to us
-            )
-          )
-          (process_conditions
-            SELF_HASH
-            conditions
-          )
-        )
-      )
-    )
-  )
-
-  (main
-    CREDENTIAL_STRUCT
-    AUTHORIZED_PROVIDERS
-    PROOFS_CHECKER
-    SELF_HASH
-    proof_checker_solution
-    provider_id
-    credential_id
-    credential_inner_puzhash
-    my_coin_id
-    (a INNER_PUZZLE inner_solution)
-    (collapse_tree_and_note_leaf_info proof_of_inclusions ())
-  )
-)

chia/wallet/vc_wallet/cr_puzzles/credential_restriction.clsp.hex

@@ -1 +0,0 @@
-ff02ffff01ff02ff2effff04ff02ffff04ff05ffff04ff0bffff04ff17ffff04ff2fffff04ff82017fffff04ff8202ffffff04ff8205ffffff04ff820bffffff04ff8217ffffff04ffff02ff5fff822fff80ffff04ffff02ff22ffff04ff02ffff04ff81bfffff01ff8080808080ff8080808080808080808080808080ffff04ffff01ffffffff463fff333cffff0102ff81cdffff04ffff0bff34ff09ff1380ffff04ffff02ff5effff04ff02ffff04ff15ffff04ff2bff8080808080ff808080ff02ffff03ff05ffff01ff0bff81f2ffff02ff26ffff04ff02ffff04ff09ffff04ffff02ff7cffff04ff02ffff04ff0dff80808080ff808080808080ffff0181d280ff0180ffffffff02ffff03ffff07ff0580ffff01ff02ffff03ffff02ffff03ffff07ff0980ffff01ff0101ffff01ff02ffff03ffff07ff0d80ffff01ff0101ff8080ff018080ff0180ffff01ff02ff5cffff04ff02ffff04ffff02ff22ffff04ff02ffff04ff09ffff01ff8080808080ffff04ffff02ff22ffff04ff02ffff04ff0dffff04ff0bff8080808080ff8080808080ffff01ff02ff5cffff04ff02ffff04ffff04ffff0bff24ff0980ffff01ff808080ffff04ffff04ffff0bff24ff0d80ffff04ffff04ff05ff0b80ff808080ff808080808080ff0180ffff01ff04ff05ffff04ff0bff80808080ff0180ffffa04bf5122f344554c53bde2ebb8cd2b7e3d1600ad631c385a5d7cce23c7785459aa09dcf97a184f32623d11a73124ceb99a5709b083721e878a16d78f596718ba7b2ffa102a12871fee210fb8619291eaea194581cbd2531e4b23759d225f6806923f63222a102a8d5dd63fba471ebcb1f3e8f7c1e1879b7152a6e7298a91ce119a63400ade7c5ffff02ff5affff04ff02ffff04ff05ffff04ff0bffff04ff17ffff04ff2fffff04ff5fffff04ffff02ff7affff04ff02ffff04ff39ffff04ffff0bff81b2ffff0bff2dffff0bff34ffff0bff81f2ffff0bff34ffff0bff34ff81d2ffff0bff24ffff02ff7affff04ff02ffff04ff21ffff04ff17ffff04ff15ff8080808080808080ff3d8080ff8192808080ff8080808080ff808080808080808080ffff02ff7affff04ff02ffff04ff21ffff04ff17ffff04ffff02ff7affff04ff02ffff04ff29ffff04ffff0bff24ff2980ffff04ffff0bff34ffff0bff24ff0b80ffff0bff24ff2f8080ffff04ff81bfffff04ffff0bff24ff81bf80ffff04ff5fff808080808080808080ff808080808080ff0bff81b2ffff02ff26ffff04ff02ffff04ff05ffff04ffff02ff7cffff04ff02ffff04ff07ff80808080ff808080808080ffffff0bff34ffff0bff34ff81d2ff0580ffff0bff34ff0bff81928080ff02ffff03ff0bffff01ff03ffff09ff05ff1380ffff0101ffff02ff36ffff04ff02ffff04ff05ffff04ff1bff808080808080ff8080ff0180ffff02ffff03ffff02ff17ffff04ff8257ffffff04ff5fff80808080ffff01ff02ffff03ffff02ff36ffff04ff02ffff04ff81bfffff04ff0bff8080808080ffff01ff04ffff04ff20ffff04ff8205ffff808080ffff04ffff04ff30ffff04ffff0bffff02ff2affff04ff02ffff04ff05ffff04ff81bfffff04ffff0bff34ffff0bff24ff2180ffff0bff34ffff0bff24ff82017f80ffff0bff24ff31808080ffff04ff8227ffffff04ff8202ffff8080808080808080ffff0bff8205ffffff0181ca8080ff808080ffff02ff7effff04ff02ffff04ff2fffff04ff820bffff80808080808080ffff01ff088080ff0180ffff01ff088080ff0180ffff02ffff03ff05ffff01ff04ff09ffff02ff5effff04ff02ffff04ff0dffff04ff0bff808080808080ffff010b80ff0180ff02ffff03ff0bffff01ff02ffff03ffff09ff23ff2880ffff01ff04ffff04ff38ffff04ffff0eff2cffff0bff53ff81b38080ff808080ffff04ffff04ff28ffff04ffff02ff7affff04ff02ffff04ff05ffff04ffff0bff24ff0580ffff04ff53ff808080808080ff738080ffff02ff7effff04ff02ffff04ff05ffff04ff1bff80808080808080ffff01ff02ffff03ffff02ffff03ffff20ffff09ff23ff388080ffff01ff0101ffff01ff02ffff03ffff20ffff09ffff0121ffff0dff53808080ffff01ff0101ffff01ff02ffff03ffff20ffff09ff2cffff0cff53ff80ff24808080ffff01ff0101ff8080ff018080ff018080ff0180ffff01ff04ff13ffff02ff7effff04ff02ffff04ff05ffff04ff1bff808080808080ffff01ff088080ff018080ff0180ff8080ff0180ff018080

chia/wallet/vc_wallet/cr_puzzles/flag_proofs_checker.clsp

@@ -1,45 +0,0 @@
-; This is a PROOFS_CHECKER for use with credential_restriction.clsp
-;
-; In an attempt to be as simple as possible, this puzzle is curried a list of key/value pairs sorted by keys. This sort
-; is crucial to the program functioning as the key/value pairs of the proofs will be sorted before being compared to
-; the curried list.
-(mod
-  (
-    FLAGS  ; must be sorted
-    proofs  ; will be sorted
-    solution  ; unused
-  )
-
-  (include utility_macros.clib)
-
-  (defun insertion_sort_by_keys (sorted insertions)
-    (if insertions
-        (if (or (not sorted) (>s (f (f insertions)) (f (f sorted))))
-            (insertion_sort_by_keys (c (f insertions) sorted) (r insertions))
-            (insertion_sort_by_keys (c (f sorted) (insertion_sort_by_keys (r sorted) (list (f insertions)))) (r insertions))
-        )
-        sorted
-    )
-  )
-
-  (defun merge_insertion_sort (proofs)
-    (if (r proofs)
-        (insertion_sort_by_keys (merge_insertion_sort (r proofs)) (merge_insertion_sort (list (f proofs))))
-        proofs
-    )
-  )
-
-  ; This function checks that the revealed proofs START WITH the same key/value pairs as are in FLAGS. This is not for
-  ; any particular reason except optimization. We don't really care if EXTRA proof pairs are revealed.
-  (defun compare_first_pairs_against_flags (subject comp)
-    (if subject
-        (if (logand (= (f (f subject)) (f (f comp))) (= (r (f subject)) (r (f comp))))
-            (compare_first_pairs_against_flags (r subject) (r comp))
-            ()
-        )
-        1
-    )
-  )
-
-  (compare_first_pairs_against_flags FLAGS (merge_insertion_sort proofs))
-)