STARK proofs rely on crypto assumptions that are even older than the crypto assumptions bitcoin already relies on (collision-resistant hash vs elliptic curve DLP; see here)

Regarding implementations, there are validity proof implementations that are about the same age as the Schnorr implementation that is used in bitcoin.