Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Accepted Projects
- Recently synced
- Ranking

https://github.com/starkware-libs/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

cairo computational-integrity starknet zero-knowledge-proofs zkp

Last synced: 29 Apr 2024

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