Integrated into GOAT Rollup's BitVM-2 as the zero-knowledge virtual machine for generating fraud proofs, with proof generation times reduced to tens of seconds per block.