The Cryptographic Foundations that Power Agentic BTCFi

Tachi's architecture is built on deep cryptographic innovation. Each breakthrough is designed to extend Bitcoin's security and trust model into autonomous, programmable finance, without altering Bitcoin's core protocol.

Trustless & Self-Custodial

TAURUS: Trustless Bitcoin Onboarding & Self-Custody

TAURUS enables sovereign access to Bitcoin through threshold-aggregated signatures and Taproot-based multisig coordination. It eliminates bridge risk and centralized custody while maintaining complete self-sovereignty.

Threshold Aggregation

Combines validator signatures into a single multisig set validated by Bitcoin Full Nodes.

Unilateral Exits

Users can exit or reclaim UTXOs anytime, ensuring security and privacy without external custodians.

TAURUS: Trustless Bitcoin Onboarding & Self-Custody
Native Programmability

SatVM: Modular Runtime for Bitcoin Smart Contracts

SatVM introduces multi-runtime programmability to Bitcoin, enabling developers to deploy smart contracts directly on satoshis with EVM, Wasm, and Script support.

Multi-Runtime Environment

Executes smart contracts across EVM, Wasm, and Script for flexible, cross-ecosystem development.

Bitcoin-Native Logic

Encodes contract states directly into sats for fully decentralized and verifiable computation.

SatVM: Modular Runtime for Bitcoin Smart Contracts
Verifiable Transfers

HAT Proofs: Hash-Accumulated Transaction Proofs

HAT Proofs ensure every leased satoshi transfer is cryptographically accounted for, maintaining full traceability without compromising efficiency.

Canonical Exchange Records

Each proof represents an immutable record of virtual UTXO transfers across applications.

Lightweight Validation

Aggregates transaction data via Utreexo-inspired accumulators, verified by Bitcoin Full Node Validators.

HAT Proofs: Hash-Accumulated Transaction Proofs
Recursive Verification

RIPs: Recursive Inclusion Proofs for State Integrity

RIPs aggregate HAT Proofs into recursive attestations of Bitcoin's state, ensuring compact, privacy-preserving validation across all apps.

State Verification

Provides deterministic proofs of virtual UTXO ownership and provenance in each epoch.

Efficient Data Availability

Compresses proofs and reduces on-chain load while maintaining trustless linkage to Bitcoin's base layer.

RIPs: Recursive Inclusion Proofs for State Integrity
Get Involved

Join us in making Bitcoin the Home of Agentic DeFi

Be part of the movement bringing autonomous finance and intelligent markets to Bitcoin.