SatoshiVM is also based on BTC's ZK Rollup, with a logic similar to B² Network. After generating zk proof in the Rollup, the prover uploads the proof data to the BTC network, then sends a challenge containing a ""fraud proof"" of BTC. Successful challengers will receive BTC rewards.