Yes! You can use the best client side proving tooling with the best provable computer layer. Noir meets Cairo. Client side proving meets Scalable provable compute. Ultrahonk meets Circle STARKs. Mesh it together, Buidl!