# Trustless Settlement

In order to achieve trustless settlement for Citrea, there needs to be opcode change(s).

Mainly, an opcode that can verify ZK proofs and a [covenant opcode](https://covenants.info) would be required to implement completely trustless Bitcoin settlement. Specifically, it is theoretically possible to implement a trustless bridge using OP\_CAT opcode, if activated.

In the current architecture, BitVM/Clementine provides a trust-minimized settlement with 1-of-N honest minority trust assumption - which is a great improvement over the existing insecure implementations of sidechains. In case a suitable opcode is added to Bitcoin, Citrea will also adopt a cheaper/more secure/faster/trustless solution if possible.


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://docs.citrea.xyz/future-research/trustless-settlement.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
