Starks were developed in the early 1990s by Leven Seggadee Fortnau and Alessandro ULE. The code base of Starks is now being used to build Zcash, a peer-to-peer digital cash system. They have no trusted setup and very minimal cryptographic assumptions but they are mathematically proven correct or rather a large portion of their little or very few assumptions are well understood.