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.

RustCairoOtherprogramming-languagerustcryptographycompilerblockchainstarkzkp
This is stars and forks stats for /lambdaclass/cleopatra_cairo repository. As of 29 Apr, 2024 this repository has 403 stars and 79 forks.

⚡ Cairo-vm ⚡ A faster and safer implementation of the Cairo VM in Rust Report Bug · Request Feature Table of Contents Disclaimer About The Cairo language Getting Started Dependencies Usage Adding cairo-vm as a dependency Running cairo-vm from the CLI Using hints Running a function in a Cairo program with arguments WebAssembly Demo Testing Benchmarks Changelog Contributing Related Projects Documentation Cairo Original Cairo VM Internals Compilers and Interpreters StarkNet Computational Integrity and...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
tensorflow/rustRustOther4.7k04280
jack4818/Castryck-Decru-SageMathSageMATLABPython1030170
PsyTeachR/stat-models-v1TeXCSSOther200170
zephray/RISu64VerilogCPython50080
enjoy-digital/litepcieVerilogPythonC4020970
NVIDIA/ncclC++CMakefile2.4k+66510
thelfer/tfelC++CMakeMakefile770340
toidicode/templateHTMLJavaScriptCSS75104050
mock-server/mockserverJavaHTMLJavaScript4.3k01k0
react-native-svg/react-native-svgJavaTypeScriptObjective-C++7k+111.1k0