众所周知，欺诈证明是一种在区块链领域中被广泛应用的技术方案，其最早发源于以太坊社区，并被Arbitrum和Optimism等知名以太坊Layer2所采用。2023年比特币生态兴起后，Robin Linus提出了名为BitVM的方案，以欺诈证明为核心思想，在Taproot等比特币既有技术的基础上，为比特币二层或桥提供了新的安全模型。
BitVM曾先后推出过多个理论版本，从最早的以逻辑门电路为基元的BitVM0，到后来以ZK Fraud Proof和Groth16验证电路为核心的BitVM2，与BitVM相关的技术实现路径在不断的演化并趋于成熟，吸引了许多从业人员的关注。大家所听闻的Bitlayer、Citrea、BOB、Fiamma和Goat Network等项目均以BitVM为技术根基之一，在此基础上进行了不同版本的实现。