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.
Stars
581
Forks
222
Watchers
581
Open Issues
52
Overall repository health assessment
No package.json found
This might not be a Node.js project
1.0k
commits
632
commits
479
commits
239
commits
211
commits
187
commits
68
commits
47
commits
37
commits
33
commits
Naor/reapply/cairo function runner after revert (#2359)
f7ac327View on GitHubadding code cov workflow file to workflows list (#2373)
cf6a26bView on GitHubRevert "feat: implement Cairo Function Runner and related updates (#2352)" (#2357)
e1bc427View on GitHubfeat: implement Cairo Function Runner and related updates (#2352)
4fda146View on GitHubFix off-by-one comparisons in split_int, assert_250_bit, and sqrt hints (#2348)
4969f33View on GitHubChange the counter from u32 to usize (#2349)
485d074View on GitHubUpdate fuzz_json hints and improve fuzzer docs (#2341)
22204e3View on GitHubUse checked_pow in DilutedPoolInstanceDef::from_log_units_per_step (#2342)
e08e851View on GitHub