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.
RustApache-2.0
Stargazers
- 0xisk@privacy-scaling-explorations
- 0xKodaMempool
- 0xNonCents0xnoncents@gmail.com
- 192-sean
- aga7hokakologicalmetaverse
- bbenzikryTel Aviv
- CremaFR@LedgerHQ
- eightfilms
- fracekLondon, UK
- gakonst@paradigmxyz
- gio256
- jiangplusshenzhen, china
- liamzebedeeDappnet, Ethereum Foundation
- LuozhuZhangFuture
- manazprIndia
- marcellobardusitaly
- marwanhilmi@runreal
- massun-onibakuchiEarth
- milancermakEurope
- mul1shMulish Games
- nikitavoloboevTbilisi
- pcaversaccio@daita-technologies
- piotr-roslaniec
- pynchmeister
- refcell@ethereum-optimism
- russel-ra
- sambarnesprev: opensea
- tarrencevNew York
- TobiasBK
- tohrnii
- tuxcanfly@bcoin-org @handshake-org
- unbalancedparenthesesLambdaClass
- virtualjpeg
- xJonathanLEIHong Kong
- zk616153275
- zkSoju