Bitcoin Layer 2 Rootstock Verifies Zero-Knowledge SNARK