Avatar
conduition 1y ago

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.

Reply to this note

Please Login to reply.

Discussion

Avatar
orkun 1y ago

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.

Avatar
conduition 1y ago

Thank you! Their zkVM seems like exactly what i'm after

Avatar
conduition 1y ago

...Aaaaand their docs site is down 🥲