A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
-
Updated
Apr 7, 2026 - Cairo
A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.
Cairo1 execution in Cairo0 environment
Cairo0 applicative recursion - minimal example
To associate your repository with the cairo0 topic, visit your repo's landing page and select "manage topics."