tacit

Tacit 是一个构建在比特币上的元协议，通过索引器验证实现无需信任的智能合约功能。它利用零知识证明（Groth16）、Pedersen 承诺、Mimblewimble 式核签名和 Poseidon-Merkle 树等密码学技术，在不依赖侧链、联邦机制或虚拟机的前提下，支持保密资产、匿名混币、原生AMM、以及跨链信任最小化的封装资产（如 cBTC.zk、cBTC.tac 和 tETH）。所有规则均由任何人可运行的索引器从链上数据独立验证并达成一致。适用于追求强隐私性、去中心化跨链互操作与比特币原生可编程性的DeFi场景。