# Atomicity, Safety, Liveness & Security

These properties hold under the adversarial assumptions defined in the protocol’s threat model.

### Atomicity

For any swap involving asset sets {A₁, A₂, …, Aₙ}, settlement obeys:

∀i, transfer(Aᵢ) ⇔ ∀j, transfer(Aⱼ)

Partial execution is cryptographically impossible.

### Safety (No Loss of Funds)

At no point can an honest participant lose assets due to:

* counterparty failure
* off-chain censorship
* network delays
* chain congestion

Refund paths are deterministic and time-bounded.

### Liveness

All swaps resolve within a bounded time determined by timelock parameters. No swap can remain indefinitely unresolved.\
\
\
**Censorship Resistance**\
\
Users can always self-submit transactions.

**Minimal Trust**\
\
No intermediary is trusted for custody or execution.

### Security

* **Multi-Sig Verification:** optional multi-signature (or threshold signature) setups can be implemented to reduce single-key risk
* **Regular Audits:** smart contracts undergo periodic audits to identify potential vulnerabilities.\ <br>


---

# 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://atomics.gitbook.io/atomics/welcome-to-atomics/readme/atomic-swap-protocol/atomicity-safety-liveness-and-security.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.