Please take a look at https://dev.risczero.com/api

It basically lets you write your rust code and generates a STARK proof from it. You can use almost all existing crates. It also allows you to wrap the STARK proof into a smaller size SNARK later.