Moonsong-Labs
Popular repositories Loading
-
madara-prover-api
madara-prover-api PublicRPC server and client to run the Stone Prover on the Madara sequencer.
-
-
Repositories
Showing 10 of 40 repositories
- zksync-upgrade-verification-tool Public
zkSync Era Upgrade Verification Tool: a CLI tool crafted to decode and present zkSync Era upgrade proposals in a human-readable format.
Moonsong-Labs/zksync-upgrade-verification-tool’s past year of commit activity - snos Public Forked from keep-starknet-strange/snos
Rust Library for running the Starknet OS via the Cairo VM
Moonsong-Labs/snos’s past year of commit activity - compilers Public Forked from foundry-rs/compilers
Utilities for working with native solc and compiling projects.
Moonsong-Labs/compilers’s past year of commit activity - cairo-vm Public Forked from 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.
Moonsong-Labs/cairo-vm’s past year of commit activity