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.
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.

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.

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.

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.


