A proof verified onchain is not useful if there is no budget to use it. That was the problem with Noir on Stellar. Verifying one proof cost 224.8M CPU instructions, more than half the transaction budget, gone before the application did anything. No state updates, no withdrawals, barely room to emit an event. We rebuilt the verifier around Stellar's native BN254 host functions. Field arithmetic and multi-scalar multiplication now run in the native layer instead of guest WASM. The contract keeps only orchestration. Verification now takes 80M instructions, about 20% of the budget, consistent across all eight circuits we tested. On live Testnet, a shielded-pool proof verified for 0.01242 XLM in actual fees. The other 80% belongs to the application. Our engineers maintain and optimize the Noir verifier as part of Stellar's zk infrastructure.(Nethermind)