How It Works

OP_FALSE
OP_IF
  OP_PUSH "arch"
  OP_PUSH "state"
  OP_PUSH "insert_state_string_here"
  OP_PUSH "psbt"
  OP_PUSH "insert_base64_psbt_string_here"
  OP_PUSH "inputs"
  OP_PUSH "insert_stringified_input_json"
OP_ENDIF

Step 4: Each node undertakes the verification of the proof and incorporates the state change into the transaction before endorsing said transaction. The leader consolidates signatures from these nodes until reaching a predefined threshold.

Step 5: Once the transaction is signed by the requisite number of nodes, it can be broadcasted across the Bitcoin network.

Example: Borrower takes loan against his Bitcoin Frog

Signed Program Transaction:

State Info before Signed Program Transaction:

{
    "id":"5ba59eca41925d020feb370ab1405d9afc26f4dfcfdaac2ff68d181432c0b81b",
    "data":{
        "utxo":{
            "txid":"bf39e253fed74ead7cc7b679a7e90464a5c27e013d4aab3026c49b1bca62bf88",
            "vout":1,
            "value":1000,
            "owner":"tb1pl02mqcgmzge4837fvevtw3mjh5wcdhlumcgevv8q3q4p0kefe4jskyca6r"
        },
        "loan_value":1100,
        "loan_period":2592000,
        "lender_ordinals_address":"tb1pgkjr6r8apfvdm5fk6xk0vryrhzea5pv8rvn2vt34lsx65tclvp4sfn0hz2",
        "lender_payments_address":"2MzcAVUFfHb1ni46AXCn5z7ADQKrKvz52nn",
        "collection":"frogs",
        "inscription":null,
        "borrower_ordinals_address":null,
        "borrower_payments_address":null,
        "loan_started_at":null
    },
    "utxo":{
        "txid":"5ba59eca41925d020feb370ab1405d9afc26f4dfcfdaac2ff68d181432c0b81b",
        "vout":0,
        "value":500,
        "owner":"tb1pl02mqcgmzge4837fvevtw3mjh5wcdhlumcgevv8q3q4p0kefe4jskyca6r"
    }
}

State Info after Signed Program Transaction:

{
    "id":"5ba59eca41925d020feb370ab1405d9afc26f4dfcfdaac2ff68d181432c0b81b",
    "data":{
        "utxo":{
            "txid":"bf39e253fed74ead7cc7b679a7e90464a5c27e013d4aab3026c49b1bca62bf88",
            "vout":1,
            "value":1000,
            "owner":
            "tb1pl02mqcgmzge4837fvevtw3mjh5wcdhlumcgevv8q3q4p0kefe4jskyca6r"
        },
        "loan_value":1100,
        "loan_period":2592000,
        "lender_ordinals_address":"tb1pgkjr6r8apfvdm5fk6xk0vryrhzea5pv8rvn2vt34lsx65tclvp4sfn0hz2",
        "lender_payments_address":"2MzcAVUFfHb1ni46AXCn5z7ADQKrKvz52nn",
        "collection":"frogs",
        "inscription": {
            "inscription_id":"39a97675c3468f72bfd739108890e3041d623c2e54913eebd00cf689d6aa26e2i0",
            "utxo":{
                "txid":"4fefcb0b026047b868a20b87bcbdcc1a1fb76ae96b58dee969a52253d2317094",
                "vout":0,
                "value":500,
                "owner":"tb1pl02mqcgmzge4837fvevtw3mjh5wcdhlumcgevv8q3q4p0kefe4jskyca6r"
            }
        },
        "borrower_ordinals_address":"tb1pgkjr6r8apfvdm5fk6xk0vryrhzea5pv8rvn2vt34lsx65tclvp4sfn0hz2",
        "borrower_payments_address":"2MzcAVUFfHb1ni46AXCn5z7ADQKrKvz52nn",
        "loan_started_at":1707568045
    },
    "utxo": {
        "txid":"7eb471480aa8926c186519629baa462cd9046ce326a0047406a10d583a364f6a",
        "vout":0,
        "value":500,
        "owner":"tb1pl02mqcgmzge4837fvevtw3mjh5wcdhlumcgevv8q3q4p0kefe4jskyca6r"
    }
}