Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
cairo cairo-lang computational-integrity ministark stark starknet zkp
Last synced: 07 Apr 2024
![](https://github.com/andrewmilson.png)