conduition on Nostr: Anyone with STARK experience know how to build and validate a simple proof of ...

Anyone with STARK experience know how to build and validate a simple proof of secp256k1 discrete logs and SHA256 hashes?

I know ZeroSync must be doing this as part of their blockchain sync proofs. But i'm looking for a self-contained way to build and validate the proofs in rust.