Sealbook

starkware-libs/cairo

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

cairocomputational-integritystarknetzero-knowledge-proofszkp

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push today.