["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.