https://github.com/lambdaclass/cleopatra_cairo
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
https://github.com/lambdaclass/cleopatra_cairo
blockchain compiler cryptography programming-language rust stark zkp
Last synced: about 2 months ago
JSON representation
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
- Host: GitHub
- URL: https://github.com/lambdaclass/cleopatra_cairo
- Owner: lambdaclass
- License: apache-2.0
- Created: 2022-04-26T15:13:05.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2024-09-04T19:14:27.000Z (8 months ago)
- Last Synced: 2024-09-05T03:01:24.589Z (8 months ago)
- Topics: blockchain, compiler, cryptography, programming-language, rust, stark, zkp
- Language: Rust
- Homepage: https://lambdaclass.github.io/cairo-vm
- Size: 187 MB
- Stars: 504
- Watchers: 10
- Forks: 138
- Open Issues: 34
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Codeowners: CODEOWNERS