Skip to content
Back to skills

Citrea

ASecurity

Citrea: first ZK-rollup on Bitcoin (mainnet 27 Jan 2026), zkEVM, BitVM2 trustless bridge, ctUSD stablecoin, native BTC lending. USE WHEN: building zkEVM apps on Bitcoin, integrating with Citrea, evaluating ZK rollups vs sidechains.

  • 31 stars
  • 0 votes
  • 0 copies
  • 2 views
  • Added September 8, 2026
ai-agentsrustgonodeapisecurity

Works with

  • api

Security analysis

A100/100

Scanned September 22, 2026

npx -y skills add claude-dev-suite/claude-dev-suite --skill citrea --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Citrea?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Citrea
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/claude-dev-suite-citrea/badge)](https://www.skillsdirectory.com/skills/claude-dev-suite-citrea)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro
SKILL.md
---
name: bitcoin-l2-citrea
description: |
  Citrea: first ZK-rollup on Bitcoin (mainnet 27 Jan 2026), zkEVM,
  BitVM2 trustless bridge, ctUSD stablecoin, native BTC lending.
  USE WHEN: building zkEVM apps on Bitcoin, integrating with Citrea,
  evaluating ZK rollups vs sidechains.
allowed-tools: Read, Grep, Glob
---

# Citrea

The first zero-knowledge rollup on Bitcoin. Mainnet activated **27
January 2026**. zkEVM execution + BitVM2-based bridge.

Repo: `citrea.xyz`.

## Architecture

- **Off-chain execution**: Citrea sequencer runs an EVM (Solidity-
  compatible) and processes transactions off-chain.
- **State commitments**: validity proofs (ZK-SNARKs) posted to
  Bitcoin.
- **Data availability**: tx data also committed to Bitcoin (full
  rollup, not validium).
- **Bridge**: Clementine, BitVM2-based, **trust-minimized** (does not
  require federation trust for peg-in/out). **Fixed denomination**:
  exactly 10 BTC in / 10 cBTC out per operation (Citrea docs, as of
  September 2026).

## ZK proof system

zkEVM type-2 (compatible with Ethereum bytecode at gas cost of
running on Citrea). Validity proof posted with each batch.

## BitVM2 bridge

Clementine is the canonical bridge. Trust-minimized peg out via
BitVM2:
- Optimistic challenge model: peg-out claims posted; anyone can
  challenge.
- Challengers can dispute fraud and reclaim funds; honest claims pay
  out after challenge window.
- No federation key custody — bridge security derives from
  game-theoretic + ZK proof properties.
- Peg-out trust reduces to **1-of-N honesty**: one honest signer, one
  honest watchtower or one rational challenger is enough.

### Fixed 10 BTC denomination

Clementine is usable **only at a fixed size**: each deposit moves
exactly 10 BTC and mints 10 cBTC; each withdrawal burns exactly 10
cBTC and pays out ~10 BTC net of fees. There are no partial or custom
amounts — bridging 40 BTC means four separate 10 BTC deposits. This
comes from the pre-signed BitVM2 transaction graph, not a policy knob
(Citrea docs, as of September 2026).

Anything below 10 BTC does **not** go through Clementine at all;
Citrea's own docs route those users to third-party cross-chain swaps
(Symbiosis, Atomiq Exchange — the latter also with a Lightning route),
which carry ordinary AMM/liquidity trust and slippage, not Clementine's
security model.

## Native features

- **ctUSD**: native Citrea stablecoin, **issued by MoonPay and
  powered by M0** (announced 15 January 2026) — 1:1 USD, backed by
  cash and short-term US T-bills. It is a permissioned, compliance-
  gated asset, not a protocol-native one. MoonPay fiat on/off-ramps
  went live 19 August 2026 across 124 countries plus most of the US;
  excluded as of that date: New York, Colorado, the US Virgin
  Islands, Canada, the UK and the EEA.
- **BTC lending**: native protocols using bridged BTC.
- **EVM apps**: any Ethereum dApp can deploy on Citrea (with minimal
  modifications).

## Compared to other Bitcoin L2s

| Aspect | Citrea | Stacks | RSK | Liquid |
|--------|--------|--------|-----|--------|
| Smart contracts | EVM | Clarity | EVM | Limited |
| Bridge | BitVM2 (trustless) | Threshold | Federation | Federation |
| Settlement | Validity proofs | Anchored | Merge mining | Federation |
| Maturity | 2026 mainnet | 2024 Nakamoto | 2018 | 2018 |
| TVL (early) | low | medium | medium | medium |

## Status (as of September 2026)

- Mainnet active since 27 January 2026.
- Clementine processed **~150 BTC cumulative bridging volume** in its
  first six months of production (Citrea blog, 4 August 2026) — small
  in absolute terms; Citrea attributes the volume to institutional
  partners, consistent with the 10 BTC denomination.
- ctUSD live since launch; supply peaked above 24M with a $6M+
  baseline (Citrea blog, 19 August 2026).
- CTR, the governance/coordination token, launched 26 May 2026.
- Citrea is working on a **BitVM3**-based Clementine redesign to cut
  operator collateral and simplify the protocol; a technical write-up
  was still pending as of 4 August 2026.
- Validator/sequencer set: limited at launch, decentralizing over
  time.

## Limitations

- **New** — limited audit history; bugs likely in early phase.
- **Sequencer centralization** at launch (typical for early ZK
  rollups).
- **BitVM2 challenge windows** add latency to operator reimbursement
  (~1.5 days per Citrea docs, as of September 2026) — the *user* is
  paid immediately by the optimistic or operator payout; it is the
  operator's capital that is locked.
- **10 BTC granularity** puts the canonical bridge out of reach for
  retail-size flows, which must fall back to third-party swap venues.

## Use cases

- **DeFi on BTC** with EVM tooling.
- **Stable coins** (ctUSD).
- **Cross-chain bridge** to Ethereum L2s.
- **Long-term**: settlement layer for higher-frequency apps.

## Implementations

- **citrea-node** — Rust full node.
- **MetaMask compatible** with custom RPC.
- **ethers.js, web3.js** work out of the box.

## See also

- [bitvm/SKILL.md](../bitvm/SKILL.md)
- [strata/SKILL.md](../strata/SKILL.md)
- [bsquared/SKILL.md](../bsquared/SKILL.md)
- [babylon/SKILL.md](../babylon/SKILL.md)
- [stacks/SKILL.md](../stacks/SKILL.md)

Attribution

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments

Loading comments…

Newsletter

Get the weekly list of safe new skills, and the ones we pulled.