Tachyon's recursive proofs use the same IPA-based polynomial commitment schemes over the Pasta curves that Ironwood uses in Zcash today.
We've shipped several optimizations to Zakura that will also be useful for Zcash right away, even before Tachyon is live.
Here's another: