1 result found Sort:

andrewmilson
sandstorm andrewmilson
23
159
mit
6
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
zkp cairo stark starknet ministark cairo-lang computational-integrity
Created 2022-11-27
157 commits to main branch, last one 2 months ago