The X-Ray upgrade by Stellar is already on mainnet and includes native BN254 operations to verify on-chain zk-SNARKs.