diff --git a/docs/clarity/clarity-bitcoin-library.md b/docs/clarity/clarity-bitcoin-library.md
new file mode 100644
index 0000000000..fa95ec8a20
--- /dev/null
+++ b/docs/clarity/clarity-bitcoin-library.md
@@ -0,0 +1,84 @@
+---
+title: Clarity <> Bitcoin Library
+description: A Clarity library for parsing Bitcoin transactions and verifying Merkle proofs
+sidebar_position: 6
+---
+
+# Introduction
+Through Proof of Transfer the Stacks blockchain has a view on the Bitcoin network. It is limted to block header hashes of each Bitcoin block, even on those that do not have a corresponding Stacks block e.g. for flash blocks.
+
+The block header hash is sufficient to proof in a Clarity contract that a Bitcoin transaction was actually included in the Bitcoin block. It is just a question about providing enough information to re-build the hash. This also works for transaction with witness data.
+
+Currently, a stateless contract is deployed on mainnet that helps to make use of this feature for transactions without witness data and a smaller number of inputs and outputs: https://explorer.hiro.so/txid/SP2PABAF9FTAJYNFZH93XENAJ8FVY99RRM50D2JG9.clarity-bitcoin-lib-v3?chain=mainnet
+
+The next sections describe the details of the library and its application.
+
+## Clarity Functions
+
+The main function is about verifying that a transaction was mined in a certain bitcoin block. The verification happens in two steps:
+1. compare the provided block header information with the actual chain
+2. compare the merkle root from the provided merkle proof with the merkle root of the provided block header
+
+### Was Tx Mined?
+These are the main functions that can be used to verify that a tx was mined in a given bitcoin block.
+
+The block header can be provided as an object with header details or as a buffer.
+
+* `was-tx-mined-compact (header as a buffer)
+* `was-tx-mined` (header as an object)
+
+Both functions take the following arguments in the same order:
+1. Bitcoin block height
+2. Raw tx hex
+3. Bitcoin block header either as hex or as a tuple
+4. Merkle proof
+
+The header object has the following properties using the reverse hex of the shown values in the bitcoin explorer:
+- version: (buff 4)
+- parent: (buff 32)
+- merkle-root: (buff 32)
+- timestamp: (buff 4)
+- nbits: (buff 4)
+- nonce: (buff 4) 
+  
+### Verification Functions for Transactions in Bitcoin Block
+
+The verification in the main function happens in two steps:
+1. verify that the hash of the given header is equal to the header hash of the given block height
+2. verify that the given merkle proof for the given transaction id results in the merkle root contained in the header
+  
+* `verify-block-header`
+* `verify-merkle-proof`
+
+### Helper Function for Tx Verification
+Once the tx id was confirmed to be mined in the given block, the inputs and outputs of the tx can be used to trigger certain actions in a smart contract. To verify e.g. that an input is indeed an input of the verified tx id, the hash of a transaction buffer must match the tx id. Then the inputs and outputs of the transaction can be used either
+* by parsing the transaction buffer into an object with inputs, outputs, timelock, etc. or
+* by concatinating the transaction object to a buffer with the correct hash.
+
+## Examples
+
+As requirements, `clarinet` and `deno` needs to be installed.
+
+### Send to First Input
+This example sends an amount of STX to the sender of a bitcoin transaction using p2pkh addresses. It exists in two version, one using the header object (`send-to-first-input.clar`), the other the header buffer (`send-to-first-input-compact`).
+
+1. Deploy all contracts 
+```
+clarinet integrate
+```
+2. Call btc deployment plan to send 0.1 BTC
+```
+clarinet deployments apply -p deployments/send-btc.devnet-plan.yaml --no-dashboard
+```
+3. Confirm to continue
+4. Copy the tx hex from the Transaction
+5. Press N to mine the block in the clarinet dashboard
+6. Generate deployment plan for the stacks transaction by running the following command with the copied tx hex (replace `01..txhex`). (The generation script takes care of reversing the properties of the block header.)
+```
+deno run --allow-net ./src/generatePlan.ts 01..txhex > deployments/send-to-first-input-plan.yaml
+```
+7. Call deployment plan to send STX to the bitcoin sender. The conversion from btc to stx in this example happens as a fixed rate of 1000 sats/stx. (It is possible to use [stx-oracle](https://explorer.hiro.so/txid/SP2PABAF9FTAJYNFZH93XENAJ8FVY99RRM50D2JG9.stx-oracle?chain=mainnet) that calcualtes a conversion rate based on the miner commits of the 10 last blocks.)
+```
+clarinet deployments apply -p deployments/sent-to-first-input-plan.yaml
+```
+8.  Check the stacks explorer at http://localhost:8001 about the result for the transactions of the two versions