© 2025 Backdrop Build

community@backdropbuild.com

·

Backdrop Labs

·

FAQ

·

Twitter

·

Terms

·

Privacy

Cairo VM

Cairo VM

Starknet's Cairo Compiler and VM built in Rust

Try it here: https://https://www.vm.supercodehive.com/

["Paste this (or any other) Cairo sample code in the input field, then click on the Tokenize button to generate the appropriate tokens.\n\nSample Cairo Code:\n fn __validate__(self: @ContractState, calls: Array<Call>) -> felt252 {\n self.only_protocol();\n self.only_supported_tx_version(SUPPORTED_TX_VERSION::INVOKE);\n self.validate_transaction()\n }\n\n fn __validate_declare__(self: @ContractState, class_hash: felt252) -> felt252 {\n self.only_protocol();\n self.only_supported_tx_version(SUPPORTED_TX_VERSION::DECLARE);\n self.validate_transaction()\n }"]

About

I am building the Cairo Compiler and Virtual Machine for Starknet in Rust. The project is more of dev-tooling, to help in understanding how Starknet works with regards to Zero Knowledge Proofs, the inner workings of Cairo and how the Virtual Machine works to generate provable programs after compilation.

Builders

1
CK

Cyndie Kamau

Rust Developer | Open Source Contributor | Blockchain Developer