Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
Jan 9, 2025 - Cairo
#
stark
Here are 9 public repositories matching this topic...
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
-
Updated
Sep 12, 2022 - Cairo
Bitcoin ZK client written in Cairo.
-
Updated
Jan 5, 2025 - Cairo
A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
-
Updated
Jul 27, 2023 - Cairo
All you need to build provable web3 Agents!
-
Updated
Dec 5, 2024 - Cairo
Cairo0 applicative recursion - minimal example
-
Updated
Sep 30, 2024 - Cairo
Practicas de un ERC20 en Starknet
-
Updated
Dec 30, 2024 - Cairo
Improve this page
Add a description, image, and links to the stark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stark topic, visit your repo's landing page and select "manage topics."