pypi.org : hdp-cairo-dev
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:pypi/hdp-cairo-dev
Keywords:
blockchain
, compiler
, cryptography
, programming-language
, rust
, stark
, zkp
License: Apache-2.0
Latest release: 4 months ago
First release: 11 months ago
Downloads: 856 last month
Stars: 541 on GitHub
Forks: 180 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago