{"repo":"starkware-libs/cairo-vm","free":true,"listed":false,"github":"https://github.com/starkware-libs/cairo-vm","clone":"git clone https://github.com/starkware-libs/cairo-vm.git","description":"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.","language":"Rust","stars":586,"topics":["blockchain","compiler","programming-language","cryptography","rust","zkp","stark"],"license":"Apache-2.0","category":"blockchain-web3","readme_excerpt":"⚡ Cairo-vm ⚡ A faster and safer implementation of the Cairo VM in Rust Report Bug · Request Feature [![pr-welcome]](#-contributing) [![Telegram Chat][tg-badge]][tg-url] [pr-welcome]: https://img.shields.io/static/v1?color=orange&label=PRs&style=flat&message=welcome [tg-badge]: https://img.shields.io/endpoint?url=https%3A%2F%2Ftg.sumanjay.workers.dev%2FLambdaStarkNet%2F&logo=telegram&label=chat&color=neon [tg-url]: https://t.me/LambdaStarkNet Table of Contents - Table of Contents - 📖 About - The Cairo language - 🌅 Getting Started - Dependencies - Required - Optional - Installation script - 🚀 Usage - Adding cairo-vm as a dependency - Running cairo-vm from CLI - Using hints - Running a function in a Cairo program with arguments - Testing - Tracer - 📊 Benchmarks - 📜 Changelog - 🛠 Contributing - 🌞 Related Projects - 📚 Documentation - Cairo - Original Cairo VM Internals - Compilers and Interpreters - StarkNet - Computational Integrity and Zero Knowledge Proofs - Basics - ZK SNARKs - STARKs - ⚖️ License 📖 About Cairo VM is the virtual machine for the Cairo language. Previously, there was a version of Cairo VM written in Python, which was used in production . This repository contains the newer version, written in Rust. It's faster and has safer and more expressive typing. Now in production, it has replaced the older Python version to become the primary Cairo VM. The Cairo language Cairo is the first production-grade platform for generating STARK proofs for general computatio","default_branch":null,"files":null,"tree":[],"storefront":"/r/starkware-libs","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/starkware-libs/cairo-vm/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}