proxy.golang.org : github.com/lambdaclass/cairo-vm
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.
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/lambdaclass/cairo-vm
Keywords:
blockchain
, compiler
, cryptography
, programming-language
, rust
, stark
, zkp
License: Apache-2.0
Latest release: about 1 month ago
First release: over 2 years ago
Stars: 458 on GitHub
Forks: 111 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago