Tag
3 repositories
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
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.