SPARK has not been around since 1983, only Ada has (there was a SPARK83, but it was not around in 83 but rather based on the Ada 83 standard). SPARK got started as a a second layer on top of Ada through comments processed by a separate tool. SPARK 2014 brought SPARK into more of a first-class status with Ada by being built on a capability that Ada 2012 introduced to the language, aspects.

Rust was not developed to fill the same role as SPARK, anyways. SPARK was developed for design-by-contract and general software correctness. SPARK has only recently been extended to support the memory safety proving that Rust was designed for, and that people find particularly useful.