Cairo is a language for writing provable programs: running a Cairo program produces a trace that can then be sent to a trustless prover, which generates a STARK proof for the validity of the statement or computation represented by the Cairo program. The proof can then be verified using a verifier (which may or may not be on-chain)
-
Notifications
You must be signed in to change notification settings - Fork 0
Some solutions to Cairo-lang challenges
a-moreira/CairoPlayground
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some solutions to Cairo-lang challenges
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published